ECOOP

Keyphrases

Publications

2023

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

volume 263, 2023

37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States ECOOP 263 (2023)

2022

volume 222, 2022

36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. ECOOP 222 (2022)