Vijay Ganesh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
82
Venues
27
Active years
1999–2026
Best venue rank
A*
Where they publish
- ASAT14 papers
- A*AAAI13 papers
- A*CAV8 papers
- A*IJCAI7 papers
- ACP5 papers
- ACADE4 papers
- A*ICSE3 papers
- AECAI2 papers
- A*ICML2 papers
- BFM2 papers
- ATACAS2 papers
- AISSTA2 papers
- BISSAC2 papers
- BFMCAD2 papers
- A*CCS2 papers
- ASIGCSE1 paper
- BEuroPar1 paper
- NationalSETTA1 paper
- CIWOCA1 paper
- AISSRE1 paper
- BRV1 paper
- AACSAC1 paper
- BCASC1 paper
- NationalSYNASC1 paper
- AECOOP1 paper
- BSPLC1 paper
- ADATE1 paper
Papers
82 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Learning Unified Graph and Language Representations for SMT Algorithm Selection. | Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh |
| 2026 | SIGCSE | LLMTutorBench: A Benchmark for University-level TCS AI Tutoring Systems. | Anant Gupta, Hieu Nguyen, Carine Geltrudes Webber, Justin Stevens, Abrahim Ladha, Sanika Ainchwar, Vijay Ganesh |
| 2026 | SAT | An Exponential Separation Between Deterministic CDCL and DPLL Solvers. | Sahil Samar, Marc Vinyals, Vijay Ganesh |
| 2025 | AAAI | Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh |
| 2025 | AAAI | LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract). | Piyush Jha, Arnav Arora, Vijay Ganesh |
| 2025 | CAV | Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh |
| 2025 | ECAI | RLSF: Fine-tuning LLMs via Symbolic Feedback. | Piyush Jha, Prithwish Jana, Pranavkrishna Suresh, Arnav Arora, Vijay Ganesh |
| 2025 | EuroPar | Robustness of Deep Learning Classification to Adversarial Input on GPUs: Asynchronous Parallel Accumulation Is a Source of Vulnerability. | Sanjif Shanmugavelu, Mathieu Taillefumier, Christopher Culver, Vijay Ganesh, Oscar R. Hernandez, Ada Sedova |
| 2025 | ICML | Can Transformers Reason Logically? A Study in SAT Solving. | Leyan Pan, Vijay Ganesh, Jacob D. Abernethy, Chris Esposo, Wenke Lee |
| 2025 | IJCAI | Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. | Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh |
| 2024 | AAAI | A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). | Zhengyu Li, Curtis Bright, Vijay Ganesh |
| 2024 | AAAI | A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). | Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh |
| 2024 | AAAI | BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). | Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh |
| 2024 | ECAI | CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution. | Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh |
| 2024 | IJCAI | A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem. | Zhengyu Li, Curtis Bright, Vijay Ganesh |
| 2024 | IJCAI | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. | Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh |
| 2023 | AAAI | Robust Training for AC-OPF (Student Abstract). | Fuat Can Beylunioglu, Mehrdad Pirnia, P. Robert Duimering, Vijay Ganesh |
| 2023 | SAT | Learning Shorter Redundant Clauses in SDCL Using MaxSAT. | Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh |
| 2023 | SAT | Limits of CDCL Learning via Merge Resolution. | Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh |
| 2022 | IJCAI | A Solver + Gradient Descent Training Algorithm for Deep Neural Networks. | Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh |
| 2022 | SETTA | Diversifying a Parallel SAT Solver with Bayesian Moment Matching. | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
| 2021 | AAAI | Logic Guided Genetic Algorithms (Student Abstract). | Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh |
| 2021 | AAAI | A SAT-based Resolution of Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2021 | AAAI | Amnesiac Machine Learning. | Laura Graves, Vineel Nagisetty, Vijay Ganesh |
| 2021 | CAV | 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 |
| 2021 | FM | Z3str4: A Multi-armed String Solver. | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |
| 2021 | FM | BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. | Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh |
| 2021 | SAT | 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 |
| 2021 | TACAS | MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. | Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh |
| 2020 | AAAI | LGML: Logic Guided Machine Learning (Student Abstract). | Joseph Scott, Maysum Panju, Vijay Ganesh |
| 2020 | CP | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
| 2020 | ICML | Online Bayesian Moment Matching based SAT Solver Heuristics. | Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh |
| 2020 | IJCAI | Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2020 | IWOCA | Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2020 | SAT | Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. | Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh |
| 2020 | SAT | Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon |
| 2019 | AAAI | A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. | Curtis Bright, Dragomir Z. okovic, Ilias S. Kotsireas, Vijay Ganesh |
| 2019 | CAV | Interpolating Strong Induction. | Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel |
| 2019 | ISSRE | MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. | William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh |
| 2019 | ISSTA | Theory and practice of string solvers (invited talk abstract). | Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
| 2019 | RV | Accelerated Learning of Predictive Runtime Monitors for Rare Failure. | Reza Babaee, Vijay Ganesh, Sean Sedwards |
| 2018 | AAAI | A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. | Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh |
| 2018 | CAV | StringFuzz: A Fuzzer for String Solvers. | Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh |
| 2018 | CAV | The Proof Complexity of SMT Solvers. | Robert Robere, Antonina Kolokolova, Vijay Ganesh |
| 2018 | CP | Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. | Saeed Nejati, Jan Horcek, Catherine H. Gebotys, Vijay Ganesh |
| 2018 | CP | 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 |
| 2018 | CP | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | IJCAI | 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 |
| 2018 | ISSAC | Enumeration of Complex Golay Pairs via Programmatic SAT. | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
| 2018 | SAT | Machine Learning-Based Restart Policy for CDCL SAT Solvers. | Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh |
| 2018 | SAT | Predicting SAT Solver Performance on Heterogeneous Hardware. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
| 2017 | CADE | SC-square: when Satisfiability Checking and Symbolic Computation join forces. | Erika brahm, 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 |
| 2017 | FMCAD | Z3str3: A string solver with theory-aware heuristics. | Murphy Berzish, Vijay Ganesh, Yunhui Zheng |
| 2017 | ICSE | A solver for a theory of string and bit-vectors. | Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp |
| 2017 | ISSAC | Preface. | Matthew England, Vijay Ganesh |
| 2017 | SAT | 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 |
| 2017 | SAT | 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 |
| 2016 | AAAI | Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
| 2016 | ACSAC | Code obfuscation against symbolic execution attacks. | Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner |
| 2016 | CASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | IJCAI | MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
| 2016 | SAT | Learning Rate Based Branching Heuristic for SAT Solvers. | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
| 2016 | SYNASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2015 | CADE | MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. | Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki |
| 2015 | CAV | 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 |
| 2015 | ECOOP | Short Paper: The Meaning of Attack-Resistant Systems. | Vijay Ganesh, Sebastian Banescu, Martn Ochoa |
| 2015 | SAT | SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
| 2015 | SPLC | SAT-based analysis of large real-world feature models is easy. | Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman |
| 2014 | SAT | Impact of Community Structure on SAT Solver Performance. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon |
| 2012 | CADE | SMT-LIB Sequences and Regular Expressions. | Nikolaj S. Bjrner, Vijay Ganesh, Raphal Michel, Margus Veanes |
| 2012 | CADE | An SMT-based approach to automated configuration. | Raphal Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans |
| 2012 | ICSE | Automatic input rectification. | Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard |
| 2012 | SAT | 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 |
| 2011 | CAV | HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2011 | CCS | Automatic error finding in access-control policies. | Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin |
| 2009 | ICSE | Taint-based directed whitebox fuzzing. | Vijay Ganesh, Tim Leek, Martin C. Rinard |
| 2009 | ISSTA | HAMPI: a solver for string constraints. | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2007 | CAV | A Decision Procedure for Bit-Vectors and Arrays. | Vijay Ganesh, David L. Dill |
| 2006 | CCS | EXE: automatically generating inputs of death. | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler |
| 2003 | TACAS | An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. | Sergey Berezin, Vijay Ganesh, David L. Dill |
| 2002 | FMCAD | Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. | Vijay Ganesh, Sergey Berezin, David L. Dill |
| 1999 | DATE | EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability. | Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau |