Portal - ECOOP 2023

ECOOP 2023	July 17-21, 2023, Seattle, Washington, United States
37th European Conference on Object-Oriented Programming (ECOOP 2023) Karim Ali and Guido Salvaneschi (Eds.)
ISBN 978-3-95977-281-5, LIPICS Vol. 263	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 20 MB)
Search Publication Server

Authors

Botelho Guerra, Henrique

Daby-Seesaram, Arnaud

Dagnino, Francesco

de Muijnck-Hughes, Jan

Oliveira, Bruno C. d. S.

Starup, Jonathan Lindegaard

Venkateshwaran, Siddhanth

Wickert, Anna-Katharina

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Ali, Karim ; Salvaneschi, Guido

Abstract | Document (738 KB) | BibTeX

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

Authors: Barwell, Adam D. ; Hou, Ping ; Yoshida, Nobuko ; Zhou, Fangyi

Abstract | Document (1,303 KB) | BibTeX

Nested Pure Operation-Based CRDTs

Authors: Bauwens, Jim ; Gonzalez Boix, Elisa

Abstract | Document (1,039 KB) | BibTeX

Multi-Graded Featherweight Java

Authors: Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola ; Zucca, Elena

Abstract | Document (991 KB) | BibTeX

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution

Authors: Botelho Guerra, Henrique ; Ferreira, João F. ; Costa Seco, João

Abstract | Document (1,039 KB) | BibTeX

Modular Abstract Definitional Interpreters for WebAssembly

Authors: Brandl, Katharina ; Erdweg, Sebastian ; Keidel, Sven ; Hansen, Nils

Abstract | Document (764 KB) | BibTeX

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols

Authors: Castro-Perez, David ; Yoshida, Nobuko

Abstract | Document (1,377 KB) | BibTeX

Modular Compilation for Higher-Order Functional Choreographies

Authors: Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro ; Montesi, Fabrizio ; Peressotti, Marco

Abstract | Document (1,098 KB) | BibTeX

Wiring Circuits Is Easy as {0,1,ω}, or Is It...

Authors: de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim

Abstract | Document (1,124 KB) | BibTeX

VeriFx: Correct Replicated Data Types for the Masses

Authors: De Porre, Kevin ; Ferreira, Carla ; Gonzalez Boix, Elisa

Abstract | Document (1,663 KB) | BibTeX

On Leveraging Tests to Infer Nullable Annotations

Authors: Dietrich, Jens ; Pearce, David J. ; Chandramohan, Mahin

Abstract | Document (857 KB) | BibTeX

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion

Authors: Fan, Andong ; Parreaux, Lionel

Abstract | Document (1,077 KB) | BibTeX

LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)

Authors: Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira

Abstract | Document (823 KB) | BibTeX

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

Authors: Jin, Feiyang ; Yu, Lechen ; Cogumbreiro, Tiago ; Shirako, Jun ; Sarkar, Vivek

Abstract | Document (1,153 KB) | BibTeX

Algebraic Replicated Data Types: Programming Secure Local-First Software

Authors: Kuessner, Christian ; Mogk, Ragnar ; Wickert, Anna-Katharina ; Mezini, Mira

Abstract | Document (2,836 KB) | BibTeX

Behavioural Types for Local-First Software

Authors: Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio

Abstract | Document (1,124 KB) | BibTeX

Constraint Based Compiler Optimization for Energy Harvesting Applications

Authors: Li, Yannan ; Wang, Chao

Abstract | Document (1,100 KB) | BibTeX

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants

Authors: Madsen, Magnus ; Starup, Jonathan Lindegaard ; Lutze, Matthew

Abstract | Document (1,090 KB) | BibTeX

Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism

Authors: Madsen, Magnus ; van de Pol, Jaco

Abstract | Document (981 KB) | BibTeX

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding

Authors: Maksimović, Petar ; Cronjäger, Caroline ; Lööw, Andreas ; Sutherland, Julian ; Gardner, Philippa

Abstract | Document (899 KB) | BibTeX

Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs

Authors: Mishra, Ashish ; Jagannathan, Suresh

Abstract | Document (987 KB) | BibTeX

Automata Learning with an Incomplete Teacher

Authors: Moeller, Mark ; Wiener, Thomas ; Solko-Breslin, Alaia ; Koch, Caleb ; Foster, Nate ; Silva, Alexandra

Abstract | Document (1,266 KB) | BibTeX

