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. Summary-Based Pointer Analysis Framework for Modular Bug Finding Buss, Marcio 2008 Reports Computer science
4. A new abstraction for summary-based pointer analysis Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A. 2007 Reports Computer science
5. Pointer Analysis for C Programs Through AST Traversal Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Reports Computer science
6. Pointer Analysis for Source-to-Source Transformations Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Articles Computer science