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 - 13:00
Poster
Student Research Competition
Mona ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
12:20 - 13:00
Poster
Student Research Competition
Ian C. McCormackUniversity of Wisconsin-Eau Claire
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Raphael MosanerJohannes Kepler University Linz
12:20 - 13:00
Poster
Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Gahwon LeeThe University of Texas at Austin
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Reed OeiUniversity of Illinois at Urbana-Champaign
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Vitaly RomanovInnopolis University
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Sophia KolakColumbia University/Carnegie Mellon University
Link to publication
12:20 - 13:00
Poster
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 - 01:00
Poster
Student Research Competition
Mona ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
00:20 - 01:00
Poster
Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Reed OeiUniversity of Illinois at Urbana-Champaign
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Gahwon LeeThe University of Texas at Austin
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Ian C. McCormackUniversity of Wisconsin-Eau Claire
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Raphael MosanerJohannes Kepler University Linz
00:20 - 01:00
Poster
Student Research Competition
Sophia KolakColumbia University/Carnegie Mellon University
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Aidan Z.H. YangQueen's University / Carnegie Mellon University
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Vitaly RomanovInnopolis University
Link to publication