SPLASH Companion 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2020)
Powered by
Conference Publishing Consulting

2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2020), November 15–20, 2020, Virtual, USA

SPLASH Companion 2020 – Companion Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Article: splashcomp20foreword-fm000-p doi:
Message from the General Chair
Article: splashcomp20foreword-fm001-p doi:
SPLASH 2020 Organization
Article: splashcomp20foreword-fm002-p doi:
Sponsors
Article: splashcomp20foreword-fm003-p doi:

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