Gogul Balakrishnan

According to our database1, Gogul Balakrishnan
  • authored at least 29 papers between 2004 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Scalable and scope-bounded software verification in Varvel.
Autom. Softw. Eng., 2015

2014
Environment-Sensitive Performance Tuning for Distributed Service Orchestration.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014

ARC++: effective typestate and lifetime dependency analysis.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
SETSUDŌ: perturbation-based testing framework for scalable distributed systems.
Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, 2013

Feedback-directed unit test generation for C/C++ using concolic execution.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.
Proceedings of the Compiler Construction - 21st International Conference, 2012

2011
DC2: A framework for scalable, scope-bounded software verification.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

BEST: A symbolic testing tool for predicting multi-threaded program failures.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Modeling and Analyzing the Interaction of C and C++ Strings.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

Interprocedural Exception Analysis for C++.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
WYSINWYX: What you see is not what you eXecute.
ACM Trans. Program. Lang. Syst., 2010

Scalable and precise program analysis at NEC.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Refining the control structure of loops using static analysis.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008
Analyzing Stripped Device-Driver Executables.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Improved Memory-Access Analysis for x86 Executables.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
A Next-Generation Platform for Analyzing Executables.
Proceedings of the Malware Detection, 2007

DIVINE: DIscovering Variables IN Executables.
Proceedings of the Verification, 2007

2006
Recency-Abstraction for Heap-Allocated Storage.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Intermediate-representation recovery from low-level code.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005
WYSINWYX: What You See Is Not What You eXecute.
Proceedings of the Verified Software: Theories, 2005

CodeSurfer/x86-A Platform for Analyzing x86 Executables.
Proceedings of the Compiler Construction, 14th International Conference, 2005

Extended Weighted Pushdown Systems.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Analyzing Memory Accesses in x86 Executables.
Proceedings of the Compiler Construction, 13th International Conference, 2004


  Loading...