Vijay Ganesh

According to our database, Vijay Ganesh authored at least 78 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Publisher Correction: Algorithm selection for SMT.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Int. J. Softw. Tools Technol. Transf., December, 2023

Algorithm selection for SMT.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Int. J. Softw. Tools Technol. Transf., April, 2023

On the Expressive Power of String Constraints.

Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea

Proc. ACM Program. Lang., January, 2023

2022

Editorial.

Zhé Hóu, Vijay Ganesh, Jing Sun

Innov. Syst. Softw. Eng., 2022

Machine learning and logic: a new frontier in artificial intelligence.

Vijay Ganesh, Sanjit A. Seshia, Somesh Jha

Formal Methods Syst. Des., 2022

When satisfiability solving meets symbolic computation.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

Commun. ACM, 2022

Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities.

Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh

Proceedings of the 3rd International Conference on Mathematical Research for Blockchain Economy, 2022

A Solver + Gradient Descent Training Algorithm for Deep Neural Networks.

Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

J. Symb. Comput., 2021

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

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

On the Hierarchical Community Structure of Practical Boolean Formulas.

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh

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

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.

Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

Z3str4: A Multi-armed String Solver.

Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Proceedings of the Combinatorics on Words - 13th International Conference, 2021

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

IEEE Trans. Inf. Theory, 2020

Applying computer algebra systems with SAT solvers to the Williamson conjecture.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

J. Symb. Comput., 2020

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

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh

Appl. Algebra Eng. Commun. Comput., 2020

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers.

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the Software Verification - 12th International Conference, 2020

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon

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

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.

Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh

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

Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

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

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

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

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers.

Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

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

Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu

Softw. Syst. Model., 2019

The SAT+CAS method for combinatorial search with applications to best matrices.

Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh

Ann. Math. Artif. Intell., 2019

Accelerated Learning of Predictive Runtime Monitors for Rare Failure.

Reza Babaee, Vijay Ganesh, Sean Sedwards

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

Effective Problem Solving Using SAT Solvers.

Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh

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

Theory and practice of string solvers (invited talk abstract).

Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh

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.

William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh

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

Interpolating Strong Induction.

Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel

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

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.

Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh

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

2018

The SAT+CAS paradigm and the Williamson conjecture.

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh

ACM Commun. Comput. Algebra, 2018

Machine Learning-Based Restart Policy for CDCL SAT Solvers.

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh

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

The Satisfiability of Word Equations: Decidable and Undecidable Theories.

Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka

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

Enumeration of Complex Golay Pairs via Programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

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.

Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

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

Learning-Sensitive Backdoors with Restarts.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.

Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

The Proof Complexity of SMT Solvers.

Robert Robere, Antonina Kolokolova, Vijay Ganesh

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

StringFuzz: A Fuzzer for String Solvers.

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

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

2017

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

Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh

J. Autom. Reason., 2017

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

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang

Formal Methods Syst. Des., 2017

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

Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh

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

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.

Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh

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.

Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

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

A solver for a theory of string and bit-vectors.

Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp

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

Z3str3: A string solver with theory-aware heuristics.

Murphy Berzish, Vijay Ganesh, Yunhui Zheng

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

Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.

Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh

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

SC-square: when Satisfiability Checking and Symbolic Computation join forces.

Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler

Proceedings of the ARCADE 2017, 2017

2016

Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.

Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki

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

Learning Rate Based Branching Heuristic for SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki

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

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.

Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

SAT-based analysis of large real-world feature models is easy.

Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman

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

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki

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

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

Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki

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

Short Paper: The Meaning of Attack-Resistant Systems.

Vijay Ganesh, Sebastian Banescu, Martín Ochoa

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.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang

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

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

Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Impact of Community Structure on SAT Solver Performance.

Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon

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

2013

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

Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin

ACM Trans. Inf. Syst. Secur., 2013

Z3-str: a z3-based string solver for web application analysis.

Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh

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.

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

ACM Trans. Softw. Eng. Methodol., 2012

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem.

Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama

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

Automatic input rectification.

Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard

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

Word Equations with Length Constraints: What's Decidable?

Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard

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

2011

Automatic error finding in access-control policies.

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin

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

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.

Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

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

2009

HAMPI: a solver for string constraints.

Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

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

Taint-based directed whitebox fuzzing.

Vijay Ganesh, Tim Leek, Martin C. Rinard

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

2008

EXE: Automatically Generating Inputs of Death.

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler

ACM Trans. Inf. Syst. Secur., 2008

2007

Decision procedures for bit-vectors, arrays and integers.

Vijay Ganesh

PhD thesis, 2007

A Decision Procedure for Bit-Vectors and Arrays.

Vijay Ganesh, David L. Dill

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

2003

An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.

Sergey Berezin, Vijay Ganesh, David L. Dill

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.

Vijay Ganesh, Sergey Berezin, David L. Dill

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

1999

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

Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau

Proceedings of the 1999 Design, 1999