PASTE 2010: Toronto, Ontario, Canada

Sorin Lerner, Atanas Rountev (Eds.): Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010. ACM 2010, ISBN 978-1-4503-0082-7

Concurrency

Cormac Flanagan, Stephen N. Freund:
The RoadRunner dynamic analysis framework for concurrent programs. 1-8
Steven P. Reiss, Suman Karumuri:
Visualizing threads, transactions and tasks. 9-16
Jungwoo Ha, Stephen P. Crago:
Opportunities for concurrent dynamic analysis with explicit inter-core communication. 17-20

Compilers

Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu:
Extracting compiler provenance from program binaries. 21-28
Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi:
Packrat parsers can handle practical grammars in mostly constant space. 29-36
Silvian Calman, Jianwen Zhu:
Interprocedural induction variable analysis based on interprocedural SSA form IR. 37-44

Medley

Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan:
Property-aware program sampling. 45-52
Syed S. Islam, Jens Krinke, David Binkley, Mark Harman:
Coherent dependence clusters. 53-60
Suzanna Schmeelk:
Towards a unified fault-detection benchmark. 61-64

Software faults

Nathaniel Ayewah, William Pugh:
Null dereference analysis in practice. 65-72
Cindy Rubio-González, Ben Liblit:
Expect the unexpected: error code mismatches between documentation and the real world. 73-80
Min Feng, Rajiv Gupta:
Learning universal probabilistic models for fault localization. 81-88

Last update Fri May 25 08:31:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page