The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002