Gogul Balakrishnan
Gogul Balakrishnan
Verified email at google.com
Title
Cited by
Cited by
Year
Analyzing memory accesses in x86 executables
G Balakrishnan, T Reps
Compiler Construction, 5-23, 2004
4852004
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
4802008
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
2902010
CodeSurfer/x86—a platform for analyzing x86 executables
G Balakrishnan, R Gruian, T Reps, T Teitelbaum
Compiler Construction, 250-254, 2005
1852005
Divine: Discovering variables in executables
G Balakrishnan, T Reps
Verification, Model Checking, and Abstract Interpretation, 1-28, 2007
1492007
Recency-abstraction for heap-allocated storage
G Balakrishnan, T Reps
Static Analysis, 221-239, 2006
1272006
Improved memory-access analysis for x86 executables
T Reps, G Balakrishnan
Compiler Construction, 16-35, 2008
902008
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
892006
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
Computer Aided Verification, 434-448, 2005
852005
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
59*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
592005
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
512008
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
482013
A next-generation platform for analyzing executables
T Reps, G Balakrishnan, J Lim, T Teitelbaum
Programming Languages and Systems, 212-229, 2005
452005
Analyzing stripped device-driver executables
G Balakrishnan, T Reps
Tools and Algorithms for the Construction and Analysis of Systems, 124-140, 2008
442008
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
412010
Network Testing
F Ivancic, C Lumezanu, G Balakrishnan, W Dennis, A Gupta
US Patent App. 14/270,445, 2014
362014
Interprocedural exception analysis for C++
P Prabhu, N Maeda, G Balakrishnan, F Ivančić, A Gupta
ECOOP 2011–Object-Oriented Programming, 583-608, 2011
332011
Refining the control structure of loops using static analysis
G Balakrishnan, S Sankaranarayanan, F Ivančić, A Gupta
Proceedings of the seventh ACM international conference on Embedded software …, 2009
312009
Program verification through symbolic enumeration of control path programs
S Sankaranarayanan, F Ivancic, WR Harris, A Gupta, G Balakrishnan
US Patent 8,402,440, 2013
272013
The system can't perform the operation now. Try again later.
Articles 1–20