Inventor · disambiguated record
Gogul Balakrishnan
Also filed as: BALAKRISHNAN GOGUL
7 granted patents·7 pending applications·47 citations·filing 2008–2014
82Inventor score
Files withNEC LAB AMERICA INC8SANKARANARAYANAN SRIRAM2BALAKRISHNAN GOGUL1GHORBAL KHALIL1IVANCIC FRANJO1
Top patents by PatentIndex Score
14 records- 0186US8707278B2Embedding class hierarchy into object models for multiple class inheritanceBALAKRISHNAN GOGUL·Filed 2011·Granted Apr 22, 2014·17 cites·19 claims
- 0285US8402440B2Program verification through symbolic enumeration of control path programsSANKARANARAYANAN SRIRAM·Filed 2009·Granted Mar 19, 2013·17 cites·26 claims
- 0372US8719802B2Interprocedural exception methodMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·22 claims
- 0471US8365152B2Path-sensitive analysis through infeasible-path detection and syntactic language refinementNEC LAB AMERICA INC·Filed 2008·Granted Jan 29, 2013·5 cites·12 claims
- 0563US8601459B2Control structure refinement of loops using static analysisNEC LAB AMERICA INC·Filed 2013·Granted Dec 3, 2013·1 cites·12 claims
- 0658US8719790B2Donut domains—efficient non-convex domains for abstract interpretationGHORBAL KHALIL·Filed 2012·Granted May 6, 2014·2 cites·15 claims
- 0747US2009292941A1Proof-guided error diagnosis (ped) by triangulation of program error causesNEC LAB AMERICA INC·Filed 2008·Application pending·0 cites
- 0846US8522226B2Control structure refinement of loops using static analysisSANKARANARAYANAN SRIRAM·Filed 2010·Granted Aug 27, 2013·0 cites·10 claims
- 0945US2014289712A1Effective Lifetime Dependency Analysis and Typestate AnalysisNEC LAB AMERICA INC·Filed 2014·Application pending·0 cites
- 1044US2014019946A1Layered decomposition for scalable static data race detection of concurrent programsNEC LAB AMERICA INC·Filed 2013·Application pending·0 cites
- 1143US2015081243A1Setsudo: Pertubation-based Testing Framework for Scalable Distributed SystemsNEC LAB AMERICA INC·Filed 2014·Application pending·0 cites
- 1242US2013091495A1Feedback-directed random class unit test generation using symbolic executionNEC LAB AMERICA INC·Filed 2012·Application pending·0 cites
- 1341US2014337674A1Network TestingNEC LAB AMERICA INC·Filed 2014·Application pending·0 cites
- 1438US2012233584A1Analysis of Interactions of C and C++ StringsIVANCIC FRANJO·Filed 2012·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →