default search action
34th ECOOP 2020: Berlin, Germany (Virtual Conference)
- Robert Hirschfeld
, Tobias Pape
34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). LIPIcs 166, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-154-2 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:28
- Davide Ancona
Sound Regular Corecursion in coFJ. 1:1-1:28 - Hila Peleg
Perfect Is the Enemy of Good: Best-Effort Program Synthesis. 2:1-2:30 - Abel Nieto
Blame for Null. 3:1-3:28 - Julia Gabet
Static Race Detection and Mutex Safety and Liveness for Go Programs. 4:1-4:30 - Evgenii Moiseenko
Reconciling Event Structures with Modern Multiprocessors. 5:1-5:26 - Lukas Diekmann, Laurence Tratt
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers. 6:1-6:32 - Liyi Li
K-LLVM: A Relatively Complete Semantics of LLVM IR. 7:1-7:29 - Yuya Tsuda
Space-Efficient Gradual Typing in Coercion-Passing Style. 8:1-8:29 - Keigo Imai
Multiparty Session Programming With Global Protocol Combinators. 9:1-9:30 - Colin S. Gordon
Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). 10:1-10:25 - Sadegh Dalvandi
Owicki-Gries Reasoning for C11 RAR. 11:1-11:26 - Magnus Madsen
A Semantics for the Essence of React. 12:1-12:26 - David Maciver
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). 13:1-13:27 - Simon Fowler
Model-View-Update-Communicate: Session Types Meet the Elm Architecture. 14:1-14:28 - Sifis Lagouvardos
Static Analysis of Shape in TensorFlow Programs. 15:1-15:29 - Benjamin Barslev Nielsen, Anders Møller:
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. 16:1-16:28 - Raphaël Monat
Static Type Analysis by Abstract Interpretation of Python Programs. 17:1-17:29 - Vlastimil Dort
Reference Mutability for DOT. 18:1-18:28 - Sam Van den Vonder
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model. 19:1-19:29 - Jan de Muijnck-Hughes
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). 20:1-20:31 - Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner:
Data Consistency in Transactional Storage Systems: A Centralised Semantics. 21:1-21:31 - Alastair F. Donaldson
Putting Randomized Compiler Testing into Production (Experience Report). 22:1-22:29 - Colin S. Gordon
Lifting Sequential Effects to Control Operators. 23:1-23:30 - Mohamad Barbar, Yulei Sui, Shiping Chen
Flow-Sensitive Type-Based Heap Cloning. 24:1-24:26 - Abel Nieto
Scala with Explicit Nulls. 25:1-25:26 - Xuejing Huang
A Type-Directed Operational Semantics For a Calculus with a Merge Operator. 26:1-26:32 - Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
Row and Bounded Polymorphism via Disjoint Polymorphism. 27:1-27:30 - Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner:
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. 28:1-28:29 - Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman:
The Duality of Subtyping. 29:1-29:29 - Chris Fallin:
Safe, Flexible Aliasing with Deferred Borrows. 30:1-30:26 - Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). 31:1-31:3 - Davide Ancona
A Big Step from Finite to Infinite Computations (SCICO Journal-first). 32:1-32:2 - Matías Toro, Éric Tanter:
Abstracting Gradual References (SCICO Journal-first). 33:1-33:4
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-11-20 21:07 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: