Apoorv Upreti

According to our database, Apoorv Upreti authored at least 1 paper in 2016.

Collaborative distances:

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

2016

CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.

Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016