SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 12:20 - 13:00 at SPLASH-VII - Student Research Competition Posters
Wed 18 Nov 2020 00:20 - 01:00 at SPLASH-VII - Student Research Competition Posters Mirror

Static program verification requires a large number of user-provided specifications, resulting in a significant upfront verification cost. One method for reducing this burden is gradual verification, a novel approach that enables developers to deal with the cost of verification incrementally—statically where possible and dynamically where necessary. In this paper, we discuss our work designing and implementing the static portion of a gradual verification tool.

Design and Implementation of a Gradual Verifier (SPLASH '20 Poster.pdf)3.43MiB

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

12:20 - 13:00
Student Research Competition PostersStudent Research Competition at SPLASH-VII +12h
12:20
40m
Poster
Design and Implementation of a Gradual Verifier
Student Research Competition
Mona ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
12:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian C. McCormackUniversity of Wisconsin-Eau Claire
Link to publication
12:20
40m
Poster
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Raphael MosanerJohannes Kepler University Linz
12:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
12:20
40m
Poster
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Gahwon LeeThe University of Texas at Austin
Link to publication
12:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed OeiUniversity of Illinois at Urbana-Champaign
Link to publication
12:20
40m
Poster
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Vitaly RomanovInnopolis University
Link to publication
12:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia KolakColumbia University/Carnegie Mellon University
Link to publication
12:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. YangQueen's University / Carnegie Mellon University
Link to publication

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00
Student Research Competition Posters MirrorStudent Research Competition at SPLASH-VII
00:20
40m
Poster
Design and Implementation of a Gradual Verifier
Student Research Competition
Mona ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
00:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
00:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed OeiUniversity of Illinois at Urbana-Champaign
Link to publication
00:20
40m
Poster
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Gahwon LeeThe University of Texas at Austin
Link to publication
00:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian C. McCormackUniversity of Wisconsin-Eau Claire
Link to publication
00:20
40m
Poster
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Raphael MosanerJohannes Kepler University Linz
00:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia KolakColumbia University/Carnegie Mellon University
Link to publication
00:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. YangQueen's University / Carnegie Mellon University
Link to publication
00:20
40m
Poster
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Vitaly RomanovInnopolis University
Link to publication