Gergö Barany
Gergö Barany
Adresse e-mail validée de inria.fr - Page d'accueil
TitreCitée parAnnée
Comparison of type-based and alias-based component recognition for embedded systems software
D Schreiner, G Barany, M Schordan, J Knoop
International Journal on Software Tools for Technology Transfer 15 (1), 41-52, 2013
662013
Optimal and heuristic global code motion for minimal spilling
G Barany, A Krall
International Conference on Compiler Construction, 21-40, 2013
192013
Python interpreter performance deconstructed
G Barany
Proceedings of the Workshop on Dynamic Languages and Applications, 1-9, 2014
72014
CASM: implementing an abstract state machine based programming language
R Lezuo, G Barany, A Krall
Software Engineering 2013-Workshopband, 2013
72013
Source-level support for timing analysis
G Barany, A Prantl
International Symposium On Leveraging Applications of Formal Methods …, 2010
72010
Hybrid Information Flow Analysis for Real-World C Code
G Barany, J Signoles
International Conference on Tests and Proofs, 23-40, 2017
52017
Source code based component recognition in software stacks for embedded systems
D Schreiner, M Schordan, G Barany, KM Goschka
2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems …, 2008
52008
Liveness-driven random program generation
G Barany
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
42017
Finding missed compiler optimizations by differential testing
G Barany
Proceedings of the 27th International Conference on Compiler Construction, 82-92, 2018
32018
Challenges in validating FLOSS configuration
M Raab, G Barany
IFIP International Conference on Open Source Systems, 101-114, 2017
32017
vanHelsing: A fast proof checker for debuggable compiler verification
R Lezuo, I Dragan, G Barany, A Krall
2015 17th International Symposium on Symbolic and Numeric Algorithms for …, 2015
32015
Integrated Code Motion and Register Allocation
G Barany
Thesis for the Degree of Doctor, Vienna University of Technology, 2015
32015
pylibjit: A JIT Compiler Library for Python.
G Barany
Software Engineering (Workshops), 213-224, 2014
32014
Register reuse scheduling
G Barany
9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9 …, 2011
32011
Shared and distributed memory parallel security analysis of large-scale source code and binary applications
D Quinlan, G Barany, T Panas
Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States), 2007
32007
Introducing context awareness in unmodified, context-unaware software
M Raab, G Barany
arXiv preprint arXiv:1702.06806, 2017
22017
Static and dynamic method unboxing for Python
G Barany
Software Engineering 2013-Workshopband, 2013
22013
Optimistic integrated instruction scheduling and register allocation
G Barany, A Krall
Junior Scientist Conference 2010, 97, 2010
22010
SATIrE within ALL-TIMES: Improving timing technology with source code analysis
G Barany
Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), 230, 0
2
A more precise, more correct stack and register model for CompCert
G Barany
12018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20