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
Message from the General Chair
SPLASH 2020 Organization
Sponsors

Keynotes

Models and Programs: Better Together (Keynote)
Sriram K. Rajamani ORCID logo
(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. AdveORCID logo
(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 ORCID logo
(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 ORCID logo
(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: 3.21