Follow
Gogul Balakrishnan
Gogul Balakrishnan
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Analyzing memory accesses in x86 executables
G Balakrishnan, T Reps
Compiler Construction, 5-23, 2004
5772004
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
5692008
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
3732010
Learning and evaluating contextual embedding of source code
A Kanade, P Maniatis, G Balakrishnan, K Shi
International Conference on Machine Learning, 5110-5121, 2020
3702020
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
2142005
CodeSurfer/x86—a platform for analyzing x86 executables
G Balakrishnan, R Gruian, T Reps, T Teitelbaum
Compiler Construction, 250-254, 2005
2142005
Divine: Discovering variables in executables
G Balakrishnan, T Reps
Verification, Model Checking, and Abstract Interpretation, 1-28, 2007
1662007
Recency-abstraction for heap-allocated storage
G Balakrishnan, T Reps
Static Analysis, 221-239, 2006
1402006
Improved memory-access analysis for x86 executables
T Reps, G Balakrishnan
Compiler Construction, 16-35, 2008
1002008
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
922006
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
Computer Aided Verification, 434-448, 2005
832005
Network Testing
F Ivancic, C Lumezanu, G Balakrishnan, W Dennis, A Gupta
US Patent App. 14/270,445, 2014
692014
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
65*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
652005
Pre-trained contextual embedding of source code
A Kanade, P Maniatis, G Balakrishnan, K Shi
arXiv preprint arXiv:2001.00059, 2019
592019
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
562013
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
532008
A next-generation platform for analyzing executables
T Reps, G Balakrishnan, J Lim, T Teitelbaum
Malware Detection, 43-61, 2007
522007
A next-generation platform for analyzing executables
T Reps, G Balakrishnan, J Lim, T Teitelbaum
Programming Languages and Systems, 212-229, 2005
522005
Interprocedural exception analysis for C++
P Prabhu, N Maeda, G Balakrishnan, F Ivančić, A Gupta
ECOOP 2011–Object-Oriented Programming, 583-608, 2011
492011
The system can't perform the operation now. Try again later.
Articles 1–20