ECOOP 2022

36 papers

1. A Deterministic Memory Allocator for Dynamic Symbolic Execution · Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
2. A Self-Dual Distillation of Session Types · Jules Jacobs
3. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 · Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
4. Accumulation Analysis · Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
5. Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs · Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi
6. Compiling Volatile Correctly in Java · Shuyang Liu, John Bender, Jens Palsberg
7. Concolic Execution for WebAssembly · Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
8. Defining Corecursive Functions in Coq Using Approximations · Vlad Rusu, David Nowak
9. Design-By-Contract for Flexible Multiparty Session Protocols · Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
10. Direct Foundations for Compositional Programming · Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
11. Elementary Type Inference · Jinxu Zhao, Bruno C. d. S. Oliveira
12. Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST · François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams
13. Fair Termination of Multiparty Sessions · Luca Ciccone, Francesco Dagnino, Luca Padovani
14. Ferrite: A Judgmental Embedding of Session Types in Rust · Ruofei Chen, Stephanie Balzer, Bernardo Toninho
15. Front Matter, Table of Contents, Preface, Conference Organization ·
16. Functional Programming for Distributed Systems with XC · Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
17. Functional Programming with Datalog · André Pacak, Sebastian Erdweg
18. Global Type Inference for Featherweight Generic Java · Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
19. Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract) · Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi
20. How to Take the Inverse of a Type · Danielle Marshall, Dominic Orchard
21. JavaScript Sealed Classes · Manuel Serrano
22. Low-Level Bi-Abduction · Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
23. Maniposynth: Bimodal Tangible Functional Programming · Brian Hempel, Ravi Chugh
24. NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20 · Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Tony Liu, Scott McMillan + 2 more
25. PEDroid: Automatically Extracting Patches from Android App Updates · Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu
26. Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) · David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
27. Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis · Dongjie He, Jingbo Lu, Jingling Xue
28. REST: Integrating Term Rewriting with Program Verification · Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
29. Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) · Marcelo Navarro, Federico Olmedo
30. Static Analysis for AWS Best Practices in Python Code · Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
31. Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types · Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
32. Synchron - An API and Runtime for Embedded Systems · Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
33. Union Types with Disjoint Switches · Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
34. Verified Compilation and Optimization of Floating-Point Programs in CakeML · Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar + 2 more
35. Vincent: Green Hot Methods in the JVM (Extended Abstract) · Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
36. What If We Don't Pop the Stack? The Return of 2nd-Class Values · Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf