default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th ECOOP 2023: Seattle, WA, USA
- Karim Ali
, Guido Salvaneschi:
37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. LIPIcs 263, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-281-5 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:20
- Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. 1:1-1:30 - Jim Bauwens, Elisa Gonzalez Boix:
Nested Pure Operation-Based CRDTs. 2:1-2:26 - Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-Graded Featherweight Java. 3:1-3:27 - Henrique Botelho Guerra, João F. Ferreira, João Costa Seco:
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. 4:1-4:28 - Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen:
Modular Abstract Definitional Interpreters for WebAssembly. 5:1-5:28 - David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. 6:1-6:30 - Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti:
Modular Compilation for Higher-Order Functional Choreographies. 7:1-7:37 - Jan de Muijnck-Hughes, Wim Vanderbauwhede:
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... 8:1-8:28 - Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix:
VeriFx: Correct Replicated Data Types for the Masses. 9:1-9:45 - Jens Dietrich, David J. Pearce, Mahin Chandramohan:
On Leveraging Tests to Infer Nullable Annotations. 10:1-10:25 - Andong Fan, Lionel Parreaux:
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. 11:1-11:28 - Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). 12:1-12:15 - Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar:
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. 13:1-13:30 - Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software. 14:1-14:33 - Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto:
Behavioural Types for Local-First Software. 15:1-15:28 - Yannan Li, Chao Wang:
Constraint Based Compiler Optimization for Energy Harvesting Applications. 16:1-16:29 - Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze:
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. 17:1-17:27 - Magnus Madsen, Jaco van de Pol:
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. 18:1-18:27 - Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner:
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. 19:1-19:27 - Ashish Mishra, Suresh Jagannathan:
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. 20:1-20:27 - Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher. 21:1-21:30 - Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal:
Modular Verification of State-Based CRDTs in Separation Logic. 22:1-22:27 - Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain. 23:1-23:25 - Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos:
Toward Tool-Independent Summaries for Symbolic Execution. 24:1-24:29 - David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs. 25:1-25:22 - Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina:
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. 26:1-26:29 - Hesam Shahrokhi, Amir Shaikhha:
An Efficient Vectorized Hash Table for Batch Computations. 27:1-27:27 - Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi:
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps. 28:1-28:30 - Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic:
Semantics for Noninterference with Interaction Trees. 29:1-29:29 - Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott:
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification. 30:1-30:26 - Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták:
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. 31:1-31:28 - Felix Stutz:
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. 32:1-32:31 - Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel:
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. 33:1-33:39 - Jinhao Tan, Bruno C. d. S. Oliveira:
Dependent Merges and First-Class Environments. 34:1-34:32 - Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt:
Synthesis-Aided Crash Consistency for Storage Systems. 35:1-35:26 - Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
Synthesizing Conjunctive Queries for Code Search. 36:1-36:30 - Ming-Ho Yee, Arjun Guha:
Do Machine Learning Models Produce TypeScript Types That Type Check? 37:1-37:28 - Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung:
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). 38:1-38:30 - Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty:
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). 39:1-39:27 - João Mota, Marco Giunti, António Ravara:
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). 40:1-40:29 - Simon Henniger, Nada Amin:
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). 41:1-41:27 - Sung-Shik Jongmans, Francisco Ferreira:
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). 42:1-42:30 - Marco Raglianti, Csaba Nagy, Roberto Minelli, Bin Lin, Michele Lanza:
On the Rise of Modern Software Documentation (Pearl/Brave New Idea). 43:1-43:24 - Ori Roth:
Python Type Hints Are Turing Complete (Pearl/Brave New Idea). 44:1-44:15
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
