SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
SPLASH 2014 (series) / Student Research Competition /

Analysis with Type-Intertwined Separation Logic

SPLASH 2014 Student Research Competition
Wed 22 Oct 2014 18:18 - 18:36 at Exhibit Hall - SRC Posters Chair(s): Işıl Dillig, Sam Guyer

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

18:00 - 21:00
SRC PostersStudent Research Competition at Exhibit Hall
Chair(s): Işıl Dillig University of Texas, Austin, Sam Guyer Tufts University
18:00
18m
Talk
Kamino: Dynamic Approach to Semantic Code Clone Detection
Student Research Competition
Lindsay Neubauer Columbia University
18:18
18m
Talk
Analysis with Type-Intertwined Separation Logic
Student Research Competition
Devin Coughlin University of Colorado Boulder
18:36
18m
Talk
Quality Types for Approximate Programming
Student Research Competition
Brett Boston University of Washington
18:54
18m
Talk
Recommending More Efficient Workflows to Software Developers
Student Research Competition
Dylan Bates Coker College
19:12
18m
Talk
Incorporating Structured Queries into Software Search
Student Research Competition
Brian Eddy
19:30
18m
Talk
A Study of Wheat and Chaff in Source Code
Student Research Competition
Martin Velez University of California, Davis
19:48
18m
Talk
Improved Program Synthesis Through the Use of Packages
Student Research Competition
Santiago Gonzalez Colorado School of Mines, C: Armando Solar-Lezama MIT
20:06
18m
Talk
Towards Concurrent Reactive Programming
Student Research Competition
Joscha Drechsler Technische Universität Darmstadt
20:24
18m
Talk
A Language for the Specification and Efficient Implementation of Type Systems
Student Research Competition
Pascal Wittmann TU Darmstadt
20:42
18m
Talk
Parallelization of Gibbs Sampling for Text Analytics
Student Research Competition
Ayush Narayan Rice University

Devin Coughlin

University of Colorado Boulder