Powered by
Conference Publishing Consulting
WODA+PERTEA 2014: Joint 12th International Workshop on Dynamic Analysis (WODA) and Workshop on Software and System Performance Testing, Debugging, and Analytics (PERTEA), July 22, 2014, San Jose, CA, USA

WODA+PERTEA 2014 – Proceedings

 Contents - Abstracts - Authors

WODA+PERTEA 2014: Joint 12th International Workshop on Dynamic Analysis (WODA) and Workshop on Software and System Performance Testing, Debugging, and Analytics (PERTEA)

Title Page
Article: isstaws14wodaforeword-fm000-p doi:
Message from the Chairs
Article: isstaws14wodaforeword-fm001-p doi:

Accepted Paper
Tue, Jul 22, 13:20 - 13:40, University Room

Intent Fuzzer: Crafting Intents of Death
Raimondas Sasnauskas and John Regehr
(University of Utah, USA)
Article: isstaws14wodamain-wodamainid2-p doi:

Invited Talks 1
Tue, Jul 22, 08:50 - 09:30, University Room

P: A Domain-Specific Language for Asynchronous Event-Driven Programming (Invited Talk Abstract)
Shaz Qadeer
(Microsoft Research, USA)
Article: isstaws14wodainv-wodainvinv3-p doi:
Usable Program Analysis at Google-Scale (Invited Talk Abstract)
Caitlin Sadowski
(Google, USA)
Article: isstaws14wodainv-wodainvinv2-p doi:

Invited Talks 2
Tue, Jul 22, 10:40 - 12:00, University Room

Automated Test Generation for API Proxy Code (Invited Talk Abstract)
Qing Xie
(Accenture, USA)
Article: isstaws14wodainv-wodainvinv1-p doi:
Effective Race Detection for Event-Driven Programs (Invited Talk Abstract)
Manu Sridharan
(Samsung Research, USA)
Article: isstaws14wodainv-wodainvinv4-p doi:

Invited Talks 3
Tue, Jul 22, 13:40 - 15:00, University Room

On the Probabilistic Analysis of Software (Invited Talk Abstract)
Corina S. Păsăreanu
(NASA Ames Research Center, USA)
Article: isstaws14wodainv-wodainvinv5-p doi:
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks (Invited Talk Abstract)
Xusheng Xiao
(NEC Labs, USA)
Article: isstaws14wodainv-wodainvinv6-p doi:

Invited Talks 4
Tue, Jul 22, 15:40 - 17:40, University Room

Detecting and Repairing Performance Bugs using Execution and Code Patterns (Invited Talk Abstract)
Adrian Nistor
(Chapman University, USA)
Article: isstaws14wodainv-wodainvinv7-p doi:
Language, Compiler, and Runtime System Support towards Highly Scalable Big Data Application (Invited Talk Abstract)
Guoqing Xu
(University of California at Irvine, USA)
Article: isstaws14wodainv-wodainvinv8-p doi:
Improving Energy Efficiency of Work-Stealing Parallel Languages (Invited Talk Abstract)
Yu David Liu
(SUNY Binghamton, USA)
Article: isstaws14wodainv-wodainvinv9-p doi:

proc time: 0.79