Vijay Ganesh

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 130

Top Venues

CoRR

SAT

AAAI

Publications

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR (2024)
Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. CoRR (2024)
Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. CoRR (2023)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
On the Expressive Power of String Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals
Limits of CDCL Learning via Merge Resolution. Electron. Colloquium Comput. Complex. (2023)
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. CoRR (2023)
Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. CoRR (2023)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. 943 (2023)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Publisher Correction: Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. SAT (2023)
Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
Learning Shorter Redundant Clauses in SDCL Using MaxSAT. SAT (2023)
Fuat Can Beylunioglu, Mehrdad Pirnia, P. Robert Duimering, Vijay Ganesh
Robust Training for AC-OPF (Student Abstract). AAAI (2023)
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang
Learning Modulo Theories. CoRR (2023)
Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson
Grounding Neural Inference with Satisfiability Modulo Theories. NeurIPS (2023)
Zhengyu Li, Curtis Bright, Vijay Ganesh
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem. CoRR (2023)
Joel D. Day, Vijay Ganesh, Florin Manea
Formal Languages via Theories over Strings: An Overview of Some Recent Results. Bull. EATCS 140 (2023)
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. CoRR (2023)
Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks. IJCAI (2022)
Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh
Goose: A Meta-Solver for Deep Neural Network Verification. SMT (2022)
Zhengyu Li, Curtis Bright, Vijay Ganesh
An SC-Square Approach to the Minimum Kochen-Specker Problem. SC-Square@FLoC (2022)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
When satisfiability solving meets symbolic computation. Commun. ACM 65 (7) (2022)
Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411). Dagstuhl Reports 12 (10) (2022)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
Formal Languages via Theories over Strings. CoRR (2022)
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. SETTA (2022)
Vijay Ganesh, Sanjit A. Seshia, Somesh Jha
Machine learning and logic: a new frontier in artificial intelligence. Formal Methods Syst. Des. 60 (3) (2022)
Zhé Hóu, Vijay Ganesh, Jing Sun
Editorial. Innov. Syst. Softw. Eng. 18 (3) (2022)
Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. MARBLE (2022)
Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks. CoRR (2022)
Sébastien Bardin, Somesh Jha, Vijay Ganesh
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). Dagstuhl Reports 12 (7) (2022)
Vijay Ganesh
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). SC-Square@SIAM AG (2021)
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
Z3str4: A Multi-armed String Solver. FM (2021)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. 102 (2021)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical Boolean Formulas. SAT (2021)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. TACAS (2) (2021)
Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. CoRR (2021)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) (2021)
Gereon Kremer, Erika Ábrahám, Vijay Ganesh
On the proof complexity of MCSAT. CoRR (2021)
Laura Graves, Vineel Nagisetty, Vijay Ganesh
Amnesiac Machine Learning. AAAI (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical SAT Formulas. CoRR (2021)
Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh
Logic Guided Genetic Algorithms (Student Abstract). AAAI (2021)
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. FM (2021)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
A SAT-based Resolution of Lam's Problem. AAAI (2021)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR (2021)
Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. SMT (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
A nonexistence certificate for projective planes of order ten with weight 15 codewords. Appl. Algebra Eng. Commun. Comput. 31 (3-4) (2020)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT (2020)
Saeed Nejati, Vijay Ganesh
CDCL(Crypto) SAT Solvers for Cryptanalysis. CoRR (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
A SAT-based Resolution of Lam's Problem. CoRR (2020)
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers. CoRR (2020)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
A Length-aware Regular Expression SMT Solver. CoRR (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. CoRR (2020)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory 66 (12) (2020)
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. CP (2020)
Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh
Online Bayesian Moment Matching based SAT Solver Heuristics. ICML (2020)
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. SAT (2020)
Sebastian Johann Wetzel, Roger G. Melko, Joseph Scott, Maysum Panju, Vijay Ganesh
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks. CoRR (2020)
Laura Graves, Vineel Nagisetty, Vijay Ganesh
Amnesiac Machine Learning. CoRR (2020)
Joseph Scott, Federico Mora, Vijay Ganesh
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. VSTTE (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. IWOCA (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR (2020)
Joseph Scott, Maysum Panju, Vijay Ganesh
LGML: Logic Guided Machine Learning (Student Abstract). AAAI (2020)
Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh
Logic Guided Genetic Algorithms. CoRR (2020)
Laura Graves, Vineel Nagisetty, Joseph Scott, Vijay Ganesh
LogicGAN: Logic-guided Generative Adversarial Networks. CoRR (2020)
Joseph Scott, Federico Mora, Vijay Ganesh
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. SMT (2020)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. 100 (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. IJCAI (2020)
Joseph Scott, Maysum Panju, Vijay Ganesh
LGML: Logic Guided Machine Learning. CoRR (2020)
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
Effective problem solving using SAT solvers. CoRR (2019)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. CoRR (2019)
Reza Babaee, Vijay Ganesh, Sean Sedwards
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. RV (2019)
Saeed Nejati, Vijay Ganesh
CDCL(Crypto) SAT solvers for cryptanalysis. CASCON (2019)
Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI (2019)
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. CoRR (2019)
Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Softw. Syst. Model. 18 (2) (2019)
Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR (2019)
Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
Theory and practice of string solvers (invited talk abstract). ISSTA (2019)
Gereon Kremer, Erika Ábrahám, Vijay Ganesh
On the Proof Complexity of MCSAT. SC-square@SIAM AG (2019)
Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. 87 (4) (2019)
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. ISSRE (2019)
Yannik Potdevin, Dirk Nowotka, Vijay Ganesh
An Empirical Investigation of Randomized Defenses against Adversarial Attacks. CoRR (2019)
Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
Interpolating Strong Induction. CAV (2) (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR (2019)
Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
Interpolating Strong Induction. CoRR (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON (2019)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR (2019)
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
Effective Problem Solving Using SAT Solvers. MC (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra 52 (3) (2018)
Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. CP (2018)
Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh
Machine Learning-Based Restart Policy for CDCL SAT Solvers. SAT (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR (2018)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR (2018)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
StringFuzz: A Fuzzer for String Solvers. CAV (2) (2018)
Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR (2018)
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister
Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
The Effect of Structural Measures and Merges on SAT Solver Performance. CP (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
Learning-Sensitive Backdoors with Restarts. CP (2018)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI (2018)

Vijay Ganesh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vijay Ganesh