Gergö Barany

According to our database, Gergö Barany authored at least 19 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models.

Raphael Mosaner, Gergö Barany, David Leopoldseder, Hanspeter Mössenböck

Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2022

Look Ma, no constants: practical constant blinding in GraalVM.

Felix Berlakovich, Matthias Neugschwandtner, Gergö Barany

Proceedings of the EuroSec@EUROSYS 2022: Proceedings of the 15th European Workshop on Systems Security, 2022

2018

Finding missed compiler optimizations by differential testing.

Gergö Barany

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Hybrid Information Flow Analysis for Real-World C Code.

Gergö Barany, Julien Signoles

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Challenges in Validating FLOSS Configuration.

Markus Raab, Gergö Barany

Proceedings of the Open Source Systems: Towards Robust Practices, 2017

Liveness-Driven Random Program Generation.

Gergö Barany

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Introducing Context Awareness in Unmodified, Context-unaware Software.

Markus Raab, Gergö Barany

Proceedings of the ENASE 2017, 2017

2016

Hybrid Information Flow Analysis for Programs with Arrays.

Gergö Barany

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

2015

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2014

pylibjit: A JIT Compiler Library for Python.

Gergö Barany

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

Python Interpreter Performance Deconstructed.

Gergö Barany

Proceedings of the Workshop on Dynamic Languages and Applications, 2014

2013

Comparison of type-based and alias-based component recognition for embedded systems software.

Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop

Int. J. Softw. Tools Technol. Transf., 2013

CASM: Implementing an Abstract State Machine based Programming Language.

Roland Lezuo, Gergö Barany, Andreas Krall

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Static and Dynamic Method Unboxing for Python.

Gergö Barany

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Optimal and Heuristic Global Code Motion for Minimal Spilling.

Gergö Barany, Andreas Krall

Proceedings of the Compiler Construction - 22nd International Conference, 2013

2012

Special Issue: Compilers for Parallel Computing (CPC 2010).

Andreas Krall, Gergö Barany

Concurr. Comput. Pract. Exp., 2012

2010

Source-Level Support for Timing Analysis.

Gergö Barany, Adrian Prantl

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

Towards Distributed Memory Parallel Program Analysis.

Daniel J. Quinlan, Gergö Barany, Thomas Panas

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

Value Flow Graph Analysis with SATIrE.

Gergö Barany

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008