Gogul Balakrishnan
Google (United States)(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Software Reliability and Analysis Research, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → Analyzing Memory Accesses in x86 Executables(2004)370 cited
- → WYSINWYX(2010)271 cited
- → Learning and Evaluating Contextual Embedding of Source Code(2019)156 cited
- → WYSINWYX: What You See Is Not What You eXecute(2008)153 cited
- → CodeSurfer/x86—A Platform for Analyzing x86 Executables(2005)141 cited
- → Recency-Abstraction for Heap-Allocated Storage(2006)109 cited
- → DIVINE: DIscovering Variables IN Executables(2007)107 cited
- → Improved Memory-Access Analysis for x86 Executables(2008)70 cited
- → Extended Weighted Pushdown Systems(2005)69 cited
- → Intermediate-representation recovery from low-level code(2006)63 cited