default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVijay Ganesh 0001
Person information
- affiliation (since 2023): Georgia Institute of Technology, Atlanta, GA, USA
- affiliation (2012-2023): University of Waterloo, AI Institute, Waterloo, ON, Canada
- affiliation (2007-2012): Massachusetts Institute of Technology (MIT), Cambridge, MA, USA
- affiliation (1998-2007, PhD 2007): Stanford University, CA, USA
2020 – today
- 2025
[c101]Piyush Jha, Arnav Arora, Vijay Ganesh:
LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract). AAAI 2025: 29393-29395- [c100]Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh:
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). AAAI 2025: 29426-29427 - [i65]Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh:
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. CoRR abs/2502.06055 (2025) - [i64]Sanjif Shanmugavelu, Mathieu Taillefumier, Christopher Culver, Vijay Ganesh, Oscar R. Hernandez, Ada Sedova:
Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability. CoRR abs/2503.17173 (2025) - 2024
- [j21]Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea:
A Closer Look at the Expressive Power of Logics Based on Word Equations. Theory Comput. Syst. 68(3): 322-379 (2024) - [c99]Conor Duggan, Zhengyu Li
, Curtis Bright, Vijay Ganesh:
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). AAAI 2024: 23480-23481 - [c98]Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh:
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). AAAI 2024: 23521-23522 - [c97]Zhengyu Li, Curtis Bright, Vijay Ganesh:
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). AAAI 2024: 23559-23560 - [c96]Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh:
CountChain: A Decentralized Oracle Network for Counting Systems. Blockchain 2024: 324-331 - [c95]Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh:
CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution. ECAI 2024: 4011-4018 - [c94]Zhengyu Li, Curtis Bright, Vijay Ganesh:
A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem. IJCAI 2024: 1898-1906 - [c93]Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh:
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. IJCAI 2024: 1907-1915 - [c92]Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh:
AdChain: Decentralized Header Bidding. MARBLE 2024: 265-283 - [c91]Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh:
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV 2024: 75 - [e6]Arie Gurfinkel, Vijay Ganesh:
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14681, Springer 2024, ISBN 978-3-031-65626-2 [contents] - [e5]Arie Gurfinkel, Vijay Ganesh:
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14682, Springer 2024, ISBN 978-3-031-65629-3 [contents] - [e4]Arie Gurfinkel, Vijay Ganesh:
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14683, Springer 2024, ISBN 978-3-031-65632-3 [contents] - [i63]Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh:
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. CoRR abs/2401.13770 (2024) - [i62]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 abs/2401.17159 (2024) - [i61]Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh:
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. CoRR abs/2404.03753 (2024) - [i60]Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh:
RLSF: Reinforcement Learning via Symbolic Feedback. CoRR abs/2405.16661 (2024) - [i59]Sam Buss, Jonathan Chung, Vijay Ganesh, Albert Oliveras:
Extended Resolution Clause Learning via Dual Implication Points. CoRR abs/2406.14190 (2024) - [i58]Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle, M. Anwar Hasan, Vijay Ganesh:
CountChain: A Decentralized Oracle Network for Counting Systems. CoRR abs/2409.11592 (2024) - [i57]Leyan Pan, Vijay Ganesh, Jacob D. Abernethy, Chris Esposo, Wenke Lee:
Can Transformers Reason Logically? A Study in SAT Solving. CoRR abs/2410.07432 (2024) - [i56]Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh:
AdChain: Decentralized Header Bidding. CoRR abs/2410.16141 (2024) - [i55]Piyush Jha, Arnav Arora, Vijay Ganesh:
LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs. CoRR abs/2411.08862 (2024) - 2023
- [j20]Joel D. Day, Vijay Ganesh, Florin Manea:
Formal Languages via Theories over Strings: An Overview of Some Recent Results. Bull. EATCS 140 (2023) - [j19]Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea:
On the Expressive Power of String Constraints. Proc. ACM Program. Lang. 7(POPL): 278-308 (2023) - [j18]Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh:
Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25(2): 219-239 (2023) - [j17]Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh:
Publisher Correction: Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25(5): 799-800 (2023) - [j16]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: 50-72 (2023) - [c90]Fuat Can Beylunioglu, Mehrdad Pirnia, P. Robert Duimering, Vijay Ganesh:
Robust Training for AC-OPF (Student Abstract). AAAI 2023: 16162-16163 - [c89]Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson:
Grounding Neural Inference with Satisfiability Modulo Theories. NeurIPS 2023 - [c88]Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh:
Learning Shorter Redundant Clauses in SDCL Using MaxSAT. SAT 2023: 18:1-18:17 - [c87]Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh:
Limits of CDCL Learning via Merge Resolution. SAT 2023: 27:1-27:19 - [c86]Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh:
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE 2023: 31-43 - [i54]Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang:
Learning Modulo Theories. CoRR abs/2301.11435 (2023) - [i53]Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh:
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. CoRR abs/2304.01826 (2023) - [i52]Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh:
Limits of CDCL Learning via Merge Resolution. CoRR abs/2304.09422 (2023) - [i51]Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh:
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. CoRR abs/2305.12534 (2023) - [i50]Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh:
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. CoRR abs/2306.06755 (2023) - [i49]Zhengyu Li, Curtis Bright, Vijay Ganesh:
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem. CoRR abs/2306.13319 (2023) - [i48]Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals:
Limits of CDCL Learning via Merge Resolution. Electron. Colloquium Comput. Complex. TR23 (2023) - 2022
- [j15]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
When satisfiability solving meets symbolic computation. Commun. ACM 65(7): 64-72 (2022) - [j14]Vijay Ganesh, Sanjit A. Seshia, Somesh Jha:
Machine learning and logic: a new frontier in artificial intelligence. Formal Methods Syst. Des. 60(3): 426-451 (2022) - [j13]Zhé Hóu, Vijay Ganesh, Jing Sun:
Editorial. Innov. Syst. Softw. Eng. 18(3): 333-334 (2022) - [c85]Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh:
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks. IJCAI 2022: 1766-1773 - [c84]Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh:
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. MARBLE 2022: 143-167 - [c83]Zhengyu Li, Curtis Bright, Vijay Ganesh:
An SC-Square Approach to the Minimum Kochen-Specker Problem. SC-Square@FLoC 2022: 55-66 - [c82]Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh:
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. SETTA 2022: 227-233 - [c81]Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh:
Goose: A Meta-Solver for Deep Neural Network Verification. SMT 2022: 99-113 - [d1]Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh:
MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers. Zenodo, 2022
- [i47]Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea:
Formal Languages via Theories over Strings. CoRR abs/2205.00475 (2022) - [i46]Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh:
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks. CoRR abs/2207.03264 (2022) - [i45]Sébastien Bardin, Somesh Jha, Vijay Ganesh:
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). Dagstuhl Reports 12(7): 80-111 (2022) - [i44]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): 84-105 (2022) - 2021
- [j12]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: 153-172 (2021) - [c80]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
A SAT-based Resolution of Lam's Problem. AAAI 2021: 3669-3676 - [c79]Laura Graves, Vineel Nagisetty, Vijay Ganesh:
Amnesiac Machine Learning. AAAI 2021: 11516-11524 - [c78]Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh:
Logic Guided Genetic Algorithms (Student Abstract). AAAI 2021: 15753-15754 - [c77]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: 289-312 - [c76]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: 50-64 - [c75]Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh:
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. FM 2021: 103-121 - [c74]Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh:
Z3str4: A Multi-armed String Solver. FM 2021: 389-406 - [c73]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: 359-376 - [c72]Vijay Ganesh:
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). SC-Square@SIAM AG 2021: 17 - [c71]Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh:
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. TACAS (2) 2021: 303-325 - [e3]Zhe Hou, Vijay Ganesh:
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings. Lecture Notes in Computer Science 12971, Springer 2021, ISBN 978-3-030-88884-8 [contents] - [i43]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 abs/2103.14992 (2021) - [i42]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 abs/2105.07220 (2021) - [i41]Gereon Kremer, Erika Ábrahám, Vijay Ganesh:
On the proof complexity of MCSAT. CoRR abs/2109.01585 (2021) - [i40]Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh:
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. CoRR abs/2112.14771 (2021) - 2020
- [j11]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): 195-213 (2020) - [j10]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. 100: 187-209 (2020) - [j9]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory 66(12): 7739-7751 (2020) - [c70]Joseph Scott, Maysum Panju, Vijay Ganesh:
LGML: Logic Guided Machine Learning (Student Abstract). AAAI 2020: 13909-13910 - [c69]Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh:
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. CP 2020: 899-916 - [c68]Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh:
Online Bayesian Moment Matching based SAT Solver Heuristics. ICML 2020: 2710-2719 - [c67]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: 1460-1466 - [c66]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: 97-111 - [c65]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: 11-27 - [c64]Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh:
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. SAT 2020: 233-249 - [c63]Joseph Scott, Federico Mora, Vijay Ganesh:
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. SMT 2020: 61 - [c62]Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh:
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. SMT 2020: 62 - [c61]Joseph Scott, Federico Mora, Vijay Ganesh:
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. VSTTE 2020: 68-86 - [p1]Vijay Ganesh, Moshe Y. Vardi:
On the Unreasonable Effectiveness of SAT Solvers. Beyond the Worst-Case Analysis of Algorithms 2020: 547-566 - [i39]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR abs/2001.11973 (2020) - [i38]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 abs/2001.11974 (2020) - [i37]Laura Graves, Vineel Nagisetty, Joseph Scott, Vijay Ganesh:
LogicGAN: Logic-guided Generative Adversarial Networks. CoRR abs/2002.10438 (2020) - [i36]Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh:
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers. CoRR abs/2003.02323 (2020) - [i35]Sebastian Johann Wetzel, Roger G. Melko, Joseph Scott, Maysum Panju, Vijay Ganesh:
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks. CoRR abs/2003.04299 (2020) - [i34]Saeed Nejati, Vijay Ganesh:
CDCL(Crypto) SAT Solvers for Cryptanalysis. CoRR abs/2005.13415 (2020) - [i33]Joseph Scott, Maysum Panju, Vijay Ganesh:
LGML: Logic Guided Machine Learning. CoRR abs/2006.03626 (2020) - [i32]Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh:
A Length-aware Regular Expression SMT Solver. CoRR abs/2010.07253 (2020) - [i31]Laura Graves, Vineel Nagisetty, Vijay Ganesh:
Amnesiac Machine Learning. CoRR abs/2010.10981 (2020) - [i30]Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh:
Logic Guided Genetic Algorithms. CoRR abs/2010.11328 (2020) - [i29]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
A SAT-based Resolution of Lam's Problem. CoRR abs/2012.04715 (2020)
2010 – 2019
- 2019
- [j8]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): 321-342 (2019) - [j7]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): 1447-1466 (2019) - [c60]Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI 2019: 1435-1442 - [c59]Saeed Nejati, Vijay Ganesh:
CDCL(Crypto) SAT solvers for cryptanalysis. CASCON 2019: 311-316 - [c58]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON 2019: 323-328 - [c57]Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel:
Interpolating Strong Induction. CAV (2) 2019: 367-385 - [c56]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: 456-462 - [c55]Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh:
Theory and practice of string solvers (invited talk abstract). ISSTA 2019: 6-7 - [c54]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh:
Effective Problem Solving Using SAT Solvers. MC 2019: 205-219 - [c53]Reza Babaee, Vijay Ganesh, Sean Sedwards:
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. RV 2019: 111-128 - [c52]Gereon Kremer, Erika Ábrahám, Vijay Ganesh:
On the Proof Complexity of MCSAT. SC-square@SIAM AG 2019 - [i28]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR abs/1905.00267 (2019) - [i27]Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel:
Interpolating Strong Induction. CoRR abs/1906.01583 (2019) - [i26]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh:
Effective problem solving using SAT solvers. CoRR abs/1906.06251 (2019) - [i25]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR abs/1907.04408 (2019) - [i24]Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR abs/1907.04987 (2019) - [i23]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 abs/1907.11981 (2019) - [i22]Yannik Potdevin, Dirk Nowotka, Vijay Ganesh:
An Empirical Investigation of Randomized Defenses against Adversarial Attacks. CoRR abs/1909.05580 (2019) - [i21]William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh:
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. CoRR abs/1911.00570 (2019) - [i20]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 abs/1911.04032 (2019) - 2018
- [j6]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra 52(3): 82-84 (2018) - [c51]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI 2018: 6573-6580 - [c50]Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh:
StringFuzz: A Fuzzer for String Solvers. CAV (2) 2018: 45-51 - [c49]Robert Robere, Antonina Kolokolova, Vijay Ganesh:
The Proof Complexity of SMT Solvers. CAV (2) 2018: 275-293 - [c48]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: 436-452 - [c47]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh:
Learning-Sensitive Backdoors with Restarts. CP 2018: 453-469 - [c46]Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh:
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. CP 2018: 737-754 - [c45]Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh:
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. IJCAI 2018: 5319-5323 - [c44]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC 2018: 111-118 - [c43]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP 2018: 15-29 - [c42]Zack Newsham, Vijay Ganesh, Sebastian Fischmeister:
Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT 2018: 18-33 - [c41]Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh:
Machine Learning-Based Restart Policy for CDCL SAT Solvers. SAT 2018: 94-110 - [i19]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR abs/1802.00523 (2018) - [i18]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR abs/1804.01172 (2018) - [i17]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR abs/1805.05488 (2018) - [i16]Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR abs/1811.05094 (2018) - 2017
- [j5]Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang:
Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. 50(2-3): 249-288 (2017) - [j4]Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh:
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. 58(3): 313-339 (2017) - [c40]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:
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 2017: 6-10 - [c39]Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh:
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. EuroS&P 2017: 499-513 - [c38]Murphy Berzish, Vijay Ganesh, Yunhui Zheng:
Z3str3: A string solver with theory-aware heuristics. FMCAD 2017: 55-59 - [c37]Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp:
A solver for a theory of string and bit-vectors. ICSE (Companion Volume) 2017: 124-126 - [c36]Matthew England, Vijay Ganesh:
Preface. SC²@ISSAC 2017 - [c35]Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh:
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. SAT 2017: 119-135 - [c34]Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh:
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. SAT 2017: 251-260 - [c33]Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh:
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. VSTTE 2017: 120-131 - [e2]Matthew England, Vijay Ganesh:
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), Kaiserslautern, Germany, July 29, 2017. CEUR Workshop Proceedings 1974, CEUR-WS.org 2017 [contents] - [i15]Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh:
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. CoRR abs/1701.06743 (2017) - [i14]Murphy Berzish, Yunhui Zheng, Vijay Ganesh:
Z3str3: A String Solver with Theory-aware Branching. CoRR abs/1704.07935 (2017) - [i13]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh:
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR abs/1706.08611 (2017) - 2016
- [c32]Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki:
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. AAAI 2016: 3434-3440 - [c31]Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner:
Code obfuscation against symbolic execution attacks. ACSAC 2016: 189-200 - [c30]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC 2016: 117-133 - [c29]Riyad Parvez, Paul A. S. Ward, Vijay Ganesh:
Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries. CASCON 2016: 116-127 - [c28]Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside:
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. CASCON 2016: 188-193 - [c27]Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki:
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. IJCAI 2016: 4228-4233 - [c26]Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki:
Learning Rate Based Branching Heuristic for SAT Solvers. SAT 2016: 123-140 - [c25]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC 2016: 13-19 - [c24]Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki:
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. VSTTE 2016: 129-138 - [i12]Vijay Ganesh, Murphy Berzish:
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion. CoRR abs/1605.09442 (2016) - [i11]Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh:
A Solver for a Theory of Strings and Bit-vectors. CoRR abs/1605.09446 (2016) - [i10]Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki:
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. CoRR abs/1608.04720 (2016) - 2015
- [c23]Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki:
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. CADE 2015: 607-622 - [c22]Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang:
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) 2015: 235-254 - [c21]Vijay Ganesh, Sebastian Banescu, Martín Ochoa:
Short Paper: The Meaning of Attack-Resistant Systems. PLAS@ECOOP 2015: 49-55 - [c20]Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki:
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Haifa Verification Conference 2015: 225-241 - [c19]Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki:
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. SAT 2015: 62-70 - [c18]Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman:
SAT-based analysis of large real-world feature models is easy. SPLC 2015: 91-100 - [i9]Vijay Ganesh, Sebastian Banescu, Martín Ochoa:
The Meaning of Attack-Resistant Programs. CoRR abs/1502.04023 (2015) - [i8]Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman, Krzysztof Czarnecki:
SAT-based Analysis of Large Real-world Feature Models is Easy. CoRR abs/1506.05198 (2015) - [i7]Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki:
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. CoRR abs/1506.08905 (2015) - [i6]Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams:
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). Dagstuhl Reports 5(4): 98-122 (2015) - 2014
- [c17]Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon:
Impact of Community Structure on SAT Solver Performance. SAT 2014: 252-268 - [e1]Vijay Ganesh, Nicky Williams:
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014. ACM 2014, ISBN 978-1-4503-2847-0 [contents] - [i5]Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen:
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Dagstuhl Reports 4(10): 98-114 (2014) - 2013
- [j3]Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin:
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. 15(4): 18:1-18:28 (2013) - [c16]Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh:
Z3-str: a z3-based string solver for web application analysis. ESEC/SIGSOFT FSE 2013: 114-124 - [i4]Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. CoRR abs/1306.6054 (2013) - 2012
- [j2]Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. 21(4): 25:1-25:28 (2012) - [c15]Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes:
SMT-LIB Sequences and Regular Expressions. SMT@IJCAR 2012: 77-87 - [c14]Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans:
An SMT-based approach to automated configuration. SMT@IJCAR 2012: 109-119 - [c13]Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
Word Equations with Length Constraints: What's Decidable? Haifa Verification Conference 2012: 209-226 - [c12]Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard:
Automatic input rectification. ICSE 2012: 80-90 - [c11]Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama:
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT 2012: 143-156 - [i3]Vijay Ganesh, Michael Carbin, Martin C. Rinard:
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography. CoRR abs/1202.0359 (2012) - [i2]Vijay Ganesh:
STP/HAMPI and Computer Security. CoRR abs/1204.2989 (2012) - 2011
- [c10]Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19 - [c9]Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin:
Automatic error finding in access-control policies. CCS 2011: 163-174 - [i1]Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin:
ARBAC Policy for a Large Multi-National Bank. CoRR abs/1110.2849 (2011)
2000 – 2009
- 2009
- [c8]Vijay Ganesh, Tim Leek, Martin C. Rinard:
Taint-based directed whitebox fuzzing. ICSE 2009: 474-484 - [c7]Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: a solver for string constraints. ISSTA 2009: 105-116 - [c6]Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun:
jFuzz: A Concolic Whitebox Fuzzer for Java. NASA Formal Methods 2009: 121-125 - 2008
- [j1]Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler:
EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2): 10:1-10:38 (2008) - 2007
- [b1]Vijay Ganesh:
Decision procedures for bit-vectors, arrays and integers. Stanford University, USA, 2007 - [c5]Vijay Ganesh, David L. Dill:
A Decision Procedure for Bit-Vectors and Arrays. CAV 2007: 519-531 - 2006
- [c4]Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler:
EXE: automatically generating inputs of death. CCS 2006: 322-335 - 2003
- [c3]Sergey Berezin, Vijay Ganesh, David L. Dill:
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. TACAS 2003: 521-536 - 2002
- [c2]Vijay Ganesh, Sergey Berezin, David L. Dill:
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. FMCAD 2002: 171-186
1990 – 1999
- 1999
- [c1]Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau:
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability. DATE 1999: 485-490
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-24 22:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
