Gogul Balakrishnan

Title: Innovations of Gogul Balakrishnan

Introduction

Gogul Balakrishnan is a notable inventor based in Plainsboro, NJ (US). He has made significant contributions to the field of computer programming and analysis, holding a total of 7 patents. His work focuses on enhancing program analysis methods through innovative techniques.

Latest Patents

One of his latest patents is titled "Donut domains—efficient non-convex domains for abstract interpretation." This invention introduces a computer-implemented program analysis method that employs a set of new abstract domains applicable to non-convex invariants. The method analyzes programs statically using abstract interpretation while considering non-convex structures, particularly in situations where an internal region of an unreachable state exists within a larger region of reachable states. The invention utilizes a new set of non-convex domains, known as donut domains, which are based on the concept of an outer convex region of reachable states and an inner region of unreachable states. This approach allows for the capture of non-convex properties by using convex regions and operations.

Another significant patent is the "Interprocedural exception method." This framework provides an interprocedural exception analysis and transformation for programming languages such as C++. It captures the control-flow induced by exceptions precisely and transforms the given computer program into an exception-free version that is suitable for static analysis, verification, and optimizations.

Career Highlights

Gogul has worked with prominent companies, including NEC Laboratories America, Inc. and NEC Corporation. His experience in these organizations has contributed to his expertise in computer programming and analysis.

Collaborations

Throughout his career, Gogul has collaborated with notable colleagues such as Aarti Gupta and Franjo Ivancic. Their joint efforts have further advanced the field of computer programming and analysis.

Conclusion

Gogul Balakrishnan's innovative contributions to computer programming and analysis are evident through his patents and collaborations. His work continues to influence the industry and enhance program analysis methods.