| Analyzing memory accesses in x86 executables G Balakrishnan, T Reps Compiler Construction, 5-23, 2004 | 589 | 2004 |
| 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 | 585 | 2008 |
| Learning and evaluating contextual embedding of source code A Kanade, P Maniatis, G Balakrishnan, K Shi International Conference on Machine Learning, 5110-5121, 2020 | 464 | 2020 |
| 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 | 392 | 2010 |
| W., Teitelbaum, T.: CodeSurfer/x86-A Platform for Analyzing x86 Executables G Balakrishnan, R Gruian, T Reps Proceedings of the International Conference on Compiler Construction, 2005 | 220 | 2005 |
| CodeSurfer/x86—a platform for analyzing x86 executables G Balakrishnan, R Gruian, T Reps, T Teitelbaum Compiler Construction, 250-254, 2005 | 220 | 2005 |
| Divine: Discovering variables in executables G Balakrishnan, T Reps Verification, Model Checking, and Abstract Interpretation, 1-28, 2007 | 169 | 2007 |
| Recency-abstraction for heap-allocated storage G Balakrishnan, T Reps Static Analysis, 221-239, 2006 | 149 | 2006 |
| Improved memory-access analysis for x86 executables T Reps, G Balakrishnan Compiler Construction, 16-35, 2008 | 103 | 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 | 89 | 2006 |
| Extended weighted pushdown systems A Lal, T Reps, G Balakrishnan Computer Aided Verification, 434-448, 2005 | 83 | 2005 |
| Network Testing F Ivancic, C Lumezanu, G Balakrishnan, W Dennis, A Gupta US Patent App. 14/270,445, 2014 | 74 | 2014 |
| 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 | 66* | 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 | 66 | 2005 |
| Pre-trained contextual embedding of source code A Kanade, P Maniatis, G Balakrishnan, K Shi arXiv preprint arXiv:2001.00059, 2019 | 65 | 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 | 57 | 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 | 55 | 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 | 52 | 2011 |
| A next-generation platform for analyzing executables T Reps, G Balakrishnan, J Lim, T Teitelbaum Malware Detection, 43-61, 2007 | 52 | 2007 |
| A next-generation platform for analyzing executables T Reps, G Balakrishnan, J Lim, T Teitelbaum Programming Languages and Systems, 212-229, 2005 | 52 | 2005 |
