ECOOP

ECOOP'22 Announcement
ECOOP'22 Announcement
Garbage-free Abstract Interpretation through Abstract Reference Counting
Garbage-free Abstract Interpretation through Abstract Reference Counting
Dahl-Nygaard Prize Keynote: A tribute to Laurie Hendren
Dahl-Nygaard Prize Keynote: A tribute to Laurie Hendren
Minimal Session Types
Minimal Session Types
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Motion Session Types for Robotic Interactions
Motion Session Types for Robotic Interactions
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors
Deep Static Modeling of invokedynamic
Deep Static Modeling of invokedynamic
A Typing Discipline for Hardware Interfaces
A Typing Discipline for Hardware Interfaces
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Dahl-Nygaard Prize Keynote: Composing Distributed Systems that are Provably Correct
Dahl-Nygaard Prize Keynote: Composing Distributed Systems that are Provably Correct
Keynote: Rethinking Compositionality: Composing Proofs From Program Behaviours
Keynote: Rethinking Compositionality: Composing Proofs From Program Behaviours
Eventually Sound Points-To Analysis with Specifications
Eventually Sound Points-To Analysis with Specifications
Transferring Obligations Through Synchronizations
Transferring Obligations Through Synchronizations
A Program Logic for First-Order Encapsulated WebAssembly
A Program Logic for First-Order Encapsulated WebAssembly
Transient Typechecks are (Almost) Free
Transient Typechecks are (Almost) Free
Multitier Modules
Multitier Modules
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Scopes and Frames Improve Meta-Interpreter Specialization
Scopes and Frames Improve Meta-Interpreter Specialization
Semantic Patches for Java Program Transformation
Semantic Patches for Java Program Transformation
On Satisfiability of Nominal Subtyping with Variance
On Satisfiability of Nominal Subtyping with Variance
NumLin: Linear Types for Linear Algebra
NumLin: Linear Types for Linear Algebra
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Godot: All the Benefits of Implicit and Explicit Futures
Godot: All the Benefits of Implicit and Explicit Futures
DynaSOAr: Parallel Memory Allocation for GPU Object-oriented Programming with Efficient Memory Use
DynaSOAr: Parallel Memory Allocation for GPU Object-oriented Programming with Efficient Memory Use
Lifestate: Event-Driven Protocols and Callback Control Flow
Lifestate: Event-Driven Protocols and Callback Control Flow
Keynote: Automatic Differentiation for Dummies
Keynote: Automatic Differentiation for Dummies
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples