Publications 2016Publications 2016
Conference contributions
- Acceleration in Multi-PushDown Systems,
by Prakash Saivasan, K Narayan Kumar, and Mohammed Faouzi Atig.
In Proceedings of TACAS 2016.
DOI
- On Hierarchical Communication Topologies in the pi-calculus,
by Emanuele D'Osualdo and C.-H. Luke Ong.
In Proceedings of ESOP 2016.
DOI | arXiv | Tool
- Complexity of regular abstractions of one-counter languages,
by Mohammed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K Narayan Kumar, Prakash Saivasan, and Georg Zetzsche.
In Proceedings of LICS 2016.
arXiv
- Summaries for Context-Free Games,
by Lukas Holik, Roland Meyer, and Sebastian Muskalla.
In Proceedings of FSTTCS 2016.
PDF | DOI & BibTex | Full Version @ arXiv | Slides
- First-order logic with reachability for infinite-state systems,
by Emanuele D'Osualdo, Roland Meyer, and Georg Zetzsche.
In Proceedings of LICS 2016.
PDF | DOI
- Pointer Race Freedom,
by Frederic Haziza, Lukas Holik, Roland Meyer, and Sebastian Wolff.
In Proceedings of VMCAI 2016.
PDF | DOI | BibTeX
Journal articles
- Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups,
by Daniel König, Markus Lohrey, and Georg Zetzsche.
Contemporary Mathematics,
2016.
arXiv
Workshop contributions
- Thread Summaries for Lock-Free Data Structures,
by Sebastian Wolff.
In Proceedings of the 28th Nordic Workshop on Programming Theory (NWPT'16), 2016.
PDF | Slides | Code on GitHub | Proceedings
Theses
- Lifetime Analysis for Whiley,
Master's Thesis by Sebastian Schweizer.
Technische Universität Kaiserslautern, 2016.
PDF | Slides | More on Whiley | Code Contribution
- Monoids as Storage Mechanisms,
PhD thesis by Georg Zetzsche.
Technische Universität Kaiserslautern, 2016.
PDF
- Verification Techniques for TSO-Relaxed Programs,
PhD Thesis by Georgel Calin.
Technische Universität Kaiserslautern, 2016.
PDF
- Analysis of Automata-theoretic models of Concurrent Recursive Programs,
PhD Thesis by Prakash Saivasan.
Chennai Mathematical Institute, 2016.
PDF