Nate Deisinger

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 2

Top Topics

Achieve High Precision

Modeling Framework

Top Venues

Publications

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. FMCAD (2020)
Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM (2016)