Login / Signup
Marcio Buss
Publication Activity (10 Years)
Years Active: 2001-2010
Publications (10 Years): 0
</>
Publications
</>
Marcio Buss
,
Daniel Brand
,
Vugranam C. Sreedhar
,
Stephen A. Edwards
A novel analysis space for pointer analysis and its application for bug finding.
Sci. Comput. Program.
75 (11) (2010)
Marcio Buss
,
Daniel Brand
,
Vugranam C. Sreedhar
,
Stephen A. Edwards
Flexible pointer analysis using assign-fetch graphs.
SAC
(2008)
Daniel Brand
,
Marcio Buss
,
Vugranam C. Sreedhar
Evidence-Based Analysis and Inferring Preconditions for Bug Detection.
ICSM
(2007)
Marcio Buss
,
Stephen A. Edwards
,
Bin Yao
,
Dan G. Waddington
Pointer Analysis for Source-to-Source Transformations.
SCAM
(2005)
Marcio Buss
,
Tony Givargis
,
Nikil D. Dutt
Exploring Efficient Operating Points for Voltage Scaled Embedded Processor Cores.
RTSS
(2003)
Marcio Buss
,
Rodolfo Azevedo
,
Paulo Centoducatte
,
Guido Araujo
Tailoring pipeline bypassing and functional unit mapping to application in clustered VLIW architectures.
CASES
(2001)