Explaining failures of program analyses

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2008, Pages 260-269

  Von Dincklage, Daniel ^a   Diwan, Amer ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

Documentation; Measurement; Reliability

Indexed keywords

BUG FINDING TOOLS; DOCUMENTATION; FALSE POSITIVES; MODERN DEVELOPMENTS; POSSIBLE ERRORS; PROGRAM ANALYSIS; REFACTORING TOOLS;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; COMPUTERS; FAILURE ANALYSIS; LINGUISTICS; PROGRAM DEBUGGING; QUALITY ASSURANCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 57349106528     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375581.1375614     Document Type: Conference Paper

References (13)

1. Keith D. Cooper, Mary W. Hall, Robert T. Hood, Ken Kennedy, Kathryn S. McKinley, John M. Mellor-Crummey, Linda Torczon, and Scott K. Warren. The ParaScope parallel programming environment. Proceedings of the IEEE, 81(2): 244-263, 1993.
2. Luiz De Rose, Kyle Gallivan, Efstratios Gallopoulos, Bret A. Marsolf, and David A. Padua. FALCON: A MATLAB interactive restructuring compiler. In Languages and Compilers for Parallel Computing, pages 269-288, 1995.
3. Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points, 2004.
4. Martin Hirzel, Daniel von Dincklage, Amer Diwan, and Michael Hind. Fast online pointer analysis. ACM Trans. Program. Lang. Syst., 29(2):11, 2007.
5. Sorin Lerner, Todd Millstein, and Craig Chambers. Automatically proving the correctness of compiler optimizations, 2003.
6. Shih-Wei Liao, Amer Diwan, Robert P. Bosch Jr., Anwar M. Ghuloum, and Monica S. Lam. SUIF explorer: An interactive and interprocedural parallelizer. In Principles Practice of Parallel Programming, pages 37-48, 1999.
7. Angelika Mader. Verification of Modal Properties Using Infinite Boolean Equation Systems. PhD thesis.
8. David A. Schmidt. Data flow analysis is model checking of abstract interpretations. In POPL '98., pages 38-48, New York, NY, USA, 1998. ACM Press.
9. David A. Schmidt and Bernhard Steffen. Program analysis as model checking of abstract interpretations. In SAS, pages 351-380, 1998.
10. Sherry Shavor, Jim D'Anjou, Scott Fairbrother, Dan Kehn, John Kellerman, and Pat McCarthy. The Java Developers Guide to Eclipse. Addison-Wesley, May 2003.
11. Standard performance evaluation corporation. SPECjbb2000 (Java business benchmark), http://www.spec.org/jbb2000.
12. Standard performance evaluation corporation. SPECjvm98 benchmarks. http://www.spec.org/jvm98.
13. M. Weiser. Program slicing. In Proceedings of ICSE, pages 439-449. IEEE Computer Society Press, 1981.