ECOOP 2023 - Research Papers

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30	Coffee and Light BreakfastECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

08:00 30m Coffee break		Break ECOOP and ISSTA Catering

08:30 - 09:15	ISSTA Impact Paper AwardECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

08:30 45m Keynote		Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications ECOOP and ISSTA Keynotes K: William G.J. Halfond University of Southern California

09:15 - 10:00	AITO Test of Time AwardECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:15 45m Keynote		AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design ECOOP and ISSTA Keynotes K: Andrew P. Black Pre-print Media Attached

10:00 - 10:30	Coffee BreakECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break ECOOP and ISSTA Catering

10:30 - 12:00	ECOOP 1: SemanticsResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Sophia Drossopoulou Imperial College London

10:30 15m Talk		Semantics for Noninterference with Interaction Trees Research Papers Lucas Silver University of Pennsylvania, Paul He University of Pennsylvania, Ethan Cecchetti University of Maryland, College Park, Andrew K. Hirsch University at Buffalo, Steve Zdancewic University of Pennsylvania DOI
10:45 15m Talk		Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification Research Papers Lucas Silver University of Pennsylvania, Edwin Westbrook Galois, Matthew Yacavone Galois, Inc., Ryan Scott Galois, Inc. DOI
11:00 15m Talk		Multi-Graded Featherweight Java Research Papers Riccardo Bianchini University of Genoa, Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa DOI
11:15 15m Talk		Wiring circuits is easy as {0, 1, ω}, or is it… Research Papers Jan de Muijnck-Hughes University of Glasgow, Wim Vanderbauwhede University of Glasgow DOI
11:30 15m Talk		Automata Learning with an Incomplete Teacher Research Papers Mark Moeller Cornell University, Thomas Wiener Cornell University, Alaia Solko-Breslin University of Pennsylvania, Caleb Koch Stanford, Nate Foster Cornell University, Alexandra Silva Cornell University DOI
11:45 15m Talk		A Direct-Style Effect Notation for Sequential and Parallel Programs Research Papers David Richter Technical University of Darmstadt, Timon Böhler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Mira Mezini TU Darmstadt DOI Pre-print Media Attached

12:00 - 13:30	LunchECOOP and ISSTA Catering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch ECOOP and ISSTA Catering

13:30 - 15:00	ECOOP 2: ReplicationResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Eric Jul University of Oslo

13:30 15m Talk		Behavioural Types for Local-First Software Research Papers Roland Kuhn Actyx AG, Hernan Melgratti University of Buenos Aires, Argentina, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy DOI
13:45 15m Talk		Algebraic Replicated Data Types: Programming Secure Local-First Software Research Papers Christian Kuessner Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Anna-Katharina Wickert TU Darmstadt, Germany, Mira Mezini TU Darmstadt DOI Pre-print
14:00 15m Talk		Modular Verification of State-Based CRDTs in Separation Logic Research Papers Abel Nieto Aarhus University, Arnaud Daby-Seesaram ENS Paris Saclay, Léon Gondelman Aarhus University, Amin Timany Aarhus University, Lars Birkedal Aarhus University DOI
14:15 15m Talk		VeriFx: Correct Replicated Data Types for the Masses Research Papers Kevin De Porre Vrije Universiteit Brussel, Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI
14:30 15m Talk		Nested Pure Operation-Based CRDTs Research Papers Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI
14:45 15m Talk		LoRe: A Programming Model for Verifiably Safe Local-First Software Research Papers Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Elena Yanakieva University of Kaiserslautern-Landau, Annette Bieniusa Kaiserslautern, Mira Mezini TU Darmstadt DOI Pre-print

15:00 - 15:30	Coffee BreakECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

15:00 30m Coffee break		Break ECOOP and ISSTA Catering

15:30 - 17:00	ECOOP 3: DistributionResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

15:30 15m Talk		Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types Research Papers Sung-Shik Jongmans Open University of the Netherlands; CWI, Francisco Ferreira Royal Holloway, University of London DOI
15:45 15m Talk		Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts Research Papers Felix Stutz MPI-SWS DOI
16:00 15m Talk		Dynamically Updatable Multiparty Session Protocols Research Papers David Castro-Perez University of Kent, Nobuko Yoshida University of Oxford DOI
16:15 15m Talk		Designing Asynchronous Multiparty Protocols with Crash-Stop Failures Research Papers Adam D. Barwell University of St Andrews and University of Oxford, Ping Hou University of Oxford, Nobuko Yoshida University of Oxford, Fangyi Zhou Imperial College London DOI Pre-print
16:30 15m Talk		ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs Research Papers Felix Suchert Center for Advancing Electronics Dresden, TU Dresden, Lisza Zeidler Composable Operating Systems Group, Barkhausen Institute, Dresden, Jeronimo Castrillon TU Dresden, Germany, Sebastian Ertel Composable Operating Systems Group, Barkhausen Institute, Dresden DOI
16:45 15m Talk		Information Flow Analysis for Detecting Non-Determinism in Blockchain Research Papers Luca Olivieri Ca’ Foscari University of Venice, Vincenzo Arceri University of Parma, Italy, Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Fabio Tagliaferro CYS4 Srl, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Agostino Cortesi Università Ca' Foscari Venezia, Fausto Spoto U. Verona DOI

	17:30 - 20:30	BanquetECOOP and ISSTA Catering at HUB Ballroom

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30	Coffee and Light BreakfastECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

