Publications

Ph.D. Dissertation (University of Illinois at Urbana Champaign) advised by Vikram S. Adve

Scalable Validation Of Binary Lifters
by Sandeep Dasgupta. [PDF] [URL] [BIB]

Conferences

• 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] [PPT] [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.
  [PDF] [BIB] [PPT] [SpISA'19]

• 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]

Invited Talks

• The K Framework, DPA 2019
  by Sandeep Dasgupta, in Workshop on Declarative Program Analysis (DPA).
  [PPT] [BIB] [DPA'19]

Posters

• A Complete Formal Semantics of User-Level ISA, Office of Naval Research (ONR), Total Platform Cyber Protection Program Meet, 2019
  by Sandeep Dasgupta & Vikram S. Adve
  [PDF]

• Binary Decompilation to LLVM IR, LLVM Developers' Meeting, 2016
  by Sandeep Dasgupta, Joshua Cranmer, Edward Schwartz and Vikram S. Adve
  [PDF] [LLVM Dev Meet'16]

• 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
  [PDF] [APLAS'10]

Services

• PC Member, Programming Language Design and Implementation (PLDI 2021) [PLDI 2021]
• Reviewer, Journal of Automated Reasoning (JARS) [JARS 2020]
• Sub-reviewer, The 30th International Conference on Concurrency Theory [CONCUR 2019]
• Sub-reviewer, Workshop on Instruction Set Architecture Specification [SpISA 2019]