Nate Deisinger

According to our database, Nate Deisinger authored at least 2 papers between 2016 and 2020.

Collaborative distances:

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

2020

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

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