LIPIcs, Volume 263, ECOOP 2023

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