A Scalable Validation of Binary Lifters, PLDI 2020
by Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve & Christopher W. Fletcher., accepted at Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ‘20), June 15–20, 2020, London, UK.
[PDF] [DOI] [BIB] [VID] [PLDI’20]
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture, PLDI 2019
by Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve & Grigore Rosu., in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ‘19), June 22–26, 2019, Phoenix, AZ, USA.
[PDF] [DOI] [BIB] [PPT] [VID] [PLDI’19]
Precise shape analysis using field sensitivity, SAC 2012
by Sandeep Dasgupta & Amey Karkare., in Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pages 1300-1307, New York, USA. ACM.
[PDF] [DOI] [BIB] [SAC’12]
Heap Dependence Analysis for Sequential Programs, ParCo 2011
by Barnali Basak, Sandeep Dasgupta & Amey Karkare., International Conference on Parallel Computing (ParCo 2011), Ghent, Belgium, August 30 - September 2, 2011.
[PDF] [DOI] [BIB] [ParCo’11]
Journals & Workshops
Formalizing x86-64 Instruction Decoder in K, SpISA 2019
by Andrew H. Miranti, Sandeep Dasgupta & Grigore Rosu., in Workshop on Instruction Set Architecture Specification, Portland OR, USA.
Precise shape analysis using field sensitivity, ISSE 2013
by Sandeep Dasgupta, Amey Karkare & P. Vinay K. Reddy., in Innovations in Systems and Software Engineering (ISSE), a NASA journal.
[PDF] [DOI] [BIB] [ISSE’13]
- The K Framework, DPA 2019
by Sandeep Dasgupta, in Workshop on Declarative Program Analysis (DPA).
Dependence Analysis for Parallelization of Sequential Programs, APLAS 2010
by Sandeep Dasgupta, Barnali Basak & Amey Karkare., the 8th ASIAN Symposium on Programming Languages & Systems, APLAS 2010