08:00 30m Coffee break		Break ECOOP and ISSTA Catering

08:30 - 09:00	Dahl-Nygaard Prize Ceremony and AwardsECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

08:30 30m Awards		ECOOP: Dahl-Nygaard Prize Ceremony and Awards ECOOP and ISSTA Keynotes

09:00 - 10:00	KeynoteECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities ECOOP and ISSTA Keynotes K: Sophia Drossopoulou Imperial College London Media Attached

10:00 - 10:30	Coffee BreakECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break ECOOP and ISSTA Catering

10:30 - 12:00	ECOOP 4: TypesResearch Papers at Habib Classroom (Gates G01) Chair(s): Giorgio Audrito Università di Torino

10:30 15m Talk		Python Type Hints are Turing Complete Research Papers Ori Roth Technion DOI
10:45 15m Talk		Restrictable Variants: A Simple and Practical Alternative to Extensible Variants Research Papers Magnus Madsen Aarhus University, Jonathan Lindegaard Starup Aarhus University, Matthew Lutze Aarhus University DOI
11:00 15m Talk		Modular Compilation for Higher-order Functional Choreographies Research Papers Luís Cruz-Filipe University of Southern Denmark, Eva Graversen University of Southern Denmark, Lovro Lugović University of Southern Denmark, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark DOI
11:15 15m Talk		Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism Research Papers Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University DOI
11:30 15m Talk		Dependent Merges and First-Class Environments Research Papers Jinhao Tan University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI
11:45 15m Talk		super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion Research Papers Andong Fan The Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) DOI

12:00 - 13:30	LunchECOOP and ISSTA Catering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch ECOOP and ISSTA Catering

13:30 - 15:00	ECOOP 5: SynthesisResearch Papers at Habib Classroom (Gates G01) Chair(s): Karine Even-Mendoza King’s College London

13:30 15m Talk		Synthesis-Aided Crash Consistency for Storage Systems Research Papers Jacob Van Geffen Veridise Inc., James Bornholt University of Texas at Austin, Emina Torlak Amazon Web Services and University of Washington, Xi Wang University of Washington DOI
13:45 15m Talk		Synthesizing Conjunctive Queries for Code Search Research Papers Chengpeng Wang Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Wensheng Tang Hong Kong University of Science and Technology, Gang Fan Ant Group, Charles Zhang Hong Kong University of Science and Technology DOI
14:00 15m Talk		Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution Research Papers Henrique Botelho Guerra INESC-ID and IST, University of Lisbon, João F. Ferreira INESC-ID and IST, University of Lisbon, João Costa Seco NOVA-LINCS; Nova University of Lisbon DOI
14:15 15m Talk		Building Code Transpilers for Domain-Specific Languages Using Program Synthesis Research Papers Sahil Bhatia University of California, Berkeley, Sumer Kohli UC Berkeley, Sanjit Seshia UC Berkeley, Alvin Cheung University of California at Berkeley DOI
14:30 15m Talk		Do Machine Learning Models Produce TypeScript Types that Type Check? Research Papers Ming-Ho Yee Northeastern University, Arjun Guha Northeastern University and Roblox Research DOI Media Attached File Attached
14:45 15m Talk		Toward Tool-Independent Summaries for Symbolic Execution Research Papers Frederico Ramos Instituto Superior Técnico, Nuno Sabino Instituto Superior Técnico, Carnegie Mellon University, Pedro Adão IST-ULisboa and Instituto de Telecomunicações, David Naumann Stevens Institute of Technology, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal DOI

15:00 - 15:30	Coffee BreakECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

15:00 30m Coffee break		Break ECOOP and ISSTA Catering

15:30 - 17:00	Keynote – ISSTA'24 Preview – ClosingECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

15:30 60m Keynote		Machine Learning for Software Engineering ECOOP and ISSTA Keynotes K: Satish Chandra Meta Platforms
16:30 15m Day closing		ISSTA'24 Preview ECOOP and ISSTA Keynotes
16:45 15m Day closing		ISSTA Closing ECOOP and ISSTA Keynotes

