TOPLAS 2022

26 papers

1. A Relational Program Logic with Data Abstraction and Dynamic Framing · Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei
2. A Type Discipline for Message Passing Parallel Programs · Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida
3. Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility · Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer + 3 more
4. Bounded Abstract Effects · Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich
5. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization · Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
6. CHAD: Combinatory Homomorphic Automatic Differentiation · Matthijs Vákár, Tom Smeding
7. Conditional Independence by Typing · Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
8. Containerless Plurals: Separating Number from Type in Object-Oriented Programming · Friedrich Steimann
9. Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK · Albert Mingkun Yang, Tobias Wrigstad
10. Fast Graph Simplification for Interleaved-Dyck Reachability · Yuanbo Li, Qirun Zhang, Thomas W. Reps
11. For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM · Maximilian P. L. Haslbeck, Peter Lammich
12. Gradualizing the Calculus of Inductive Constructions · Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
13. Introduction to the Special Issue on ESOP 2021 · Nobuko Yoshida
14. Nested Session Types · Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
15. On Time-sensitive Control Dependencies · Martin Hecker, Simon Bischof, Gregor Snelting
16. Prophecy Made Simple · Leslie Lamport, Stephan Merz
17. Revisiting Iso-Recursive Subtyping · Yaoda Zhou, Jinxu Zhao, Bruno C. d. S. Oliveira
18. Runtime Complexity Bounds Using Squeezers · Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
19. Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types · Alex C. Keizer, Henning Basold, Jorge A. Pérez
20. Solving Program Sketches with Large Integer Values · Qinheping Hu, Rishabh Singh, Loris D'Antoni
21. Strong-separation Logic · Jens Pagel, Florian Zuleger
22. TF-Coder: Program Synthesis for Tensor Manipulations · Kensen Shi, David Bieber, Rishabh Singh
23. The Systematic Design of Responsibility Analysis by Abstract Interpretation · Chaoqiang Deng, Patrick Cousot
24. Two Parametricities Versus Three Universal Types · Dominique Devriese, Marco Patrignani, Frank Piessens
25. Types for Complexity of Parallel Computation in Pi-calculus · Patrick Baillot, Alexis Ghyselen
26. What's Decidable About Causally Consistent Shared Memory? · Ori Lahav, Udi Boker