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

Fourth year undergraduate in the Computer Science Department at Columbia University, interested in software engineering and machine learning research, currently seeking PhD positions.

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