default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th 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, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. 1:1-1:28 - Hila Peleg, Nadia Polikarpova:
Perfect Is the Enemy of Good: Best-Effort Program Synthesis. 2:1-2:30 - Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták:
Blame for Null. 3:1-3:28 - Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs. 4:1-4:30 - Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis:
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, Elsa L. Gunter:
K-LLVM: A Relatively Complete Semantics of LLVM IR. 7:1-7:29 - Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi:
Space-Efficient Gradual Typing in Coercion-Passing Style. 8:1-8:29 - Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
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, Simon Doherty, Brijesh Dongol, Heike Wehrheim:
Owicki-Gries Reasoning for C11 RAR. 11:1-11:26 - Magnus Madsen, Ondrej Lhoták, Frank Tip:
A Semantics for the Essence of React. 12:1-12:26 - David Maciver, Alastair F. Donaldson:
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, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis:
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, Abdelraouf Ouadjaout, Antoine Miné:
Static Type Analysis by Abstract Interpretation of Python Programs. 17:1-17:29 - Vlastimil Dort, Ondrej Lhoták:
Reference Mutability for DOT. 18:1-18:28 - Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter:
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model. 19:1-19:29 - Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede:
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, Hugues Evrard, Paul Thomson:
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, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu:
Scala with Explicit Nulls. 25:1-25:26 - Xuejing Huang, Bruno C. d. S. Oliveira:
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, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
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 2025-05-09 19:37 CEST 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:
