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

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)


@InProceedings{WODA+PERTEA14p1, author = {Raimondas Sasnauskas and John Regehr}, title = {Intent Fuzzer: Crafting Intents of Death}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } 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)


@InProceedings{WODA+PERTEA14p7, author = {Shaz Qadeer}, title = {P: A Domain-Specific Language for Asynchronous Event-Driven Programming (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, } Article: isstaws14wodainv-wodainvinv3-p doi:

Usable Program Analysis at Google-Scale (Invited Talk Abstract)
Caitlin Sadowski
(Google, USA)


@InProceedings{WODA+PERTEA14p13, author = {Caitlin Sadowski}, title = {Usable Program Analysis at Google-Scale (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, } 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)


@InProceedings{WODA+PERTEA14p19, author = {Qing Xie}, title = {Automated Test Generation for API Proxy Code (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2014}, } Article: isstaws14wodainv-wodainvinv1-p doi:

Effective Race Detection for Event-Driven Programs (Invited Talk Abstract)
Manu Sridharan
(Samsung Research, USA)


@InProceedings{WODA+PERTEA14p25, author = {Manu Sridharan}, title = {Effective Race Detection for Event-Driven Programs (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2014}, } 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)


@InProceedings{WODA+PERTEA14p31, author = {Corina S. Păsăreanu}, title = {On the Probabilistic Analysis of Software (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: isstaws14wodainv-wodainvinv5-p doi:

Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks (Invited Talk Abstract)
Xusheng Xiao
(NEC Labs, USA)


@InProceedings{WODA+PERTEA14p37, author = {Xusheng Xiao}, title = {Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2014}, } 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)


@InProceedings{WODA+PERTEA14p43, author = {Adrian Nistor}, title = {Detecting and Repairing Performance Bugs using Execution and Code Patterns (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2014}, } 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)


@InProceedings{WODA+PERTEA14p49, author = {Guoqing Xu}, title = {Language, Compiler, and Runtime System Support towards Highly Scalable Big Data Application (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2014}, } Article: isstaws14wodainv-wodainvinv8-p doi:

Improving Energy Efficiency of Work-Stealing Parallel Languages (Invited Talk Abstract)
Yu David Liu
(SUNY Binghamton, USA)


@InProceedings{WODA+PERTEA14p55, author = {Yu David Liu}, title = {Improving Energy Efficiency of Work-Stealing Parallel Languages (Invited Talk Abstract)}, booktitle = {Proc.\ WODA+PERTEA}, publisher = {ACM}, pages = {55-54}, doi = {}, year = {2014}, } Article: isstaws14wodainv-wodainvinv9-p doi:

proc time: 0.82