ECOOP 2023 - Research Papers

Accepted Papers
Call for Papers

Accepted Papers

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

Call for Papers

ECOOP is a conference about programming originally focused on object-orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

Authors are asked to pick one of the following categories:

Research. The most traditional category for papers that advance the state of the art.
Reproduction. An empirical evaluation that reconstructs a published experiment in a different context in order to validate the results of that earlier work.
Experience. Applications of known PL techniques in practice as well as tools. Industry papers will be reviewed by practitioners. We welcome negative results that may provide inspiration for future research.
Pearls/Brave New Ideas. Articles that either explain a known idea in an elegant way or unconventional papers introducing ideas that may take some time to substantiate. These papers may be short.

Submissions

Submission must not have been published, or have major overlap with previous work. In case of doubt, contact the chairs. Proceedings are published in open access by Dagstuhl LIPIcs in the Dagstuhl LIPIcs LaTeX-style template. To reduce friction when resubmitting, ACM’s PACMPL and TOPLAS formatted papers can be submitted as such (with the understanding that if accepted, they will be reformatted).

ECOOP uses double-anonymous reviewing. Authors’ identities are only revealed if a paper is accepted. Papers must omit author names and institutions, and use the third person when referencing the authors’ own work. Nothing should be done in the name of anonymity that weakens the submission; see the FAQ. If in doubt, contact the chairs.

There is no page limit on submissions, but authors must understand that reviewers have a fixed time budget for each paper, so the length of the feedback is likely to be unaffected by length. Brevity is a virtue. Authors also have to consider that the camera-ready version must be 25 pages in LIPIcs format (not including references).

Authors will be given a three-day period to read and respond to the reviews of their papers before the program committee meeting. Responses have no length limit.

ECOOP will continue to have two deadlines for submissions. Papers submitted in each round can be (a) accepted, (b) rejected, or (c) asked for revisions. Rejected papers cannot submit to the immediate next round, while revisions can be submitted at any later round. Papers retain their reviewers during revision.

Artifact Evaluation and Intent

To support replication of experiments, authors of research papers may submit artifacts to the Artifact Evaluation Committee. They will be asked whether they intend to submit an artifact at submission time. It is understood that some paper do not have artifacts. AEC members will serve on the extended review committee.

Journal First and Journal After

We have Journal First / After arrangements with ACM’s Transactions on Programming Languages and Systems (TOPLAS), Elsevier’s Science of Computer Programming (SCP) and AITO’s Journal of Object Technology (JOT).

Only new research papers are eligible to be Journal First (JF). JF papers will have an extended abstract in the ECOOP proceedings. The deadline is that same as Round 1 of submissions and the notification is aligned with Round 2 notification. TOPLAS JF papers should be submitted according to this announcement. SCP JF papers should follow this call for papers. JF papers are presented at the conference and eligible for awards.

Journal After (JA) papers are papers for which the authors request to be considered for post conference journal publication. Once accepted by the ECOOP PC, these papers will be forwarded to the journal editors. Reviews and reviewers will be forwarded and used at the editor’s discretion. JA papers will have an extended abstract (up to 12 pages) in the conference proceedings.

Research PapersECOOP 2023

Accepted Papers

Call for Papers

Submissions

Artifact Evaluation and Intent

Journal First and Journal After

Karim AliProgram Co-Chair

University of Alberta

Guido SalvaneschiProgram Co-Chair

University of St. Gallen

Switzerland

Ben HermannReproduction Area Chair

TU Dortmund

Germany

Cyrus OmarPearls/Brave New Ideas Area Chair

University of Michigan

United States

Emma SöderbergExperience Area Chair

Lund University

Sweden

Gul AghaPC Member

University of Illinois at Urbana-Champaign, USA

Riyadh BaghdadiPC Member

NYU Abu Dhabi

United Arab Emirates

Shigeru ChibaPC Member

The University of Tokyo

Japan

Andrew CraikPC Member

Chronosoft

Australia

Wolfgang De MeuterPC Member

Vrije Universiteit Brussel

Belgium

Alastair F. DonaldsonPC Member

Imperial College London

United Kingdom

Simon J. GayPC Member

University of Glasgow, UK

United Kingdom

Jeremy GibbonsPC Member

Department of Computer Science, University of Oxford

United Kingdom

Tony HoskingPC Member

Australian National University

Australia

Atsushi IgarashiPC Member

Kyoto University

Japan

Mikel LujánPC Member

University of Manchester

United Kingdom

Ana MilanovaPC Member

Rensselaer Polytechnic Institute

Anders MøllerPC Member

Aarhus University

Denmark

Klaus OstermannPC Member

University of Tübingen

Germany

Tomas PetricekPC Member

Charles University

Czech Republic

Alex PotaninPC Member

Australian National University

Australia

Tom SchrijversPC Member

KU Leuven

Belgium

Manuel SerranoPC Member

Inria; University of Côte d'Azur

France

Thodoris SotiropoulosPC Member

ETH Zürich

Switzerland

Peter ThiemannPC Member

University of Freiburg, Germany

Emma ToschPC Member

Northeastern University, USA

Vasco T. VasconcelosPC Member