DARTS, Volume 6, Issue 2, ECOOP 2020

• Lisa Nguyen Quang Do and Manuel Rigger Front Matter, Table of Contents, Preface, Conference Organization 10.4230/DARTS.6.2.0
• Mohamad Barbar, Yulei Sui, and Shiping Chen Flow-Sensitive Type-Based Heap Cloning (Artifact) 10.4230/DARTS.6.2.1
• Jan de Muijnck-Hughes, Edwin Brady, and Wim Vanderbauwhede A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact) 10.4230/DARTS.6.2.2
• Alastair F. Donaldson, Hugues Evrard, and Paul Thomson Putting Randomized Compiler Testing into Production (Artifact) 10.4230/DARTS.6.2.3
• Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, and Viktor Vafeiadis Reconciling Event Structures with Modern Multiprocessors (Artifact) 10.4230/DARTS.6.2.4
• Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, and Philippa Gardner A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact) 10.4230/DARTS.6.2.5
• Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, and Yannis Smaragdakis Static Analysis of Shape in TensorFlow Programs (Artifact) 10.4230/DARTS.6.2.6
• Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact) 10.4230/DARTS.6.2.7
• Bruno C. d. S. Oliveira, Cui Shaobo, and Baber Rehman The Duality of Subtyping (Artifact) 10.4230/DARTS.6.2.8
• Xuejing Huang and Bruno C. d. S. Oliveira A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact) 10.4230/DARTS.6.2.9
• Abel Nieto, Marianna Rapoport, Gregor Richards, and Ondřej Lhoták Blame for Null (Artifact) 10.4230/DARTS.6.2.10
• Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné Static Type Analysis by Abstract Interpretation of Python Programs (Artifact) 10.4230/DARTS.6.2.11
• Julia Gabet and Nobuko Yoshida Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) 10.4230/DARTS.6.2.12
• Simon Fowler Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact) 10.4230/DARTS.6.2.13
• Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, and Justin Pu Scala with Explicit Nulls (Artifact) 10.4230/DARTS.6.2.14
• Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim Owicki-Gries Reasoning for C11 RAR (Artifact) 10.4230/DARTS.6.2.15
• Hila Peleg and Nadia Polikarpova Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact) 10.4230/DARTS.6.2.16
• Lukas Diekmann and Laurence Tratt Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact) 10.4230/DARTS.6.2.17
• Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen Multiparty Session Programming with Global Protocol Combinators (Artifact) 10.4230/DARTS.6.2.18
• Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach Implementation of SHAPES Case Studies (Artifact) 10.4230/DARTS.6.2.19