Abstract is missing.
- The RoadRunner dynamic analysis framework for concurrent programsCormac Flanagan, Stephen N. Freund. 1-8 [doi]
- Visualizing threads, transactions and tasksSteven P. Reiss, Suman Karumuri. 9-16 [doi]
- Opportunities for concurrent dynamic analysis with explicit inter-core communicationJungwoo Ha, Stephen P. Crago. 17-20 [doi]
- Extracting compiler provenance from program binariesNathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu. 21-28 [doi]
- Packrat parsers can handle practical grammars in mostly constant spaceKota Mizushima, Atusi Maeda, Yoshinori Yamaguchi. 29-36 [doi]
- Interprocedural induction variable analysis based on interprocedural SSA form IRSilvian Calman, Jianwen Zhu. 37-44 [doi]
- Property-aware program samplingHarish Narayanappa, Mukul S. Bansal, Hridesh Rajan. 45-52 [doi]
- Coherent dependence clustersSyed S. Islam, Jens Krinke, David Binkley, Mark Harman. 53-60 [doi]
- Towards a unified fault-detection benchmarkSuzanna Schmeelk. 61-64 [doi]
- Null dereference analysis in practiceNathaniel Ayewah, William Pugh. 65-72 [doi]
- Expect the unexpected: error code mismatches between documentation and the real worldCindy Rubio-González, Ben Liblit. 73-80 [doi]
- Learning universal probabilistic models for fault localizationMin Feng, Rajiv Gupta. 81-88 [doi]