"...There is neither happiness nor misfortune in this
world. There is merely a comparison between one state and another, nothing
more. - Edmond Dantès"
NEC Laboratories America, Inc.
4 Independence Way, Ste 200
Princeton, NJ 08540.
I am 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