SPLASH Companion 2020 – Companion Proceedings

Frontmatter

Keynotes

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

Invited Presentations

Doctoral Symposium

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

Publisher's Version

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

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version

proc time: 2.6