AGERE!
Mon 20 - Tue 21 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
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): Isil 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
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