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