"...There is neither happiness nor misfortune in this
world. There is merely a comparison between one state and another, nothing
more. - Edmond Dantès"
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.
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