Travelled to:2 × USA
Collaborated with:L.Ryzhyk J.Keys M.Vij B.Mirla G.Heiser A.Walker A.Legg M.Stumm
Talks about:driver (2) devic (2) synthesi (1) reliabl (1) hardwar (1) improv (1) verif (1) user (1) reus (1) guid (1)
Person: Arun Raghunath
DBLP: Raghunath:Arun
Contributed to:
2014
2011Wrote 2 papers:
- OSDI-2014-RyzhykWKLRSV #synthesis
- User-Guided Device Driver Synthesis (LR, AW, JK, AL, AR, MS, MV), pp. 661–676.
- ASPLOS-2011-RyzhykKMRVH #hardware #reliability #reuse #verification
- Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.