Balachandra Mirla

According to our database, Balachandra Mirla authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Improved device driver reliability through hardware verification reuse.

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Improved Device Driver Reliability Through Verification Reuse.

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010