Sandeep Dasgupta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PLDI | Scalable validation of binary lifters. | Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher |
| 2019 | PLDI | A complete formal semantics of x86-64 user-level instruction set architecture. | Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
| 2012 | SAC | Precise shape analysis using field sensitivity. | Sandeep Dasgupta, Amey Karkare |