Sandeep Dasgupta

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 3

Top Topics

Medical Imaging

Shape Recognition

Formal Semantics

Top Venues

Innov. Syst. Softw. Eng.

Publications

Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher
Scalable validation of binary lifters. PLDI (2020)
Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu
A complete formal semantics of x86-64 user-level instruction set architecture. PLDI (2019)
Sandeep Dasgupta, Tanmay Gangwani
Partial Redundancy Elimination using Lazy Code Motion. CoRR (2019)
Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy
Precise shape analysis using field sensitivity. Innov. Syst. Softw. Eng. 9 (2) (2013)
Sandeep Dasgupta, Amey Karkare
Precise shape analysis using field sensitivity. SAC (2012)
Barnali Basak, Sandeep Dasgupta, Amey Karkare
Heap Dependence Analysis for Sequential Programs. PARCO (2011)