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

Tue 17 Nov

Displayed 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 Zhang Columbia University, Jacob Gorenburg Haverford College
Link to publication File Attached
12:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian McCormack University 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 Mosaner Johannes Kepler University Linz
12:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sangheon Choi Rose-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 Lee The University of Texas at Austin
Link to publication
12:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed Oei University 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 Romanov Innopolis University
Link to publication
12:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia Kolak Columbia University/Carnegie Mellon University
Link to publication
12:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. Yang Queen's University / Carnegie Mellon University
Link to publication

Wed 18 Nov

Displayed 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 Zhang Columbia University, Jacob Gorenburg Haverford College
Link to publication File Attached
00:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sangheon Choi Rose-Hulman Institute of Technology
Link to publication
00:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed Oei University 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 Lee The 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 McCormack University 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 Mosaner Johannes Kepler University Linz
00:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia Kolak Columbia University/Carnegie Mellon University
Link to publication
00:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. Yang Queen'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 Romanov Innopolis University
Link to publication