FOOL
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
SPLASH 2014 (series) / FOOL (series) / Portland Marriott /

Room information: Exhibit Hall

VenuePortland Marriott
Room nameExhibit Hall
Floor0
Room numberExhibit Hall
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

18:00 - 21:00
SPLASH Poster ReceptionSPLASH Posters at Exhibit Hall
Chair(s): K R Jayaram IBM Research, USA, Nick Sumner Simon Fraser University
18:00
3h
Talk
Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging
SPLASH Posters
Jonathan Corley University of Alabama, Brian Eddy
18:00
3h
Talk
Enhancing Conformance Checking for Contract-Based Programs
SPLASH Posters
Alysson Milanez UFCG, Brazil, Tiago Massoni UFCG, Rohit Gheyi UFCG, Brazil
18:00
3h
Talk
Self-Adaptive Parallel Programming Through Tunable Concurrency
SPLASH Posters
Tai Nguyen Washington State University, Xinghui Zhao University of Washington
18:00
3h
Talk
HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs
SPLASH Posters
Peter Elmers Rice University, Hongyu Li Rice University, Shams Imam Rice University, Vivek Sarkar Rice University
18:00
3h
Talk
Detecting Design Similarity Patterns Using Program Execution Traces
SPLASH Posters
Kuldeep Kumar National University of Singapore, Stan Jarzabek National University of Singapore
18:00
3h
Talk
Taming the Dynamic Behavior of JavaScript
SPLASH Posters
Shiyi Wei Virginia Tech, Barbara Ryder Virginia Tech
18:00 - 21:00
SRC PostersSPLASH Student 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
SPLASH Student Research Competition
Lindsay Neubauer Columbia University
18:18
18m
Talk
Analysis with Type-Intertwined Separation Logic
SPLASH Student Research Competition
Devin Coughlin University of Colorado Boulder
18:36
18m
Talk
Quality Types for Approximate Programming
SPLASH Student Research Competition
Brett Boston University of Washington
18:54
18m
Talk
Recommending More Efficient Workflows to Software Developers
SPLASH Student Research Competition
Dylan Bates Coker College
19:12
18m
Talk
Incorporating Structured Queries into Software Search
SPLASH Student Research Competition
Brian Eddy
19:30
18m
Talk
A Study of Wheat and Chaff in Source Code
SPLASH Student Research Competition
Martin Velez University of California, Davis
19:48
18m
Talk
Improved Program Synthesis Through the Use of Packages
SPLASH Student Research Competition
Santiago Gonzalez Colorado School of Mines, C: Armando Solar-Lezama MIT
20:06
18m
Talk
Towards Concurrent Reactive Programming
SPLASH Student Research Competition
Joscha Drechsler Technische Universität Darmstadt
20:24
18m
Talk
A Language for the Specification and Efficient Implementation of Type Systems
SPLASH Student Research Competition
Pascal Wittmann TU Darmstadt
20:42
18m
Talk
Parallelization of Gibbs Sampling for Text Analytics
SPLASH Student Research Competition
Ayush Narayan Rice University

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

Room18:003019:003020:0030
Exhibit Hall

SPLASH Posters

SPLASH Poster Reception

SPLASH Student Research Competition

SRC Posters
18:00 - 21:00

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

Room18:0015304519:0015304520:00153045
Exhibit Hall
SPLASH Posters
Searching for Answers: An Exploratory Study of the Formation, Use, and ...
18:00 - 21:00
Enhancing Conformance Checking for Contract-Based Programs
18:00 - 21:00
Self-Adaptive Parallel Programming Through Tunable Concurrency
18:00 - 21:00
HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel P ...
18:00 - 21:00
Detecting Design Similarity Patterns Using Program Execution Traces
18:00 - 21:00
Taming the Dynamic Behavior of JavaScript
18:00 - 21:00
SPLASH Student Research Competition
Kamino: Dynamic Approach to Semantic Code Clone Detection
18:00 - 18:18
Analysis with Type-Intertwined Separation Logic
18:18 - 18:36
Quality Types for Approximate Programming
18:36 - 18:54
Recommending More Efficient Workflows to Software Developers
18:54 - 19:12
Incorporating Structured Queries into Software Search
19:12 - 19:30
A Study of Wheat and Chaff in Source Code
19:30 - 19:48
Improved Program Synthesis Through the Use of Packages
19:48 - 20:06
Towards Concurrent Reactive Programming
20:06 - 20:24
A Language for the Specification and Efficient Implementation of Type S ...
20:24 - 20:42
Parallelization of Gibbs Sampling for Text Analytics
20:42 - 21:00