Travelled to:
1 × China
1 × Germany
Collaborated with:
V.Bertacco W.Arthur R.Rodriguez T.M.Austin D.Chatterjee D.Pidan A.Nahir A.Ziv R.Morad
Talks about:
schnauzer (1) approxim (1) scalabl (1) checker (1) acceler (1) profil (1) simul (1) secur (1) site (1) like (1)
Person: Biruk Mammo
DBLP: Mammo:Biruk
Contributed to:
Wrote 2 papers:
- CGO-2013-ArthurMRAB #debugging #named #profiling #scalability #security
- Schnauzer: scalable profiling for likely security bug sites (WA, BM, RR, TMA, VB), p. 11.
- DATE-2012-MammoCPNZMB #approximate #simulation
- Approximating checkers for simulation acceleration (BM, DC, DP, AN, AZ, RM, VB), pp. 153–158.