ECOOP 2020

34 papers

1. A Big Step from Finite to Infinite Computations (SCICO Journal-first) · Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2. A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) · Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
3. A Semantics for the Essence of React · Magnus Madsen, Ondrej Lhoták, Frank Tip
4. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications · Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
5. A Type-Directed Operational Semantics For a Calculus with a Merge Operator · Xuejing Huang, Bruno C. d. S. Oliveira
6. Abstracting Gradual References (SCICO Journal-first) · Matías Toro, Éric Tanter
7. Blame for Null · Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
8. Data Consistency in Transactional Storage Systems: A Centralised Semantics · Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
9. Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl) · Colin S. Gordon
10. Don't Panic! Better, Fewer, Syntax Errors for LR Parsers · Lukas Diekmann, Laurence Tratt
11. Flow-Sensitive Type-Based Heap Cloning · Mohamad Barbar, Yulei Sui, Shiping Chen
12. Front Matter, Table of Contents, Preface, Conference Organization ·
13. K-LLVM: A Relatively Complete Semantics of LLVM IR · Liyi Li, Elsa L. Gunter
14. Lifting Sequential Effects to Control Operators · Colin S. Gordon
15. Model-View-Update-Communicate: Session Types Meet the Elm Architecture · Simon Fowler
16. Multiparty Session Programming With Global Protocol Combinators · Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
17. Owicki-Gries Reasoning for C11 RAR · Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
18. Perfect Is the Enemy of Good: Best-Effort Program Synthesis · Hila Peleg, Nadia Polikarpova
19. Putting Randomized Compiler Testing into Production (Experience Report) · Alastair F. Donaldson, Hugues Evrard, Paul Thomson
20. Reconciling Event Structures with Modern Multiprocessors · Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
21. Reference Mutability for DOT · Vlastimil Dort, Ondrej Lhoták
22. Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first) · Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
23. Row and Bounded Polymorphism via Disjoint Polymorphism · Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
24. Safe, Flexible Aliasing with Deferred Borrows · Chris Fallin
25. Scala with Explicit Nulls · Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu
26. Sound Regular Corecursion in coFJ · Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
27. Space-Efficient Gradual Typing in Coercion-Passing Style · Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
28. Static Analysis of Shape in TensorFlow Programs · Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
29. Static Race Detection and Mutex Safety and Liveness for Go Programs · Julia Gabet, Nobuko Yoshida
30. Static Type Analysis by Abstract Interpretation of Python Programs · Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
31. Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model · Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter
32. Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper) · David Maciver, Alastair F. Donaldson
33. The Duality of Subtyping · Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman
34. Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript · Benjamin Barslev Nielsen, Anders Møller