| |
Liu, Yu David
|
WODA+PERTEA '14: "Improving Energy Efficiency ..."
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},
}
|
| |
Nistor, Adrian
|
WODA+PERTEA '14: "Detecting and Repairing Performance ..."
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},
}
|
| |
Păsăreanu, Corina S.
|
WODA+PERTEA '14: "On the Probabilistic Analysis ..."
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},
}
|
| |
Qadeer, Shaz
|
WODA+PERTEA '14: "P: A Domain-Specific Language ..."
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},
}
|
| |
Regehr, John
|
WODA+PERTEA '14: "Intent Fuzzer: Crafting Intents ..."
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},
}
|
| |
Sadowski, Caitlin
|
WODA+PERTEA '14: "Usable Program Analysis at ..."
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},
}
|
| |
Sasnauskas, Raimondas |
WODA+PERTEA '14: "Intent Fuzzer: Crafting Intents ..."
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},
}
|
| |
Sridharan, Manu |
WODA+PERTEA '14: "Effective Race Detection for ..."
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},
}
|
| |
Xiao, Xusheng
|
WODA+PERTEA '14: "Context-Sensitive Delta Inference ..."
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},
}
|
| |
Xie, Qing |
WODA+PERTEA '14: "Automated Test Generation ..."
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},
}
|
| |
Xu, Guoqing |
WODA+PERTEA '14: "Language, Compiler, and Runtime ..."
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},
}
|
