SPLASH Companion 2020 – Companion Proceedings

Frontmatter

Keynotes

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


@InProceedings{SPLASH Companion20p1, author = {Sriram K. Rajamani}, title = {Models and Programs: Better Together (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426430.3434070}, year = {2020}, } Publisher's Version Article: splashcomp20key-key1-p doi:10.1145/3426430.3434070

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


@InProceedings{SPLASH Companion20p4, author = {Mary Lou Soffa}, title = {Testing Deep Neural Networks (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {4-3}, doi = {10.1145/3426430.3434071}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p7, author = {Vikram S. Adve}, title = {Why Digital Agriculture Is Fertile Ground for Software Systems Research (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3426430.3434072}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p10, author = {Raphael Mosaner}, title = {Machine Learning to Ease Understanding of Data Driven Compiler Optimizations}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {10-9}, doi = {10.1145/3426430.3429451}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p13, author = {Eduardo Geraldo}, title = {Gradual Value-Dependent Information Flow Control}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3426430.3429452}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p16, author = {Aidan Z. H. Yang}, title = {SOAR: Synthesis for Open-Source API Refactoring}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3426430.3428129}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p20, author = {Gahwon Lee}, title = {SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {20-19}, doi = {10.1145/3426430.3428130}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p24, author = {Reed Oei}, title = {Psamathe: A DSL for Safe Blockchain Assets}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {24-23}, doi = {10.1145/3426430.3428131}, year = {2020}, } Publisher's Version Article: splashcomp20src-p17-p doi:10.1145/3426430.3428131

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


@InProceedings{SPLASH Companion20p28, author = {Sophia Kolak}, title = {Detecting Performance Patterns with Deep Learning}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {28-27}, doi = {10.1145/3426430.3428132}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p32, author = {Sang Heon Choi}, title = {Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {32-31}, doi = {10.1145/3426430.3428133}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p36, author = {Vitaly Romanov}, title = {Evaluating Importance of Edge Types When Using Graph Neural Network for Predicting Return Types of Python Functions}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {36-35}, doi = {10.1145/3426430.3428135}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p40, author = {Ian C. McCormack}, title = {A Software Library Model for the Internet of Things}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3426430.3428136}, year = {2020}, } 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)


@InProceedings{SPLASH Companion20p44, author = {Mona Zhang and Jacob Gorenburg}, title = {Design and Implementation of a Gradual Verifier}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {44-43}, doi = {10.1145/3426430.3428137}, year = {2020}, } Publisher's Version Article: splashcomp20src-p87-p doi:10.1145/3426430.3428137

proc time: 31.24