1. A novel analysis space for pointer analysis and its application for bug finding Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A. 2009 Articles Computer science
2. Flexible Pointer Analysis Using Assign-Fetch Graphs Buss, Marcio; Edwards, Stephen A.; Brand, Daniel; Sreedhar, Vugranam 2008 Articles Computer scienceMathematics
3. A new abstraction for summary-based pointer analysis Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A. 2007 Reports Computer science