Sandeep Dasgupta

According to our database, Sandeep Dasgupta authored at least 7 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Scalable validation of binary lifters

Sandeep Dasgupta

PhD thesis, 2020

Scalable validation of binary lifters.

Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Partial Redundancy Elimination using Lazy Code Motion.

Sandeep Dasgupta, Tanmay Gangwani

CoRR, 2019

A complete formal semantics of x86-64 user-level instruction set architecture.

Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2013

Precise shape analysis using field sensitivity.

Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy

Innov. Syst. Softw. Eng., 2013

2012

Precise shape analysis using field sensitivity.

Sandeep Dasgupta, Amey Karkare

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Heap Dependence Analysis for Sequential Programs.

Barnali Basak, Sandeep Dasgupta, Amey Karkare

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011