conf.researchr.org / Gábor Horváth
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.

LinkedIn

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

Contributions

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