Marcio Buss

Pointer Analysis for C Programs Through AST Traversal

Stephen A. Edwards, Marcio Buss, Bin Yao, 2005 .

Tailoring pipeline bypassing and functional unit mapping to application in clustered VLIW architectures

Rodolfo Azevedo, Guido Araujo, Paulo Centoducatte, 2001, CASES '01.

A novel analysis space for pointer analysis and its application for bug finding

Stephen A. Edwards, Daniel Brand, Marcio Buss, 2010, Sci. Comput. Program..

A new abstraction for summary-based pointer analysis

Stephen A. Edwards, Daniel Brand, Marcio Buss, 2007 .

Exploring efficient operating points for voltage scaled embedded processor cores

Nikil D. Dutt, Tony Givargis, Marcio Buss, 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

Evidence-Based Analysis and Inferring Preconditions for Bug Detection

Daniel Brand, Marcio Buss, Vugranam C. Sreedhar, 2007, 2007 IEEE International Conference on Software Maintenance.

Summary-based pointer analysis framework for modular bug finding

Stephen A. Edwards, Alfred V. Aho, Marcio Buss, 2008 .

Pointer analysis for source-to-source transformations

Stephen A. Edwards, Bin Yao, Marcio Buss, 2005, Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05).

Flexible pointer analysis using assign-fetch graphs

Stephen A. Edwards, Daniel Brand, Marcio Buss, 2008, SAC '08.