| 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 | 22 | 2020 |
| Functional programming with Datalog A Pacak, S Erdweg 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 17 | 2022 |
| Concise, type-safe, and efficient structural diffing S Erdweg, T Szabó, A Pacak Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 13 | 2021 |
| Incremental Processing of Structured Data in Datalog A Pacak, T Szabó, S Erdweg Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022 | 4 | 2022 |
| Generating incremental type services A Pacak, S Erdweg Proceedings of the 12th ACM SIGPLAN International Conference on Software …, 2019 | 3 | 2019 |
| A Typed Multi-Level Datalog IR and its Compiler Framework D Klopp, S Erdweg, A Pacak Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1586-1614, 2024 | 1 | 2024 |
| Object-Oriented Fixpoint Programming with Datalog D Klopp, S Erdweg, A Pacak Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 60-86, 2024 | 1 | 2024 |
| Interactive Debugging of Datalog Programs A Pacak, S Erdweg Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 745-772, 2023 | 1 | 2023 |
| System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers S Grewe, S Erdweg, A Pacak, M Mezini Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 1 | 2018 |
| Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs S Grewe, A Pacak, M Mezini Vampire, 2017 | 1 | 2017 |
| Separate Compilation and Partial Linking: Modules for Datalog IR D Klopp, A Pacak, S Erdweg Proceedings of the 23rd ACM SIGPLAN International Conference on Generative …, 2024 | | 2024 |
| AUTOINC: Incrementality for Free A Pacak, P Kumar, R Xu, S Erdweg Companion Proceedings of the 2024 ACM SIGPLAN International Conference on …, 2024 | | 2024 |
Sebastian ErdwegProfessor of Computer Science, JGU MainzΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-mainz.de