Gábor Horváth

Registered user since Thu 8 Jun 2017

Name: Gábor Horváth

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


Country: Hungary

Affiliation: Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers

Personal website: https://www.linkedin.com/in/g%C3%A1bor-horv%C3%A1th-80632a77/

Research interests: Compilers, Static Analysis, Symbolic Execution


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