Tamás Szabó

Registered user since Thu 21 Apr 2016

Name:Tamás Szabó
Bio:

Tamás Szabó works as a Software Engineer for itemis in Stuttgart, and he is a PhD student at JGU Mainz. His focus is on DSLs, incremental computing, and static program analysis.

Affiliation:University of Mainz / itemis
Research interests:Programming Languages, Program Analysis, Incremental Computing

Contributions

SPLASH 2020 Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-track
IC 2019 Session Chair of Keynote (part of IC 2019)
Session Chair of Incremental IDE services (part of IC 2019)
Author of Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog within the IC 2019-track
Committee Member in Organizing Committee within the IC 2019-track
CurryOn 2018 Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track
DPA 2018 Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track
FTfJP 2018 Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track
SPLASH 2018 Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the SPLASH-I-track
Author of Incrementalizing Lattice-Based Program Analyses in Datalog within the OOPSLA-track
Speaker in Speakers within the SPLASH-I-track
Author of Incrementalizing Lattice-Based Program Analyses within the Artifacts-track
IC 2017 Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track
LWC@SLE 2016 Committee Member in Program Committee within the LWC-track
SLE 2016 Author of Efficient Development of Consistent Projectional Editors using Grammar Cells within the SLE-track
SPLASH 2016 Author of Dedicated Support for Analyses and Optimizations in Language Workbenches within the Doctoral Symposium-track
ETX Author of Invited Talk: Tamás Szabó (itemis AG) within the ETX-track