Tailoring pipeline bypassing and functional unit mapping to application in clustered VLIW architectures. - Marcio Buss; Rodolfo Azevedo; Paulo Centoducatte; Guido Araujo (CASES, 2001)

Exploring Efficient Operating Points for Voltage Scaled Embedded Processor Cores. - Marcio Buss; Tony Givargis; Nikil D. Dutt (RTSS, 2003)

Pointer Analysis for Source-to-Source Transformations. - Marcio Buss; Stephen A. Edwards; Bin Yao; Dan G. Waddington (SCAM, 2005)

Evidence-Based Analysis and Inferring Preconditions for Bug Detection. - Daniel Brand; Marcio Buss; Vugranam C. Sreedhar (ICSM, 2007)

Flexible pointer analysis using assign-fetch graphs. - Marcio Buss; Daniel Brand; Vugranam C. Sreedhar; Stephen A. Edwards (SAC, 2008)

A novel analysis space for pointer analysis and its application for bug finding. - Marcio Buss; Daniel Brand; Vugranam C. Sreedhar; Stephen A. Edwards (Sci. Comput. Program., 2010)