SPLASH Companion 2020 – Companion Proceedings

Frontmatter

Keynotes

Models and Programs: Better Together (Keynote)
Sriram K. Rajamani
(Microsoft Research, India)

Publisher's Version Article: splashcomp20key-key1-p doi:10.1145/3426430.3434070

Testing Deep Neural Networks (Keynote)
Mary Lou Soffa
(University of Virginia, USA)

Publisher's Version Article: splashcomp20key-key2-p doi:10.1145/3426430.3434071

Why Digital Agriculture Is Fertile Ground for Software Systems Research (Keynote)
Vikram S. Adve
(University of Illinois at Urbana-Champaign, USA)

Publisher's Version Article: splashcomp20key-key3-p doi:10.1145/3426430.3434072

Invited Presentations

Doctoral Symposium

Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Raphael Mosaner
(JKU Linz, Austria)

Publisher's Version Article: splashcomp20doc-p01-p doi:10.1145/3426430.3429451

Gradual Value-Dependent Information Flow Control
Eduardo Geraldo
(NOVA-LINCS, Portugal; Nova University of Lisbon, Portugal)

Publisher's Version Article: splashcomp20doc-p02-p doi:10.1145/3426430.3429452

Student Research Competition

SOAR: Synthesis for Open-Source API Refactoring
Aidan Z. H. Yang
(Queen's University, Canada; Carnegie Mellon University, USA)

Publisher's Version Article: splashcomp20src-p4-p doi:10.1145/3426430.3428129

SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Gahwon Lee
(University of Texas at Austin, USA)

Publisher's Version Article: splashcomp20src-p8-p doi:10.1145/3426430.3428130

Psamathe: A DSL for Safe Blockchain Assets
Reed Oei
(University of Illinois at Urbana-Champaign, USA)

Publisher's Version Article: splashcomp20src-p17-p doi:10.1145/3426430.3428131

Detecting Performance Patterns with Deep Learning
Sophia Kolak
(Columbia University, USA)

Publisher's Version Article: splashcomp20src-p35-p doi:10.1145/3426430.3428132

Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Sang Heon Choi
(Rose-Hulman Institute of Technology, USA)

Publisher's Version Article: splashcomp20src-p37-p doi:10.1145/3426430.3428133

Evaluating Importance of Edge Types When Using Graph Neural Network for Predicting Return Types of Python Functions
Vitaly Romanov
(Innopolis University, Russia)

Publisher's Version Article: splashcomp20src-p56-p doi:10.1145/3426430.3428135

A Software Library Model for the Internet of Things
Ian C. McCormack
(University of Wisconsin-Eau Claire, USA)

Publisher's Version Article: splashcomp20src-p79-p doi:10.1145/3426430.3428136

Design and Implementation of a Gradual Verifier
Mona Zhang and Jacob Gorenburg
(Columbia University, USA; Haverford College, USA)

Publisher's Version Article: splashcomp20src-p87-p doi:10.1145/3426430.3428137

proc time: 1.05