| 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 | 188 | 2013 |
| Finding missed compiler optimizations by differential testing G Barany Proceedings of the 27th international conference on compiler construction, 82-92, 2018 | 35 | 2018 |
| Optimal and heuristic global code motion for minimal spilling G Barany, A Krall Compiler Construction: 22nd International Conference, CC 2013, Held as Part …, 2013 | 26 | 2013 |
| Python interpreter performance deconstructed G Barany Proceedings of the Workshop on Dynamic Languages and Applications, 1-9, 2014 | 25 | 2014 |
| Liveness-driven random program generation G Barany Logic-Based Program Synthesis and Transformation: 27th International …, 2018 | 23 | 2018 |
| 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 | 16 | 2017 |
| CASM: Implementing an abstract state machine based programming language R Lezuo, G Barany, A Krall Gesellschaft für Informatik eV, 2013 | 12 | 2013 |
| pylibjit: A JIT Compiler Library for Python. G Barany Software Engineering (Workshops), 213-224, 2014 | 9 | 2014 |
| Source-level support for timing analysis G Barany, A Prantl International Symposium On Leveraging Applications of Formal Methods …, 2010 | 9 | 2010 |
| Challenges in validating FLOSS configuration M Raab, G Barany Open Source Systems: Towards Robust Practices: 13th IFIP WG 2.13 …, 2017 | 7 | 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 | 7 | 2008 |
| A more precise, more correct stack and register model for CompCert G Barany LOLA 2018-Syntax and Semantics of Low-Level Languages 2018, 2018 | 5 | 2018 |
| 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 | 5 | 2015 |
| Register reuse scheduling G Barany 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9), 22, 2011 | 5 | 2011 |
| Introducing context awareness in unmodified, context-unaware software M Raab, G Barany arXiv preprint arXiv:1702.06806, 2017 | 4 | 2017 |
| 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 | 4 | 2007 |
| Integrated Code Motion and Register Allocation G Barany Thesis for the Degree of Doctor, Vienna University of Technology, 2015 | 3 | 2015 |
| SATIrE within ALL-TIMES: Improving timing technology with source code analysis G Barany Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), 230, 2009 | 3 | 2009 |
| Hybrid information flow analysis for programs with arrays G Barany arXiv preprint arXiv:1607.02225, 2016 | 2 | 2016 |
| Static and dynamic method unboxing for Python G Barany Gesellschaft für Informatik eV, 2013 | 2 | 2013 |
