Conferences in DBLP

Workshop on Program Analysis For Software Tools and Engineering (PASTE) (paste)
2001 (conf/paste/2001)

1. William G. Griswold
   Making slicing practical: the final mile (Abstract). [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:1- [Conf]
   
2. Steven P. Reiss
   An overview of BLOOM. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:2-5 [Conf]
   
3. Gagan Agrawal, Liang Guo
   Evaluating explicitly context-sensitive program slicing. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:6-12 [Conf]
   
4. Amie L. Souter, Lori L. Pollock
   Contextual def-use associations for object aggregation. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:13-19 [Conf]
   
5. Jens Palsberg
   Type-based analysis and applications. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:20-27 [Conf]
   
6. Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam
   vEC: virtual energy counters. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:28-31 [Conf]
   
7. Corinne Ancourt, Thi Viet Nga Nguyen
   Array resizing for scientific code debugging, maintenance and reuse. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:32-37 [Conf]
   
8. Claus Brabrand, Anders Møller, Michael I. Schwartzbach
   Static validation of dynamically generated HTML. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:38-45 [Conf]
   
9. Barbara G. Ryder, Frank Tip
   Change impact analysis for object-oriented programs. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:46-53 [Conf]
   
10. Michael Hind
    Pointer analysis: haven't we solved this problem yet? [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:54-61 [Conf]
    
11. Jan-Willem Maessen, Vivek Sarkar, David Grove
    Program analysis for safety guarantees in a Java virtual machine written in Java. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:62-65 [Conf]
    
12. Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers
    Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:66-72 [Conf]
    
13. Donglin Liang, Maikel Pennings, Mary Jean Harrold
    Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:73-79 [Conf]
    
14. Gerard J. Holzmann
    Economics of software verification. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:80-85 [Conf]
    
15. Adam Brooks Webber
    What is a class invariant? [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:86-89 [Conf]
    
16. Cormac Flanagan, Stephen N. Freund
    Detecting race conditions in large programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:90-96 [Conf]
    
17. Thomas Ball, Sriram K. Rajamani
    Bebop: a path-sensitive interprocedural dataflow engine. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:97-103 [Conf]