Alastair F. Donaldson
Proceedings of the 33rd European Conference on Object-Oriented Programming
ECOOP, 2019.

@proceedings{ECOOP-2019,
	editor        = "Alastair F. Donaldson",
	ee            = "http://www.dagstuhl.de/dagpub/978-3-95977-111-5",
	isbn          = "978-3-95977-111-5",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Proceedings of the 33rd European Conference on Object-Oriented Programming}",
	volume        = 134,
	year          = 2019,
}

Contents (28 items)

ECOOP-2019-ChungNV #algorithm #performance #tuple #type system

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) (BC, FZN, JV), p. 15.

ECOOP-2019-PelsmaekerAV #declarative #editing #idea #parametricity #semantics #specification #towards #type system

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) (DAAP, HvA, EV), p. 18.

ECOOP-2019-MisonizhnikM #on the #satisfiability #type system

On Satisfiability of Nominal Subtyping with Variance (AM, DM), p. 20.

ECOOP-2019-GilR #api #generative

Fling - A Fluent API Generator (YG, OR), p. 25.

ECOOP-2019-LuoDB #analysis #approach #editing #ide #named

MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) (LL, JD, EB), p. 25.

ECOOP-2019-MakwanaK #algebra #linear #named

NumLin: Linear Types for Linear Algebra (DCM, NRK), p. 25.

ECOOP-2019-KangTLMJ0 #case study #experience #java #program transformation #semantics

Semantic Patches for Java Program Transformation (Experience Report) (HJK, FT, JL, GM, LJ, DL0), p. 27.

ECOOP-2019-MajumdarPYZ #idea #interactive

Motion Session Types for Robotic Interactions (Brave New Idea Paper) (RM, MP, NY, DZ), p. 27.

ECOOP-2019-Muijnck-HughesV #hardware #interface #type system

A Typing Discipline for Hardware Interfaces (JdMH, WV), p. 27.

ECOOP-2019-VillazonSRRBDOB #automation #multi #program analysis #scalability

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) (AV, HS, AR, ER, DB, ID, SO, WB), p. 27.

ECOOP-2019-ArslanagicPV

Minimal Session Types (Pearl) (AA, JAP, EV), p. 28.

ECOOP-2019-Bastani0CAA #analysis #points-to #specification

Eventually Sound Points-To Analysis with Specifications (OB, RS0, LC, SA, AA), p. 28.

ECOOP-2019-EichholzCFSM #how #programming #type safety

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 (ME, EC, NF, GS, MM), p. 28.

ECOOP-2019-Fernandez-Reyes #named

Godot: All the Benefits of Implicit and Explicit Futures (KFR, DC0, LH, EBJ, TW), p. 28.

ECOOP-2019-FourtounisS #modelling

Deep Static Modeling of invokedynamic (GF, YS), p. 28.

ECOOP-2019-RobertsMH0

Transient Typechecks Are (Almost) Free (RR0, SM, MH, JN0), p. 28.

ECOOP-2019-MeierMC #control flow #named #protocol

Lifestate: Event-Driven Protocols and Callback Control Flow (SM, SM, BYEC), p. 29.

ECOOP-2019-MukherjeeRGDRLR #framework #programming #reliability #state machine

Reliable State Machines: A Framework for Programming Reliable Cloud Services (SM, NJR, KG, PD, CR, AL, AR, RK), p. 29.

ECOOP-2019-ShaikhhaP #algebra #linear #polymorphism

Finally, a Polymorphic Linear Algebra Language (Pearl) (AS, LP), p. 29.

ECOOP-2019-WeisenburgerS #multi

Multitier Modules (PW, GS), p. 29.

ECOOP-2019-LopezSMBS #debugging #idea #multi #nondeterminism #source code

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) (CTL, RGS, SM, EGB, CS), p. 30.

ECOOP-2019-SotiropoulosL #javascript #source code #static analysis

Static Analysis for Asynchronous JavaScript Programs (TS, BL), p. 30.

ECOOP-2019-VerguTV

Scopes and Frames Improve Meta-Interpreter Specialization (VAV, AT, EV), p. 30.

ECOOP-2019-WattMKG #encapsulation #first-order #logic

A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.

ECOOP-2019-TurcotteAR #interface #modelling #reasoning

Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (AT, EA, GR), p. 32.

ECOOP-2019-EsSR #abstract interpretation

Garbage-Free Abstract Interpretation Through Abstract Reference Counting (NVE, QS, CDR), p. 33.

ECOOP-2019-SpringerM #memory management #named #object-oriented #parallel #performance #programming

DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (MS, HM), p. 37.

ECOOP-2019-Hamin0

Transferring Obligations Through Synchronizations (JH, BJ0), p. 58.