TOPLAS 2024

15 papers

1. (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms · Ari Rasch
2. A Layered Approach to Intensional Analysis in Type Theory · Jason Z. S. Hu, Brigitte Pientka
3. Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation · Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
4. CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams · Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps
5. Choral: Object-oriented Choreographic Programming · Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
6. Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms · Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
7. Gradual C0: Symbolic Execution for Gradual Verification · Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila + 4 more
8. Homeostasis: Design and Implementation of a Self-Stabilizing Compiler · Aman Nougrahiya, V. Krishna Nandivada
9. Interactive Abstract Interpretation with Demanded Summarization · Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
10. Limits and Difficulties in the Design of Under-Approximation Abstract Domains · Flavio Ascari, Roberto Bruni, Roberta Gori
11. LoRe: A Programming Model for Verifiably Safe Local-first Software · Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
12. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages · Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
13. Proving Correctness of Parallel Implementations of Transition System Models · Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
14. TeraHeap: Exploiting Flash Storage for Mitigating DRAM Pressure in Managed Big Data Frameworks · Iacovos G. Kolokasis, Giannos Evdorou, Shoaib Akram, Christos Kozanitis, Anastasios Papagiannis, Foivos S. Zakkak + 2 more
15. Universal Composability Is Robust Compilation · Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti