Publications

2 results for Stephen A. Edwards

A novel analysis space for pointer analysis and its application for bug finding
- - Marcio Buss
  - Daniel Brand
  - et al.
- 2010
- Science of Computer Programming
Paper
Flexible pointer analysis using Assign-Fetch Graphs
- - Marcio Buss
  - Daniel Brand
  - et al.
- 2008
- SAC 2008
Conference paper