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 (type: Abstract) doi:10.1145/3426430.3434070

: Video Presentation

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

Publisher's Version Article: splashcomp20key-key2-p (type: Abstract) doi:10.1145/3426430.3434071

: Video Presentation

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 (type: Abstract) doi:10.1145/3426430.3434072

: Video Presentation

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 (type: Short Paper (3 pages)) 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 (type: Short Paper (3 pages)) 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 (type: Short Paper (2 pages + references)) 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 (type: Short Paper (2 pages + references)) 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 (type: Short Paper (2 pages + references)) doi:10.1145/3426430.3428131

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

Publisher's Version Article: splashcomp20src-p35-p (type: Short Paper (2 pages + references)) 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 (type: Short Paper (2 pages + references)) 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 (type: Short Paper (2 pages + references)) 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 (type: Short Paper (2 pages + references)) 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 (type: Short Paper (2 pages + references)) doi:10.1145/3426430.3428137

proc time: 0.08