Modular Verification of State-Based CRDTs in Separation Logic

Authors: Nieto, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon ; Timany, Amin ; Birkedal, Lars

Abstract | Document (1,080 KB) | BibTeX

Information Flow Analysis for Detecting Non-Determinism in Blockchain

Authors: Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo ; Tagliaferro, Fabio ; Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto

Abstract | Document (1,322 KB) | BibTeX

Toward Tool-Independent Summaries for Symbolic Execution

Authors: Ramos, Frederico ; Sabino, Nuno ; Adão, Pedro ; Naumann, David A. ; Fragoso Santos, José

Abstract | Document (1,236 KB) | BibTeX

A Direct-Style Effect Notation for Sequential and Parallel Programs

Authors: Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira

Abstract | Document (861 KB) | BibTeX

Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution

Authors: Rumsevicius, Ugnius ; Venkateshwaran, Siddhanth ; Kidane, Ellen ; Pina, Luís

Abstract | Document (1,096 KB) | BibTeX

An Efficient Vectorized Hash Table for Batch Computations

Authors: Shahrokhi, Hesam ; Shaikhha, Amir

Abstract | Document (1,371 KB) | BibTeX

Hinted Dictionaries: Efficient Functional Ordered Sets and Maps

Authors: Shaikhha, Amir ; Ghorbani, Mahdi ; Shahrokhi, Hesam

Abstract | Document (1,104 KB) | BibTeX

Semantics for Noninterference with Interaction Trees

Authors: Silver, Lucas ; He, Paul ; Cecchetti, Ethan ; Hirsch, Andrew K. ; Zdancewic, Steve

Abstract | Document (1,118 KB) | BibTeX

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification

Authors: Silver, Lucas ; Westbrook, Eddy ; Yacavone, Matthew ; Scott, Ryan

Abstract | Document (861 KB) | BibTeX

Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints

Authors: Starup, Jonathan Lindegaard ; Madsen, Magnus ; Lhoták, Ondřej

Abstract | Document (1,023 KB) | BibTeX

Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts

Authors: Stutz, Felix

Abstract | Document (1,118 KB) | BibTeX

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs

Authors: Suchert, Felix ; Zeidler, Lisza ; Castrillon, Jeronimo ; Ertel, Sebastian

Abstract | Document (1,497 KB) | BibTeX

Dependent Merges and First-Class Environments

Authors: Tan, Jinhao ; Oliveira, Bruno C. d. S.

Abstract | Document (1,056 KB) | BibTeX

Synthesis-Aided Crash Consistency for Storage Systems

Authors: Van Geffen, Jacob ; Wang, Xi ; Torlak, Emina ; Bornholt, James

Abstract | Document (1,112 KB) | BibTeX

Synthesizing Conjunctive Queries for Code Search

Authors: Wang, Chengpeng ; Yao, Peisen ; Tang, Wensheng ; Fan, Gang ; Zhang, Charles

Abstract | Document (1,719 KB) | BibTeX

Do Machine Learning Models Produce TypeScript Types That Type Check?

Authors: Yee, Ming-Ho ; Guha, Arjun

Abstract | Document (1,005 KB) | BibTeX

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper)

Authors: Bhatia, Sahil ; Kohli, Sumer ; Seshia, Sanjit A. ; Cheung, Alvin

Abstract | Document (1,219 KB) | BibTeX

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)

Authors: Harris, Sarah ; Cooksey, Simon ; Vollmer, Michael ; Batty, Mark

Abstract | Document (965 KB) | BibTeX

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)

Authors: Mota, João ; Giunti, Marco ; Ravara, António

Abstract | Document (901 KB) | BibTeX

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea)

Authors: Henniger, Simon ; Amin, Nada

Abstract | Document (709 KB) | BibTeX

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)

Authors: Jongmans, Sung-Shik ; Ferreira, Francisco

Abstract | Document (1,115 KB) | BibTeX

On the Rise of Modern Software Documentation (Pearl/Brave New Idea)

Authors: Raglianti, Marco ; Nagy, Csaba ; Minelli, Roberto ; Lin, Bin ; Lanza, Michele

Abstract | Document (3,011 KB) | BibTeX

Python Type Hints Are Turing Complete (Pearl/Brave New Idea)

Authors: Roth, Ori

Abstract | Document (891 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

37th European Conference on Object-Oriented Programming (ECOOP 2023)