Sushant Dinesh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | H-Houdini: Scalable Invariant Learning. | Sushant Dinesh, Yongye Zhu, Christopher W. Fletcher |
| 2024 | SP | ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks. | Sushant Dinesh, Madhusudan Parthasarathy, Christopher W. Fletcher |
| 2022 | NDSS | SynthCT: Towards Portable Constant-Time Code. | Sushant Dinesh, Grant Garrett-Grossman, Christopher W. Fletcher |
| 2020 | PLDI | Scalable validation of binary lifters. | Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher |
| 2020 | SP | RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization. | Sushant Dinesh, Nathan Burow, Dongyan Xu, Mathias Payer |