# Vijay Ganesh

According to our database

Collaborative distances:

^{1}, Vijay Ganesh authored at least 90 papers between 1999 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2020

J. Symb. Comput., 2020

CoRR, 2020

Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks.

CoRR, 2020

CoRR, 2020

A nonexistence certificate for projective planes of order ten with weight 15 codewords.

Appl. Algebra Eng. Commun. Comput., 2020

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Proceedings of the Combinatorial Algorithms - 31st International Workshop, 2020

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.

Software and Systems Modeling, 2019

CoRR, 2019

Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT.

CoRR, 2019

CoRR, 2019

Ann. Math. Artif. Intell., 2019

Proceedings of the Runtime Verification - 19th International Conference, 2019

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract.

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

CoRR, 2018

The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability.

CoRR, 2018

ACM Commun. Comput. Algebra, 2018

Proceedings of Pragmatics of SAT 2015, 2018

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Proceedings of the Reachability Problems - 12th International Conference, 2018

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate.

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Proceedings of the Principles and Practice of Constraint Programming, 2018

Proceedings of the Principles and Practice of Constraint Programming, 2018

Proceedings of the Principles and Practice of Constraint Programming, 2018

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.

J. Autom. Reasoning, 2017

Z3str2: an efficient solver for strings, regular expressions, and length constraints.

Formal Methods Syst. Des., 2017

CoRR, 2017

CoRR, 2017

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017

Proceedings of the 39th International Conference on Software Engineering, 2017

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

Proceedings of the ARCADE 2017, 2017

2016

CoRR, 2016

Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion.

CoRR, 2016

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries.

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Dagstuhl Reports, 2015

CoRR, 2015

Proceedings of the 19th International Conference on Software Product Line, 2015

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.

Proceedings of the Hardware and Software: Verification and Testing, 2015

Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Dagstuhl Reports, 2014

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.

ACM Trans. Inf. Syst. Secur., 2013

(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.

CoRR, 2013

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.

ACM Trans. Softw. Eng. Methodol., 2012

CoRR, 2012

Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography

CoRR, 2012

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Proceedings of the 34th International Conference on Software Engineering, 2012

Proceedings of the Hardware and Software: Verification and Testing, 2012

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

CoRR, 2011

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

jFuzz: A Concolic Whitebox Fuzzer for Java.

Proceedings of the First NASA Formal Methods Symposium, 2009

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

ACM Trans. Inf. Syst. Secur., 2008

2007

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2003

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

1999

EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability.

Proceedings of the 1999 Design, 1999