Follow
Tamás Szabó
Tamás Szabó
GitHub
Verified email at github.com - Homepage
Title
Cited by
Cited by
Year
Inca: A dsl for the definition of incremental program analyses
T Szabó, S Erdweg, M Voelter
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
742016
Lessons learned from developing mbeddr: a case study in language engineering with MPS
M Voelter, B Kolb, T Szabó, D Ratiu, A van Deursen
Software & Systems Modeling 18 (1), 585-630, 2019
402019
Efficient development of consistent projectional editors using grammar cells
M Voelter, T Szabó, S Lisson, B Kolb, S Erdweg, T Berger
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
302016
Incrementalizing lattice-based program analyses in Datalog
T Szabó, G Bergmann, S Erdweg, M Voelter
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
272018
Incremental pattern matching for the efficient computation of transitive closure
G Bergmann, I Ráth, T Szabó, P Torrini, D Varró
International Conference on Graph Transformation, 386-400, 2012
212012
An extensible framework for variable-precision data-flow analyses in MPS
T Szabó, S Alperovich, M Voelter, S Erdweg
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
92016
Incremental whole-program analysis in Datalog with lattices
T Szabó, S Erdweg, G Bergmann
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
72021
A systematic approach to deriving incremental type checkers
A Pacak, S Erdweg, T Szabó
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
72020
Mbeddr: Extensible languages for embedded software development
T Szabó, M Voelter, B Kolb, D Ratiu, B Schaetz
Proceedings of the 2014 ACM SIGAda annual conference on High integrity …, 2014
72014
Incremental overload resolution in object-oriented programming languages
T Szabó, E Kuci, M Bijman, M Mezini, S Erdweg
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 27-33, 2018
62018
Concise, type-safe, and efficient structural diffing
S Erdweg, T Szabó, A Pacak
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
22021
IncAL: A DSL for Incremental Program Analysis with Lattices
T Szabó, M Voelter, S Erdweg
Proceedings of the International Workshop on Incremental Computing (IC), 2017
22017
Developing and visualizing live model queries
Z Ujhelyi, T Szabó, I Ráth, D Varró
Proceedings of the First Workshop on the Analysis of Model Transformations …, 2012
22012
An Overview of Program Analysis using Formal Methods
M Voelter, T Szabó, B Engelmann
Self-published, 2017
12017
Dedicated support for analyses and optimizations in language workbenches
T Szabó
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
2016
Lessons Learned from Developing mbeddr
M Völter, B Kolb, T Szábó, D Ratiu, A van Deursen
2015
Transitive reachability for efficient event-driven model transformations
T Szabó, G Bergmann
2012
The system can't perform the operation now. Try again later.
Articles 1–17