Gogul Balakrishnan
Gogul Balakrishnan
Verified email at
Cited by
Cited by
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
Analyzing memory accesses in x86 executables
G Balakrishnan, T Reps
Compiler Construction, 5-23, 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
CodeSurfer/x86—a platform for analyzing x86 executables
G Balakrishnan, R Gruian, T Reps, T Teitelbaum
Compiler Construction, 250-254, 2005
Divine: Discovering variables in executables
G Balakrishnan, T Reps
Verification, Model Checking, and Abstract Interpretation, 1-28, 2007
Recency-abstraction for heap-allocated storage
G Balakrishnan, T Reps
Static Analysis, 221-239, 2006
Improved memory-access analysis for x86 executables
T Reps, G Balakrishnan
Compiler Construction, 16-35, 2008
Learning and Evaluating Contextual Embedding of Source Code
A Kanade, P Maniatis, G Balakrishnan, K Shi
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
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
Computer Aided Verification, 434-448, 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
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
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
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
A next-generation platform for analyzing executables
T Reps, G Balakrishnan, J Lim, T Teitelbaum
Programming Languages and Systems, 212-229, 2005
Network Testing
F Ivancic, C Lumezanu, G Balakrishnan, W Dennis, A Gupta
US Patent App. 14/270,445, 2014
Analyzing stripped device-driver executables
G Balakrishnan, T Reps
Tools and Algorithms for the Construction and Analysis of Systems, 124-140, 2008
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
Interprocedural exception analysis for C++
P Prabhu, N Maeda, G Balakrishnan, F Ivančić, A Gupta
ECOOP 2011–Object-Oriented Programming, 583-608, 2011
Pre-trained contextual embedding of source code
A Kanade, P Maniatis, G Balakrishnan, K Shi
arXiv preprint arXiv:2001.00059, 2019
The system can't perform the operation now. Try again later.
Articles 1–20