Travelled to:1 × USA
Collaborated with:Zoe Gong M.Carbin A.Sampson D.Grossman L.Ceze
Talks about:programm (1) approxim (1) program (1) probabl (1) hardwar (1) flexibl (1) verifi (1) specif (1) execut (1) applic (1)
Person: Brett Boston
DBLP: Boston:Brett
Contributed to:
20152018Wrote 2 papers:
- OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference
- Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.
- OOPSLA-2018-BostonGC #execution #fault tolerance #hardware #modelling #named #programmable #verification
- Leto: verifying application-specific hardware fault tolerance with programmable execution models (BB, ZG, MC), p. 30.