| 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 | 96 | 2016 |
| 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 | 48 | 2018 |
| 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, 585-630, 2019 | 44 | 2019 |
| 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 | 38 | 2016 |
| 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 | 25 | 2021 |
| 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 | 23 | 2012 |
| 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 | 19 | 2020 |
| 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 | 9 | 2018 |
| 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 | 9 | 2016 |
| 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 | 9 | 2014 |
| Concise, type-safe, and efficient structural diffing S Erdweg, T Szabó, A Pacak Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 8 | 2021 |
| 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 | 4 | 2017 |
| 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 | 2 | 2012 |
| An Overview of Program Analysis using Formal Methods M Voelter, T Szabó, B Engelmann Self-published, 2017 | 1 | 2017 |
| 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 |
Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
