 |
"...There is neither happiness nor misfortune in this
world. There is merely a comparison between one state and another, nothing
more. - Edmond Dantès" Gogul Balakrishnan, Google, Inc. 1600 Amphitheatre Parkway, Mountain View, CA 94043. |
Brief Bio: I am a staff engineer at Google, where I work on using formal methods for privacy preserving AI. Until recently, I was working as part of the exciting Swift for TensorFlow project. Previously, I led a team that develops static analysis tools to improve the security of Android Apps. Before that I was an engineer at Facebook, and a research staff member in the Systems Analysis and Verification (SAV) group at NEC Laboratories America, Inc., Princeton, NJ. I got my Ph.D in Computer Science from the University of Wisconsin-Madison. I went to the College of Engineering, Guindy for my undergraduate degree. I am from Pollachi, a small and lively town in Tamil Nadu, India. Of late, I have taken a liking to photography.
Recent Publications
-
P. Garg, F. Ivancic, G. Balakrishnan, N. Maeda, and A. Gupta,
Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution,
In Intl. Conf. on Software Engineering (ICSE), 2013.
-
J. Yang, G. Balakrishnan, N. Maeda, F. Ivancic, A. Gupta, N. Sinha, S. Sankaranarayanan, and N. Sharma,
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis,
In Intl. Conf. on Compiler Construction (CC), 2012.
-
K. Ghorbal, F. Ivancic, G. Balakrishnan, N. Maeda, and A. Gupta,
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation,
In Intl. Conf. on Verification Model Checking and Abstract Interpretation (VMCAI), 2012.
-
P. Prabhu, N. Maeda, G. Balakrishnan, F. Ivancic, and A. Gupta,
Interprocedural Exception Analysis for C++,
In European Conf. on Object Oriented Programming (ECOOP), 2011.
-
G. Balakrishnan, N. Maeda, S. Sankaranarayanan, F. Ivancic, A. Gupta, and R. Pothengil,
Modeling and Analyzing the Interaction of C and C++ Strings,
In FoVeOOS, 2011.
-
F. Ivancic, G. Balakrishnan, A. Gupta, S. Sankaranarayanan, N. Maeda, H. Tokuoka, T. Imoto, and Y. Miyazaki,
DC2: A framework for scalable, scope-bounded software verification,
In Intl. Conf. on Automated Software Engineering (ASE), 2011.
- Complete List