Nate Deisinger

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2016
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016


  Loading...