Design and Implementation of a Gradual Verifier (SPLASH 2020 - Student Research Competition) - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Who

Mona Zhang, Jacob Gorenburg

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

Abstract

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.

Link to Publication

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

File attachments

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

Mona Zhang

Columbia University

Jacob Gorenburg

Haverford College

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