| WYSINWYX: What you see is not what you execute G Balakrishnan, T Reps, D Melski, T Teitelbaum Verified software: theories, tools, experiments, 202-213, 2008 | 551 | 2008 |
| Analyzing memory accesses in x86 executables G Balakrishnan, T Reps Compiler Construction, 5-23, 2004 | 548 | 2004 |
| Wysinwyx: What you see is not what you execute G Balakrishnan, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 23, 2010 | 360 | 2010 |
| Learning and evaluating contextual embedding of source code A Kanade, P Maniatis, G Balakrishnan, K Shi International Conference on Machine Learning, 5110-5121, 2020 | 225 | 2020 |
| CodeSurfer/x86—a platform for analyzing x86 executables G Balakrishnan, R Gruian, T Reps, T Teitelbaum Compiler Construction, 250-254, 2005 | 209 | 2005 |
| Divine: Discovering variables in executables G Balakrishnan, T Reps Verification, Model Checking, and Abstract Interpretation, 1-28, 2007 | 161 | 2007 |
| Recency-abstraction for heap-allocated storage G Balakrishnan, T Reps Static Analysis, 221-239, 2006 | 139 | 2006 |
| Improved memory-access analysis for x86 executables T Reps, G Balakrishnan Compiler Construction, 16-35, 2008 | 98 | 2008 |
| Intermediate-representation recovery from low-level code T Reps, G Balakrishnan, J Lim Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006 | 92 | 2006 |
| Extended weighted pushdown systems A Lal, T Reps, G Balakrishnan Computer Aided Verification, 434-448, 2005 | 82 | 2005 |
| Tool Papers I-Model Checking x86 Executables with CodeSurfer/x86 and WPDS G Balakrishnan, T Reps, N Kidd, A Lal, J Lim, D Melski, R Gruian, S Yong, ... Lecture Notes in Computer Science 3576, 158-163, 2005 | 63* | 2005 |
| Model checking x86 executables with CodeSurfer/x86 and WPDS++ G Balakrishnan, T Reps, N Kidd, A Lal, J Lim, D Melski, R Gruian, S Yong, ... Computer Aided Verification, 158-163, 2005 | 63 | 2005 |
| Pre-trained contextual embedding of source code A Kanade, P Maniatis, G Balakrishnan, K Shi arXiv preprint arXiv:2001.00059, 2019 | 56 | 2019 |
| Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution P Garg, F Ivancic, G Balakrishnan, N Maeda, A Gupta Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 54 | 2013 |
| SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement G Balakrishnan, S Sankaranarayanan, F Ivančić, O Wei, A Gupta Static Analysis, 238-254, 2008 | 51 | 2008 |
| A next-generation platform for analyzing executables T Reps, G Balakrishnan, J Lim, T Teitelbaum Programming Languages and Systems, 212-229, 2005 | 48 | 2005 |
| Network Testing F Ivancic, C Lumezanu, G Balakrishnan, W Dennis, A Gupta US Patent App. 14/270,445, 2014 | 46 | 2014 |
| Analyzing stripped device-driver executables G Balakrishnan, T Reps Tools and Algorithms for the Construction and Analysis of Systems, 124-140, 2008 | 45 | 2008 |
| Interprocedural exception analysis for C++ P Prabhu, N Maeda, G Balakrishnan, F Ivančić, A Gupta ECOOP 2011–Object-Oriented Programming, 583-608, 2011 | 43 | 2011 |
| There’s plenty of room at the bottom: Analyzing and verifying machine code T Reps, J Lim, A Thakur, G Balakrishnan, A Lal Computer Aided Verification, 41-56, 2010 | 40 | 2010 |
