default search action

combined dblp search
author search
venue search
publication search

ask others

PASTE 2008: Atlanta, Georgia, 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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/2008
Shriram Krishnamurthi, Michal Young:
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008. ACM 2008, ISBN 978-1-60558-382-2

Models of code behavior

- view
  authority control:
- export record
  dblp key:
  - conf/paste/ZaksP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ZaksP08
Anna Zaks, Amir Pnueli:
Program analysis for compiler validation. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/paste/DeRD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/DeRD08
Arnab De, Abhik Roychoudhury, Deepak D'Souza:
Java memory model aware software validation. 8-14
- view
  authority control:
- export record
  dblp key:
  - conf/paste/PamnanyJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PamnanyJ08
Kiran Pamnany, John Jannotti:
Elyze: enabling safe parallelism in event-driven servers. 15-21

Reverse engineering

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Abi-AntounA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Abi-AntounA08
Marwan Abi-Antoun, Jonathan Aldrich:
A field study in static extraction of runtime architectures. 22-28
- view
  authority control:
- export record
  dblp key:
  - conf/paste/LoM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/LoM08
David Lo, Shahar Maoz:
Specification mining of symbolic scenario-based models. 29-35

Characterizing the heap

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Hubert08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Hubert08
Laurent Hubert:
A non-null annotation inferencer for Java bytecode. 36-42
- view
  authority control:
- export record
  dblp key:
  - conf/paste/MarronMHSK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/MarronMHSK08
Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures. 43-49
- view
  authority control:
- export record
  dblp key:
  - conf/paste/LiuM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/LiuM08
Yin Liu, Ana L. Milanova:
Static analysis for inference of explicit information flow. 50-56

Usability of analysis tools and results

- view
  authority control:
- export record
  dblp key:
  - conf/paste/KhooFHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/KhooFHS08
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal:
Path projection for user-centered static analysis tools. 57-63
- view
  authority control:
- export record
  dblp key:
  - conf/paste/ShonleGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ShonleGL08
Macneil Shonle, William G. Griswold, Sorin Lerner:
Addressing common crosscutting problems with Arcum. 64-69
- view
  authority control:
- export record
  dblp key:
  - conf/paste/ShenZZFY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ShenZZFY08
Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao:
XFindBugs: eXtended FindBugs for AspectJ. 70-76

Change analysis

- view
  authority control:
- export record
  dblp key:
  - conf/paste/ZhangLGZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ZhangLGZ08
Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao:
Effective identification of failure-inducing changes: a hybrid approach. 77-83
- view
  authority control:
- export record
  dblp key:
  - conf/paste/JashkiZB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/JashkiZB08
Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri:
Towards a more efficient static software change impact analysis method. 84-90

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.