default search action

combined dblp search
author search
venue search
publication search

ask others

PASTE 2005: Lisbon, Portugal

> 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/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/2005
Michael D. Ernst, Thomas P. Jensen:
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005. ACM 2005, ISBN 1-59593-239-9

Opening

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Das05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Das05
Manuvir Das:
PASTE at Microsoft. 1
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BradburyCD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BradburyCD05
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis. 2-5

Static analysis

- view
  authority control:
- export record
  dblp key:
  - conf/paste/LiangPH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/LiangPH05
Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. 6-12
- view
  authority control:
- export record
  dblp key:
  - conf/paste/HovemeyerSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/HovemeyerSP05
David Hovemeyer, Jaime Spacco, William W. Pugh:
Evaluating and tuning a static analysis to find null pointer bugs. 13-19
- view
  authority control:
- export record
  dblp key:
  - conf/paste/PrivatD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PrivatD05
Jean Privat, Roland Ducournau:
Link-time static analysis for efficient separate compilation of object-oriented languages. 20-27

Monitoring and testing

- view
  authority control:
- export record
  dblp key:
  - conf/paste/KumarCS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/KumarCS05
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Low overhead program monitoring and profiling. 28-34
- view
  authority control:
- export record
  dblp key:
  - conf/paste/TallamG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/TallamG05
Sriraman Tallam, Neelam Gupta:
A concept analysis inspired greedy algorithm for test suite minimization. 35-42
- view
  authority control:
- export record
  dblp key:
  - conf/paste/CookO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/CookO05
Jonathan E. Cook, Alessandro Orso:
MonDe: safe updating through monitored deployment of new component versions. 43-46

Security and state

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Myers05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Myers05
Andrew C. Myers:
Making distributed systems secure with program analysis and transformation. 47
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Hamlet05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Hamlet05
Dick Hamlet:
Invariants and state in testing and formal methods. 48-51

Analysis frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/paste/HampapuramYD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/HampapuramYD05
Hari Hampapuram, Yue Yang, Manuvir Das:
Symbolic path simulation in path-sensitive dataflow analysis. 52-58
- view
  authority control:
- export record
  dblp key:
  - conf/paste/PickettV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PickettV05
Christopher J. F. Pickett, Clark Verbrugge:
SableSpMT: a software framework for analysing speculative multithreading in Java. 59-66
- view
  authority control:
- export record
  dblp key:
  - conf/paste/StroutMH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/StroutMH05
Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland:
Representation-independent program analysis. 67-74

Low-level code

- view
  authority control:
- export record
  dblp key:
  - conf/paste/PutSMBCSB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PutSMBCSB05
Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere:
LANCET: a nifty code editing tool. 75-81
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BarnettL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BarnettL05
Michael Barnett, K. Rustan M. Leino:
Weakest-precondition of unstructured programs. 82-87
- view
  authority control:
- export record
  dblp key:
  - conf/paste/ChristodorescuKG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ChristodorescuKG05
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh:
String analysis for x86 binaries. 88-95

Reverse engineering and symbolic execution

- view
  authority control:
- export record
  dblp key:
  - conf/paste/RountevVR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/RountevVR05
Atanas Rountev, Olga Volgin, Miriam Reddoch:
Static control-flow analysis for reverse engineering of UML sequence diagrams. 96-102
- view
  authority control:
- export record
  dblp key:
  - conf/paste/KhurshidS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/KhurshidS05
Sarfraz Khurshid, Yuk Lai Suen:
Generalizing symbolic execution to library classes. 103-110
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Perkins05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Perkins05
Jeff H. Perkins:
Automatically generating refactorings to support API evolution. 111-114

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.