Follow
Gergö Barany
Title
Cited by
Cited by
Year
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, 41-52, 2013
1602013
Finding missed compiler optimizations by differential testing
G Barany
Proceedings of the 27th international conference on compiler construction, 82-92, 2018
242018
Optimal and heuristic global code motion for minimal spilling
G Barany, A Krall
Compiler Construction: 22nd International Conference, CC 2013, Held as Part …, 2013
242013
Python interpreter performance deconstructed
G Barany
Proceedings of the Workshop on Dynamic Languages and Applications, 1-9, 2014
192014
Liveness-driven random program generation
G Barany
Logic-Based Program Synthesis and Transformation: 27th International …, 2018
142018
Hybrid information flow analysis for real-world C code
G Barany, J Signoles
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of …, 2017
122017
CASM: implementing an abstract state machine based programming language
R Lezuo, G Barany, A Krall
Software Engineering 2013-Workshopband, 2013
102013
Source-level support for timing analysis
G Barany, A Prantl
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
92010
pylibjit: A JIT Compiler Library for Python.
G Barany
Software Engineering (Workshops), 213-224, 2014
82014
Liveness-driven random program generation
G Barany
arXiv preprint arXiv:1709.04421, 2017
72017
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
72008
A more precise, more correct stack and register model for CompCert
G Barany
LOLA 2018-Syntax and Semantics of Low-Level Languages 2018, 2018
62018
Challenges in validating FLOSS configuration
M Raab, G Barany
Open Source Systems: Towards Robust Practices: 13th IFIP WG 2.13 …, 2017
62017
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
52015
Register reuse scheduling
G Barany
9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9), 22, 2011
52011
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
42007
Introducing context awareness in unmodified, context-unaware software
M Raab, G Barany
arXiv preprint arXiv:1702.06806, 2017
32017
Integrated Code Motion and Register Allocation
G Barany
Thesis for the Degree of Doctor, Vienna University of Technology, 2015
32015
SATIrE within ALL-TIMES: Improving timing technology with source code analysis
G Barany
Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), 230, 2009
32009
Static and dynamic method unboxing for Python
G Barany
Software Engineering 2013-Workshopband, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20