ECOOP 2023

45 papers

1. A Direct-Style Effect Notation for Sequential and Parallel Programs · David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2. Algebraic Replicated Data Types: Programming Secure Local-First Software · Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini
3. An Efficient Vectorized Hash Table for Batch Computations · Hesam Shahrokhi, Amir Shaikhha
4. Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts · Felix Stutz
5. Automata Learning with an Incomplete Teacher · Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
6. Behavioural Types for Local-First Software · Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
7. Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints · Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták
8. Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper) · Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung
9. ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs · Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel
10. Constraint Based Compiler Optimization for Energy Harvesting Applications · Yannan Li, Chao Wang
11. Dependent Merges and First-Class Environments · Jinhao Tan, Bruno C. d. S. Oliveira
12. Designing Asynchronous Multiparty Protocols with Crash-Stop Failures · Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
13. Do Machine Learning Models Produce TypeScript Types That Type Check? · Ming-Ho Yee, Arjun Guha
14. Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises · Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
15. Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols · David Castro-Perez, Nobuko Yoshida
16. Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding · Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner
17. Front Matter, Table of Contents, Preface, Conference Organization ·
18. Hinted Dictionaries: Efficient Functional Ordered Sets and Maps · Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi
19. Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution · Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
20. Information Flow Analysis for Detecting Non-Determinism in Blockchain · Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi + 1 more
21. Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification · Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott
22. LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract) · Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
23. Modular Abstract Definitional Interpreters for WebAssembly · Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen
24. Modular Compilation for Higher-Order Functional Choreographies · Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
25. Modular Verification of State-Based CRDTs in Separation Logic · Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
26. Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs · Ashish Mishra, Suresh Jagannathan
27. Multi-Graded Featherweight Java · Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
28. Nested Pure Operation-Based CRDTs · Jim Bauwens, Elisa Gonzalez Boix
29. On Leveraging Tests to Infer Nullable Annotations · Jens Dietrich, David J. Pearce, Mahin Chandramohan
30. On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper) · João Mota, Marco Giunti, António Ravara
31. On the Rise of Modern Software Documentation (Pearl/Brave New Idea) · Marco Raglianti, Csaba Nagy, Roberto Minelli, Bin Lin, Michele Lanza
32. Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism · Magnus Madsen, Jaco van de Pol
33. Python Type Hints Are Turing Complete (Pearl/Brave New Idea) · Ori Roth
34. Restrictable Variants: A Simple and Practical Alternative to Extensible Variants · Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
35. Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper) · Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
36. Semantics for Noninterference with Interaction Trees · Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
37. Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution · Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
38. Synthesis-Aided Crash Consistency for Storage Systems · Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt
39. Synthesizing Conjunctive Queries for Code Search · Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
40. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea) · Sung-Shik Jongmans, Francisco Ferreira
41. The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea) · Simon Henniger, Nada Amin
42. Toward Tool-Independent Summaries for Symbolic Execution · Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
43. VeriFx: Correct Replicated Data Types for the Masses · Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
44. Wiring Circuits Is Easy as {0, 1, ω}, or Is It · Jan de Muijnck-Hughes, Wim Vanderbauwhede
45. super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion · Andong Fan, Lionel Parreaux