Travelled to:
1 × Brazil
1 × France
1 × Hungary
Collaborated with:
D.Brand V.C.Sreedhar S.A.Edwards B.Yao D.G.Waddington
Talks about:
analysi (5) pointer (3) sourc (2) bug (2) transform (1) precondit (1) flexibl (1) detect (1) assign (1) applic (1)
Person: Marcio Buss
DBLP: Buss:Marcio
Contributed to:
Wrote 4 papers:
- SAC-2008-BussBSE #analysis #flexibility #graph #pointer #using
- Flexible pointer analysis using assign-fetch graphs (MB, DB, VCS, SAE), pp. 234–239.
- SAC-PL-J-2008-BussBSE10 #analysis #debugging #novel #pointer
- A novel analysis space for pointer analysis and its application for bug finding (MB, DB, VCS, SAE), pp. 921–942.
- ICSM-2007-BrandBS #analysis #debugging #detection
- Evidence-Based Analysis and Inferring Preconditions for Bug Detection (DB, MB, VCS), pp. 44–53.
- SCAM-2005-BussEYW #analysis #pointer #text-to-text
- Pointer Analysis for Source-to-Source Transformations (MB, SAE, BY, DGW), pp. 139–150.