| 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 | 92 | 2019 |
| Scalable validation of binary lifters S Dasgupta, S Dinesh, D Venkatesh, VS Adve, CW Fletcher PLDI, 655–671, 2020 | 30 | 2020 |
| Scalable Validation Of Binary Lifters S Dasgupta University Of Illinois at Urbana Champaign, 2020 | 30 | 2020 |
| Precise shape analysis using field sensitivity S Dasgupta, A Karkare Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1300-1307, 2012 | 7 | 2012 |
| Semantics of x86-64 in K S Dasgupta | 3 | 2019 |
| 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 | 3 | 2012 |
| 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 | 1 | 2019 |
| 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 | | |
Vikram AdveUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
