Gergö Barany
TitleCited byYear
Optimal and heuristic global code motion for minimal spilling
G Barany, A Krall
International Conference on Compiler Construction, 21-40, 2013
Source-level support for timing analysis
G Barany, A Prantl
International Symposium On Leveraging Applications of Formal Methods …, 2010
Python Interpreter Performance Deconstructed
G Barany
Proceedings of the Workshop on Dynamic Languages and Applications, 1-9, 2014
CASM: Implementing an Abstract State Machine based Programming Language.
R Lezuo, G Barany, A Krall
Software Engineering (Workshops), 75-90, 2013
Source code based component recognition in software stacks for embedded systems
D Schreiner, M Schordan, G Barany, KM Goschka
Mechtronic and Embedded Systems and Applications, 2008. MESA 2008. IEEE/ASME …, 2008
Liveness-driven random program generation
G Barany
arXiv preprint arXiv:1709.04421, 2017
Hybrid Information Flow Analysis for Real-World C Code
G Barany, J Signoles
International Conference on Tests and Proofs, 23-40, 2017
Challenges in validating FLOSS configuration
M Raab, G Barany
IFIP International Conference on Open Source Systems, 101-114, 2017
vanHelsing: A fast proof checker for debuggable compiler verification
R Lezuo, I Dragan, G Barany, A Krall
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015 17th …, 2015
Integrated Code Motion and Register Allocation
G Barany
Thesis for the Degree of Doctor, Vienna University of Technology, 2015
Register reuse scheduling
G Barany
9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9 …, 2011
Shared and distributed memory parallel security analysis of large-scale source code and binary applications
D Quinlan, G Barany, T Panas
Lawrence Livermore National Laboratory (LLNL), Livermore, CA, Tech. Rep 23, 2007
Finding missed compiler optimizations by differential testing
G Barany
Proceedings of the 27th International Conference on Compiler Construction, 82-92, 2018
Introducing context awareness in unmodified, context-unaware software
M Raab, G Barany
arXiv preprint arXiv:1702.06806, 2017
pylibjit: A JIT Compiler Library for Python.
G Barany
Software Engineering (Workshops), 213-224, 2014
Static and Dynamic Method Unboxing for Python.
G Barany
Software Engineering (Workshops), 43-57, 2013
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
Optimistic integrated instruction scheduling and register allocation
G Barany, A Krall
Junior Scientist Conference 2010, 97, 2010
SATIrE within ALL-TIMES: Improving timing technology with source code analysis
G Barany
Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), 230, 0
Hybrid information flow analysis for programs with arrays
G Barany
arXiv preprint arXiv:1607.02225, 2016
The system can't perform the operation now. Try again later.
Articles 1–20