TOPLAS 2021

21 papers

1. A Fresh Look at Zones and Octagons · Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2. A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust · David J. Pearce
3. A Programming Language for Data Privacy with Accuracy Estimations · Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
4. Active Learning for Inference and Regeneration of Applications that Access Databases · Jiasi Shen, Martin C. Rinard
5. An Extended Account of Trace-relating Compiler Correctness and Secure Compilation · Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu + 3 more
6. Armed Cats: Formal Concurrency Modelling at Arm · Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget
7. CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee · David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu
8. Chocola: Composable Concurrency Language · Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter
9. Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic · Frank S. de Boer, Hans-Dieter A. Hiep
10. Compositional Programming · Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira
11. Interprocedural Context-Unbounded Program Analysis Using Observation Sequences · Peizun Liu, Thomas Wahl, Thomas W. Reps
12. Introduction to the Special Section on ESOP 2020 · Peter Müller
13. On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings · Bernardo Toninho, Nobuko Yoshida
14. Polymorphic Iterable Sequential Effect Systems · Colin S. Gordon
15. Ranking and Repulsing Supermartingales for Reachability in Randomized Programs · Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
16. Robustly Safe Compilation, an Efficient Form of Secure Compilation · Marco Patrignani, Deepak Garg
17. RustHorn: CHC-based Verification for Rust Programs · Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
18. Safe-by-default Concurrency for Modern Programming Languages · Lun Liu, Todd D. Millstein, Madanlal Musuvathi
19. Securing Interruptible Enclaved Execution on Small Microprocessors · Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg + 1 more
20. Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs · Abu Naser Masud, Björn Lisper
21. TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs · Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner