Gábor Horváth

Registered user since Thu 8 Jun 2017

Name:Gábor Horváth

Compiler, static analysis enthusiast. Ph.D. Student. Apple, Microsoft, Google ex-intern.


Affiliation:Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Research interests:Compilers, Static Analysis, Symbolic Execution


SPLASH 2019 Author of Retaining Semantic Information in the Static Analysis of Real-World Software within the Doctoral Symposium-track
* ICSE 2018 * Author of Poster F48: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages within the Posters -track
ICOOOLPS 2017 Author of Code Generation in Serializers and Comparators of Apache Flink within the ICOOOLPS 2017-track
ICOOOLPS 2016 Author of Source Language Representation of Function Summaries in Static Analysis within the ICOOOLPS-track