Follow
Sandeep Dasgupta
Title
Cited by
Cited by
Year
A complete formal semantics of x86-64 user-level instruction set architecture
S Dasgupta, D Park, T Kasampalis, VS Adve, G Roşu
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
1002019
Scalable validation of binary lifters
S Dasgupta, S Dinesh, D Venkatesh, VS Adve, CW Fletcher
PLDI, 655–671, 2020
412020
Scalable Validation Of Binary Lifters
S Dasgupta
University Of Illinois at Urbana Champaign, 2020
412020
Precise shape analysis using field sensitivity
S Dasgupta, A Karkare
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1300-1307, 2012
72012
Semantics of x86-64 in K
S Dasgupta
32019
Heap dependence analysis for sequential programs
B Basak, S Dasgupta, A Karkare
Applications, Tools and Techniques on the Road to Exascale Computing, 99-106, 2012
32012
Towards Formalizing the x86-64 Instruction Decoder in K
AH Miranti, S Dasgupta, G Roşu
SpISA 2019: Workshop on Instruction Set Architecture Specification, 2019
12019
Partial Redundancy Elimination using Lazy Code Motion
S Dasgupta, T Gangwani
arXiv preprint arXiv:1905.08178, 2019
2019
Graph Coloring Using State Space Search
S Dasgupta, T Gangwani, M Yan, N Singh
2014
Mitigating Impact of Heterogeneity Across Power-constrained Nodes on Parallel Applications through Load Balancing
S Dasgupta, G Karthik R., O Sarood, A Langer
2014
Precise shape analysis using field sensitivity
S Dasgupta, A Karkare, VK Reddy
Innovations in Systems and Software Engineering 9 (2), 79-93, 2013
2013
GRI: Interpreter of a dynamic language for GRaph algorithms
S Dasgupta
The system can't perform the operation now. Try again later.
Articles 1–12