Travelled to:2 × Germany
Collaborated with:R.Sol C.Guillon F.M.Q.Pereira C.A.Maffort M.T.Valente N.Anquetil A.Hora
Talks about:architectur (1) overflow (1) heurist (1) violat (1) elimin (1) discov (1) compil (1) trace (1) dynam (1) test (1)
Person: Mariza Andrade da Silva Bigonha
DBLP: Bigonha:Mariza_Andrade_da_Silva
Contributed to:
2013
2011Wrote 2 papers:
- WCRE-2013-MaffortVBAH #architecture #heuristic
- Heuristics for discovering architectural violations (CAM, MTV, MAdSB, NA, AH), pp. 222–231.
- CC-2011-SolGPB #compilation #testing
- Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.