Psamathe: A DSL for Safe Blockchain Assets (SPLASH 2020 - Student Research Competition) - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Track

SPLASH 2020 Student Research Competition

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Link to Publication

https://dl.acm.org/doi/pdf/10.1145/3426430.3428131

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

Reed Oei

University of Illinois at Urbana-Champaign