by André Pacak and Sebastian Erdweg
Allgemein
Paper accepted at ECOOP: Functional Programming with Datalog
PhD / Post-doc position available!
Please contact Sebastian Erdweg if interested.
Most Influential Paper Award at OOPSLA 2021
Sebastian Erdweg of the Programming Languages research group received the Most Influential Paper Award for his 2011 OOPSLA paper on SugarJ.
The award is presented by ACM SIGPLAN to the authors of the paper that had the most impact in the previous 10 years.
Sven Keidel defended his Ph.D. summa cum laude. Congratulations!
Paper accepted at ICFP: Persistent Software Transactional Memory in Haskell
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, Andre Brinkmann. In Proceedings of the ACM on Programming Languages (ICFP). ACM, 2021
Two papers accepted at PLDI 2021
See Publications for details.
PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance.
https://conf.researchr.org/home/pldi-2021
DFG funds research on big-step abstract interpreters for 3 years
Tamás Szabó defended his Ph.D. summa cum laude. Congratulations!
We welcome Katharina Brandl to the PL team.
New OOPSLA paper on incremental type checking
A Systematic Approach to Deriving Incremental Type Checkers
André Pacak, Sebastian Erdweg, and Tamás Szabó,. In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2020. [ pdf ]