Vijay Ganesh
Orcid: 0000000260292047Affiliations:
 Georgia Institute of Technology, Atlanta, GA, USA (since 2023)
 University of Waterloo, AI Institute, Waterloo, ON, Canada (20122023)
 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA (20072012)
 Stanford University, CA, USA (19982007, PhD 2007)
According to our database^{1},
Vijay Ganesh
authored at least 146 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
Theory Comput. Syst., June, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
AlphaMapleSAT: An MCTSbased CubeandConquer SAT Solver for Hard Combinatorial Problems.
CoRR, 2024
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories colocated with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024
Proceedings of the ThirtyEighth AAAI Conference on Artificial Intelligence, 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).
Proceedings of the ThirtyEighth AAAI Conference on Artificial Intelligence, 2024
A SAT Solver and Computer Algebra Attack on the Minimum KochenSpecker Problem (Student Abstract).
Proceedings of the ThirtyEighth AAAI Conference on Artificial Intelligence, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Int. J. Softw. Tools Technol. Transf., April, 2023
Proc. ACM Program. Lang., January, 2023
Towards more efficient methods for solving regularexpression heavy string constraints.
Theor. Comput. Sci., 2023
Electron. Colloquium Comput. Complex., 2023
Bull. EATCS, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
Proceedings of the Verified Software. Theories, Tools and Experiments, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the ThirtySeventh AAAI Conference on Artificial Intelligence, 2023
2022
Dagstuhl Reports, October, 2022
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291).
Dagstuhl Reports, July, 2022
Innov. Syst. Softw. Eng., 2022
Formal Methods Syst. Des., 2022
CoRR, 2022
Commun. ACM, 2022
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories colocated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Proceedings of the 7th SCSquare Workshop colocated with the Federated Logic Conference, 2022
Gas Gauge: A Security Analysis Tool for Smart Contract OutofGas Vulnerabilities.
Proceedings of the 3rd International Conference on Mathematical Research for Blockchain Economy, 2022
Proceedings of the ThirtyFirst International Joint Conference on Artificial Intelligence, 2022
2021
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.
J. Symb. Comput., 2021
CoRR, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the 6th SCSquare Workshop colocated with the SIAM Conference on Applied Algebraic Geometry, 2021
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2021, 2021
Proceedings of the Formal Methods  24th International Symposium, 2021
Proceedings of the Formal Methods  24th International Symposium, 2021
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
Proceedings of the Combinatorics on Words  13th International Conference, 2021
Proceedings of the Computer Aided Verification  33rd International Conference, 2021
Proceedings of the ThirtyFifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the ThirtyFifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the ThirtyFifth AAAI Conference on Artificial Intelligence, 2021
2020
IEEE Trans. Inf. Theory, 2020
J. Symb. Comput., 2020
CoRR, 2020
CoRR, 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 Software Verification  12th International Conference, 2020
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories colocated with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020
Abstract: BanditFuzz: A ReinforcementLearning based Performance Fuzzer for SMT Solvers.
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories colocated with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 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 TwentyNinth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the ThirtyFourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Beyond the WorstCase Analysis of Algorithms, 2020
2019
SMTIBEA: a hybrid multiobjective optimization algorithm for configuring large constrained software product lines.
Softw. Syst. Model., 2019
CoRR, 2019
Ann. Math. Artif. Intell., 2019
Proceedings of the 4th SCSquare Workshop colocated with the SIAM Conference on Applied Algebraic Geometry, 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 29th Annual International Conference on Computer Science and Software Engineering, 2019
Proceedings of the ThirtyThird 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 TwentySeventh 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 ThirtySecond AAAI Conference on Artificial Intelligence, 2018
2017
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason., 2017
Z3str2: an efficient solver for strings, regular expressions, and length constraints.
Formal Methods Syst. Des., 2017
CoRR, 2017
CoRR, 2017
Adaptive Restart and CEGARBased 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 colocated 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 StringNumber Conversion.
CoRR, 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation colocated 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
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
Proceedings of the TwentyFifth International Joint Conference on Artificial Intelligence, 2016
Combining static analysis and targeted symbolic execution for scalable bugfinding in application binaries.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016
Manifold: an SMTbased 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 ConflictDriven ClauseLearning 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 SearchSpace Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.
Proceedings of the Computer Aided Verification  27th International Conference, 2015
2014
Dagstuhl Reports, 2014
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2014, 2014
2013
Mohawk: AbstractionRefinement and BoundEstimation 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 contextfree 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
PhD thesis, 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 ComputerAided Design, 4th International Conference, 2002
1999
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability.
Proceedings of the 1999 Design, 1999