Gergö Barany
Gergö Barany
Bestätigte E-Mail-Adresse bei - Startseite
TitelZitiert vonJahr
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
Optimal and heuristic global code motion for minimal spilling
G Barany, A Krall
International Conference on Compiler Construction, 21-40, 2013
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 2013-Workshopband, 2013
Source-level support for timing analysis
G Barany, A Prantl
International Symposium On Leveraging Applications of Formal Methods …, 2010
Hybrid Information Flow Analysis for Real-World C Code
G Barany, J Signoles
International Conference on Tests and Proofs, 23-40, 2017
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
Finding missed compiler optimizations by differential testing
G Barany
Proceedings of the 27th International Conference on Compiler Construction, 82-92, 2018
Liveness-driven random program generation
G Barany
International Symposium on Logic-Based Program Synthesis and Transformation …, 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
2015 17th International Symposium on Symbolic and Numeric Algorithms for …, 2015
Integrated Code Motion and Register Allocation
G Barany
Thesis for the Degree of Doctor, Vienna University of Technology, 2015
pylibjit: A JIT Compiler Library for Python.
G Barany
Software Engineering (Workshops), 213-224, 2014
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 Lab.(LLNL), Livermore, CA (United States), 2007
Introducing context awareness in unmodified, context-unaware software
M Raab, G Barany
arXiv preprint arXiv:1702.06806, 2017
Static and dynamic method unboxing for Python
G Barany
Software Engineering 2013-Workshopband, 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
A more precise, more correct stack and register model for CompCert
G Barany
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20