Workshop on Program Analysis For Software Tools and Engineering
2004
- Elided conditionalsby: Manos Renieris, Sébastien Chan-Tin, Steven P. Reiss
- Validation of assembler programs for DSPs: a static analyzerby: Matthieu Martel
- Importance of heap specialization in pointer analysisby: Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
- Invited Talk: "Model checking" software with VeriSoftby: Patrice Godefroid
- The design and implementation of FIT: a flexible instrumentation toolkitby: Bruno De Bus, Dominique Chanet, Bjorn De Sutter, Ludo Van Put, Koen De Bosschere
- Mock object creation for test factoringby: David Saff, Michael D. Ernst
- Invited Talk: JML framed!by: Gary T. Leavens
- An improved slicer for Javaby: Christian Hammer, Gregor Snelting
- Invited Talk Static and dynamic analysis: synergy and dualityby: Michael D. Ernst
- Resolving and applying constraint queries on context-sensitive analysesby: James Ezick
- Evaluating the imprecision of static analysisby: Atanas Rountev, Scott Kagan, Michael Gibas
- Efficient field-sensitive pointer analysis for Cby: David J. Pearce, Paul H. J. Kelly, Chris Hankin
- Dynamically inferring temporal propertiesby: Jinlin Yang, David Evans
- Combining static and dynamic data in code visualizationby: David Eng
- Monitoring deployed software using software tomographyby: Jim Bowring, Alessandro Orso, Mary Jean Harrold
- Using the observer design pattern for implementation of data flow analysesby: Gleb Naumovich
- Instruction-level reverse execution for debuggingby: Tankut Akgul, Vincent John Mooney
- Flow equations as a generic programming tool for manipulation of attributed graphsby: John Howard Eli Fiskio-Lasseter, Michal Young
- How to write system-specific, static checkers in metalby: Benjamin Chelf, Dawson R. Engler, Seth Hallem
- STEP: a framework for the efficient encoding of general trace databy: Rhodes Brown, Karel Driesen, David Eng, Laurie J. Hendren, John Jorgensen, Clark Verbrugge, Qin Wang
- Analysis issues for cycloneby: J. Gregory Morrisett
- Recompilation for debugging support in a JIT-compilerby: Mustafa M. Tikir, Jeffrey K. Hollingsworth, Guei-Yuan Lueh
- Selective path profilingby: Taweesup Apiwattanapong, Mary Jean Harrold
- Longitudinal program analysisby: David Notkin
- The code of many colors: relating threads to code and shared stateby: Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis
- Detecting race conditions in large programsby: Cormac Flanagan, Stephen N. Freund
- Bebop: a path-sensitive interprocedural dataflow engineby: Thomas Ball, Sriram K. Rajamani
- Pointer analysis: haven't we solved this problem yet?by: Michael Hind
- Array resizing for scientific code debugging, maintenance and reuseby: Corinne Ancourt, Thi Viet Nga Nguyen
- Evaluating explicitly context-sensitive program slicingby: Gagan Agrawal, Liang Guo
- Making slicing practical: the final mile (Abstract)by: William G. Griswold
- Contextual def-use associations for object aggregationby: Amie L. Souter, Lori L. Pollock
- Type-based analysis and applicationsby: Jens Palsberg
- Economics of software verificationby: Gerard J. Holzmann
- vEC: virtual energy countersby: Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam
- Program analysis for safety guarantees in a Java virtual machine written in Javaby: Jan-Willem Maessen, Vivek Sarkar, David Grove
- An overview of BLOOMby: Steven P. Reiss
- Change impact analysis for object-oriented programsby: Barbara G. Ryder, Frank Tip
- Static validation of dynamically generated HTMLby: Claus Brabrand, Anders Møller, Michael I. Schwartzbach
- Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Javaby: Donglin Liang, Maikel Pennings, Mary Jean Harrold
- What is a class invariant?by: Adam Brooks Webber
- Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimizationby: Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers
- New Type Signatures for Legacy Fortran Subroutinesby: Nicky Williams Preston
- Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verificationby: Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
- Safety Analysis of Hawk in Flight Monitorby: Liz Whiting, Mike Hill
- Efficient Coverage Testing Using Global Dominator Graphsby: Hira Agrawal
- Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointersby: Donglin Liang, Mary Jean Harrold
- Query by Outlines: A New Paradigm to Help Manage Programsby: Francoise Balmas
- Inter-Class Def-Use Analysis with Partial Class Representationsby: Amie L. Souter, Lori L. Pollock, Dixie Hisley
- Physical Type Checking for Cby: Satish Chandra, Thomas W. Reps
- Efficient and Precise Modeling of Exceptions for the Analysis of Java Programsby: Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar
- Benefits of a Data Flow-Aware Programming Environmentby: Christoph Steindl
- GIDTS: A Graphical Programming Environment for Prologby: Gabriella Kókai, Jörg Nilson, Christian Niss
- Identifying Procedural Structure in Cobol Programsby: John Field, G. Ramalingam
- Experiments with Combined Analysis for Pointer Aliasingby: Sean Zhang, Barbara G. Ryder, William Landi
- An Empirical Investigation of Program Spectraby: Mary Jean Harrold, Gregg Rothermel, Rui Wu, Liu Yi
- Efficient Composite Data Flow Analysis Applied to Concurrent Programsby: Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
- Static Slicing of Threaded Programsby: Jens Krinke
- Recovering Software Architecture from Multiple Source Code Analysesby: Melissa P. Chase, Steven M. Christey, David R. Harris, Alexander S. Yeh
- Software Visualization in the Desert Environmentby: Steven P. Reiss
- Concept Analysis - A New Framework for Program Understandingby: Gregor Snelting
- A Lightweight Architecture for Program Execution Monitoringby: Clinton L. Jeffery, Wenyi Zhou, Kevin Templer, Michael Brazell
- Visualizing the Performance of Higher-Order Programsby: Oscar Waddell, J. Michael Ashley
- Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience)by: Nurit Dor, Michael Rodeh, Shmuel Sagiv
- OPTVIEW: A New Approach for Examining Optimized Codeby: Caroline Tice, Susan L. Graham
![[SWISH++]](/docis/swish-powered.gif){kind=small}
