ECOOP 2024

48 papers

1. A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction · Dongjie He, Jingbo Lu, Jingling Xue
2. A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson · Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann
3. A Language-Based Version Control System for Python · Luís Carvalho, João Costa Seco
4. A Sound Type System for Secure Currency Flow · Luca Aceto, Daniele Gorla, Stian Lybech
5. Behavioural Up/down Casting For Statically Typed Languages · Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
6. Compiling with Arrays · David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
7. Compositional Symbolic Execution for Correctness and Incorrectness Reasoning · Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
8. Constrictor: Immutability as a Design Concept · Elad Kinsbruner, Shachar Itzhaky, Hila Peleg
9. Cross Module Quickening - The Curious Case of C Extensions · Felix Berlakovich, Stefan Brunthaler
10. Defining Name Accessibility Using Scope Graphs · Aron Zwaan, Casper Bach Poulsen
11. Dynamically Generating Callback Summaries for Enhancing Static Analysis · Steven Arzt, Marc Miltenberger, Julius Näumann
12. Failure Transparency in Stateful Dataflow Systems · Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller
13. Fair Join Pattern Matching for Actors · Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
14. Fearless Asynchronous Communications with Timed Multiparty Session Protocols · Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
15. Formalizing, Mechanizing, and Verifying Class-Based Refinement Types · Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
16. Front Matter, Table of Contents, Preface, Conference Organization ·
17. Generalizing Shape Analysis with Gradual Types · Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg
18. HOBBIT: Hashed OBject Based InTegrity · Matthias Bernad, Stefan Brunthaler
19. Higher-Order Specifications for Deductive Synthesis of Programs with Pointers · David Young, Ziyi Yang, Ilya Sergey, Alex Potanin
20. Indirection-Bounded Call Graph Analysis · Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller
21. Inductive Predicate Synthesis Modulo Programs · Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
22. InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference · Senxi Li, Tetsuro Yamazaki, Shigeru Chiba
23. Information Flow Control in Cyclic Process Networks · Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
24. Java Bytecode Normalization for Code Similarity Analysis · Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden
25. Learning Gradual Typing Performance · Mohammad Wahiduzzaman Khan, Sheng Chen, Yi He
26. Matching Plans for Frame Inference in Compositional Reasoning · Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner
27. Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning · Cormac Flanagan, Stephen N. Freund
28. Mutation-Based Lifted Repair of Software Product Lines · Aleksandar S. Dimovski
29. Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs · Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey + 2 more
30. Ozone: Fully Out-of-Order Choreographies · Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
31. Partial Redundancy Elimination in Two Iterative Data Flow Analyses · Reshma Roy, Sreekala S., Vineeth Paleri
32. Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems · Amos Robinson, Alex Potanin
33. Pure Methods for roDOT · Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek
34. Qafny: A Quantum-Program Verifier · Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang + 1 more
35. Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation · Martin Vassor, Nobuko Yoshida
36. Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency · Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
37. Rose: Composable Autodiff for the Interactive Web · Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine
38. Runtime Instrumentation for Reactive Components · Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
39. Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report · Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden
40. Static Basic Block Versioning · Olivier Melançon, Marc Feeley, Manuel Serrano
41. Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization · Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, Hanspeter Mössenböck
42. Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations · Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
43. The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments · Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek
44. The Performance Effects of Virtual-Machine Instruction Pointer Updates · M. Anton Ertl, Bernd Paysan
45. Type Tailoring · Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman
46. Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines · Bob Brockbernd, Nikita Koval, Arie van Deursen, Burcu Kulahcioglu Ozkan
47. Verifying Lock-Free Search Structure Templates · Nisarg Patel, Dennis Shasha, Thomas Wies
48. {CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming · Quan Zhou, Sixuan Dang, Danfeng Zhang