Balachandra Mirla

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved device driver reliability through hardware verification reuse. ASPLOS (2011)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved Device Driver Reliability Through Verification Reuse. HotDep (2010)