15:30 - 17:00	ECOOP 6: DesignResearch Papers at Habib Classroom (Gates G01) Chair(s): Shigeru Chiba The University of Tokyo

15:30 15m Talk		On the Rise of Modern Software Documentation Research Papers Marco Raglianti Software Institute - USI, Lugano, Csaba Nagy Software Institute - USI, Lugano, Roberto Minelli Software Institute - USI, Lugano, Bin Lin Radboud University, Michele Lanza Software Institute - USI, Lugano DOI
15:45 15m Talk		Rust for Morello: Always-on Memory Safety, Even in Unsafe Code Research Papers Sarah Harris University of Kent, Simon Cooksey University of Kent, Michael Vollmer University of Kent, Mark Batty University of Kent DOI
16:00 15m Talk		Modular Abstract Definitional Interpreters for WebAssembly Research Papers Katharina Brandl JGU Mainz, Sebastian Erdweg JGU Mainz, Sven Keidel TU Darmstadt, Germany, Nils Hansen JGU Mainz DOI Pre-print
16:15 15m Talk		Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution Research Papers Ugnius Rumsevicius University of Illinois - Chicago, Siddhanth Venkateshwaran University of Illinois - Chicago, Ellen Kidane University of Illinois - Chicago, Luís Pina University of Illinois at Chicago DOI Pre-print
16:30 15m Talk		The Dolorem Pattern: Growing a Language through Compile-Time Function Execution Research Papers Simon Henniger Technical University of Munich, Nada Amin Harvard University DOI
16:45 15m Talk		Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints Research Papers Jonathan Lindegaard Starup Aarhus University, Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo DOI

	17:30 - 18:30	ReceptionECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

Fri 21 Jul
Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30	Coffee and Light BreakfastECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

08:00 30m Coffee break		Break ECOOP and ISSTA Catering

08:30 - 09:00	Outlooks and FarewellsECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

08:30 30m Day closing		ECOOP: Outlooks and Farewells ECOOP and ISSTA Keynotes

09:00 - 10:00	KeynoteECOOP and ISSTA Keynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! ECOOP and ISSTA Keynotes K: Heather Miller Carnegie Mellon University and Two Sigma Media Attached

10:00 - 10:30	Coffee BreakECOOP and ISSTA Catering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break ECOOP and ISSTA Catering

10:30 - 12:00	ECOOP 7: Verification and TestingResearch Papers at Amazon Auditorium (Gates G20) Chair(s): Wenxi Wang University of Texas at Austin

10:30 15m Talk		On using VeriFast, VerCors, Plural, and KeY to check object usage Research Papers João Mota NOVA School of Science and Technology, António Ravara NOVA LINCS & FCT, NOVA University of Lisbon, Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa DOI
10:45 15m Talk		Exact Separation Logic Research Papers Petar Maksimović Imperial College London, UK, Caroline Cronjäger Ruhr-Universität Bochum, Andreas Lööw Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London DOI Pre-print
11:00 15m Talk		Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs Research Papers Ashish Mishra Purdue University, Suresh Jagannathan Purdue University DOI
11:15 15m Talk		Constraint Based Compiler Optimization for Energy Harvesting Applications Research Papers Yannan Li University of Southern California, Chao Wang University of Southern California DOI
11:30 15m Talk		Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises Research Papers Feiyang Jin Georgia Institute of Technology, Lechen Yu Georgia Institute of Technology, Tiago Cogumbreiro University of Massachusetts Boston, Vivek Sarkar Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology DOI
11:45 15m Talk		On Leveraging Tests to Infer Nullable Annotations Research Papers Jens Dietrich Victoria University of Wellington, David J. Pearce ConsenSys, Mahin Chandramohan Oracle Labs DOI

12:00 - 13:30	LunchECOOP and ISSTA Catering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch ECOOP and ISSTA Catering

Unscheduled Events

	Not scheduled Talk		Hinted Dictionaries: Efficient Functional Ordered Sets and Maps Research Papers Amir Shaikhha University of Edinburgh, Mahdi Ghorbani University of Edinburgh, Hesam Shahrokhi University of Edinburgh DOI
	Not scheduled Talk		An Efficient Vectorized Hash Table for Batch Computations Research Papers Hesam Shahrokhi University of Edinburgh, Amir Shaikhha University of Edinburgh DOI

Accepted Papers

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

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.
Replication. 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 that are submitted to the immediate next round may be desk rejected if they are not sufficiently different from the previous submission. 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

Program Display Configuration

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

Fri 21 JulDisplayed time zone: Pacific Time (US & Canada) change

Unscheduled Events

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

Czechia

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

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Fri 21 Jul
Displayed time zone: Pacific Time (US & Canada) change