SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Wed 22 Oct 2014 18:00 - 21:00 at Exhibit Hall - SPLASH Poster Reception Chair(s): K R Jayaram, Nick Sumner

In this work we present a test-based approach for detecting and categorizing nonconformances in contract-based programs, in specific for the Java Modeling Language (JML).

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

18:00 - 21:00
SPLASH Poster ReceptionPosters 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
Posters
Jonathan Corley University of Alabama, Brian Eddy
18:00
3h
Talk
Enhancing Conformance Checking for Contract-Based Programs
Posters
Alysson Milanez UFCG, Brazil, Tiago Massoni UFCG, Rohit Gheyi UFCG, Brazil
18:00
3h
Talk
Self-Adaptive Parallel Programming Through Tunable Concurrency
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
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
Posters
Kuldeep Kumar National University of Singapore, Stan Jarzabek National University of Singapore
18:00
3h
Talk
Taming the Dynamic Behavior of JavaScript
Posters
Shiyi Wei Virginia Tech, Barbara Ryder Virginia Tech