Vijay Ganesh

215 papers A* 29A 26B 9C 1Misc 1Journal 98Unranked 44
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Exponential Separation between Deterministic CDCL and DPLL Solvers.
CoRR
Sahil Samar, Marc Vinyals, Vijay Ganesh
2026 — conf
LLMTutorBench: A Benchmark for University-level TCS AI Tutoring Systems.
SIGCSE (2)
Anant Gupta, Hieu Nguyen, Carine Geltrudes Webber, Justin Stevens, Abrahim Ladha, Sanika Ainchwar, Vijay Ganesh
2026 J jnl
Learning Data-Efficient and Generalizable Neural Operators via Fundamental Physics Knowledge.
CoRR
Siying Ma, Mehrdad M. Zadeh, Mauricio Soroco, Wuyang Chen, Jiguo Cao, Vijay Ganesh
2026 — conf
Learning SMT Algorithm Selection with High-Level Natural-Language Descriptions.
FoIKS
Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh
2026 J jnl
Proofdoors and Efficiency of CDCL Solvers.
CoRR
Sunidhi Singh, Vincent Liew, Marc Vinyals, Vijay Ganesh
2026 J jnl
Report for NSF Workshop on AI for Electronic Design Automation.
CoRR
Deming Chen, Vijay Ganesh, Weikai Li, Yingyan Celine Lin, Yong Liu, Subhasish Mitra, David Z. Pan, Ruchir Puri, Jason Cong, Yizhou Sun
2026 J jnl
Symbolic Density Estimation: A Decompositional Approach.
CoRR
Angelo Rajendram, Xieting Chu, Vijay Ganesh, Max Fieg, Aishik Ghosh
2025 J jnl
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design.
CoRR
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana, Piyush Jha, Dileep Kalathil, Vijay Ganesh, Jeyavijayan Rajendran
2025 A* conf
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract).
AAAI
Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh
2025 — conf
Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking.
CAV (1)
Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh
2025 A* conf
Can Transformers Reason Logically? A Study in SAT Solving.
ICML
Leyan Pan, Vijay Ganesh, Jacob D. Abernethy, Chris Esposo, Wenke Lee
2025 J jnl
FrontierCS: Evolving Challenges for Evolving Intelligence.
CoRR
Qiuyang Mang, Wenhao Chai, Zhifei Li, Huanzhi Mao, Shang Zhou, Alexander Du, Hanchen Li, Shu Liu, Edwin Chen, Yichuan Wang, Xieting Chu, Zerui Cheng, Yuan Xu, Tian Xia, Zirui Wang, Tianneng Shi, Jianzhu Yao, Yilong Zhao, Qizheng Zhang, Charlie Ruan, Zeyu Shen, Kaiyuan Liu, Runyuan He, Dong Xing, Zerui Li, Zirong Zeng, Yige Jiang, Lufeng Cheng, Ziyi Zhao, Youran Sun, Wesley Zheng, Meiyuwang Zhang, Ruyi Ji, Xuechang Tu, Zihan Zheng, Zexing Chen, Kangyang Zhou, Zhaozi Wang, Jingbang Chen, Aleksandra Korolova, Peter Henderson, Pramod Viswanath, Vijay Ganesh, Saining Xie, Zhuang Liu, Dawn Song, Sewon Min, Ion Stoica, Joseph E. Gonzalez, Jingbo Shang, Alvin Cheung
2025 — conf
GasGuard: An LLM-Based Automated Gas Vulnerability Detection and Mitigation System.
MARBLE
Behkish Nassirzadeh, M. Anwar Hasan, Vijay Ganesh
2025 J jnl
Improving and Understanding the Power of Satisfaction-Driven Clause Learning.
J. Artif. Intell. Res.
Albert Oliveras, Chunxiao (Ian) Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
2025 A* conf
LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract).
AAAI
Piyush Jha, Arnav Arora, Vijay Ganesh
2025 J jnl
Novel tree-search method for synthesizing SMT strategies.
Acta Informatica
Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh
2025 J jnl
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis.
CoRR
Ayush Khaitan, Vijay Ganesh
2025 J jnl
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings.
CoRR
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi, Cruise Song, Sriram Vishwanath, Vijay Ganesh
2025 A conf
RLSF: Fine-tuning LLMs via Symbolic Feedback.
ECAI
Piyush Jha, Prithwish Jana, Pranavkrishna Suresh, Arnav Arora, Vijay Ganesh
2025 — conf
Robustness of Deep Learning Classification to Adversarial Input on GPUs: Asynchronous Parallel Accumulation Is a Source of Vulnerability.
Euro-Par (2)
Sanjif Shanmugavelu, Mathieu Taillefumier, Christopher Culver, Vijay Ganesh, Oscar R. Hernandez, Ada Sedova
2025 J jnl
Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability.
CoRR
Sanjif Shanmugavelu, Mathieu Taillefumier, Christopher Culver, Vijay Ganesh, Oscar R. Hernandez, Ada Sedova
2025 J jnl
Towards AI-assisted Neutrino Flavor Theory Design.
CoRR
Jason Benjamin Baretz, Max Fieg, Vijay Ganesh, Aishik Ghosh, V. Knapp-Perez, Jake Rudolph, Daniel Whiteson
2025 A* conf
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems.
IJCAI
Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh
2025 J jnl
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems.
CoRR
Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh
2024 J jnl
A Closer Look at the Expressive Power of Logics Based on Word Equations.
Theory Comput. Syst.
Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea
2024 J jnl
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers.
CoRR
Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
2024 A* conf
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).
AAAI
Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh
2024 A* conf
A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem.
IJCAI
Zhengyu Li, Curtis Bright, Vijay Ganesh
2024 A* conf
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).
AAAI
Zhengyu Li, Curtis Bright, Vijay Ganesh
2024 — conf
AdChain: Decentralized Header Bidding.
MARBLE
Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh
2024 J jnl
AdChain: Decentralized Header Bidding.
CoRR
Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh
2024 J jnl
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
CoRR
Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh
2024 A* conf
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract).
AAAI
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
2024 J jnl
Can Transformers Reason Logically? A Study in SAT Solving.
CoRR
Leyan Pan, Vijay Ganesh, Jacob D. Abernethy, Chris Esposo, Wenke Lee
2024 A conf
CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.
ECAI
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
2024 — ed.
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
CAV (1)
Arie Gurfinkel, Vijay Ganesh
2024 — ed.
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
CAV (2)
Arie Gurfinkel, Vijay Ganesh
2024 — ed.
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
CAV (3)
Arie Gurfinkel, Vijay Ganesh
2024 — conf
CountChain: A Decentralized Oracle Network for Counting Systems.
Blockchain
Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh
2024 J jnl
CountChain: A Decentralized Oracle Network for Counting Systems.
CoRR
Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle, M. Anwar Hasan, Vijay Ganesh
2024 J jnl
Extended Resolution Clause Learning via Dual Implication Points.
CoRR
Sam Buss, Jonathan Chung, Vijay Ganesh, Albert Oliveras
2024 J jnl
LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs.
CoRR
Piyush Jha, Arnav Arora, Vijay Ganesh
2024 A* conf
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
IJCAI
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 — conf
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
SMT@CAV
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 J jnl
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
CoRR
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 J jnl
RLSF: Reinforcement Learning via Symbolic Feedback.
CoRR
Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh
2023 J jnl
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem.
CoRR
Zhengyu Li, Curtis Bright, Vijay Ganesh
2023 J jnl
Algorithm selection for SMT.
Int. J. Softw. Tools Technol. Transf.
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2023 J jnl
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need.
CoRR
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
2023 J jnl
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer.
CoRR
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
2023 J jnl
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks.
CoRR
Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh
2023 J jnl
Formal Languages via Theories over Strings: An Overview of Some Recent Results.
Bull. EATCS
Joel D. Day, Vijay Ganesh, Florin Manea
2023 A* conf
Grounding Neural Inference with Satisfiability Modulo Theories.
NeurIPS
Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson
2023 J jnl
Learning Modulo Theories.
CoRR
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang
2023 A conf
Learning Shorter Redundant Clauses in SDCL Using MaxSAT.
SAT
Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
2023 A conf
Limits of CDCL Learning via Merge Resolution.
SAT
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
2023 J jnl
Limits of CDCL Learning via Merge Resolution.
CoRR
Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
2023 J jnl
Limits of CDCL Learning via Merge Resolution.
Electron. Colloquium Comput. Complex.
Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals
2023 J jnl
On the Expressive Power of String Constraints.
Proc. ACM Program. Lang.
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
2023 — conf
Pierce: A Testing Tool for Neural Network Verification Solvers.
VSTTE
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
2023 J jnl
Publisher Correction: Algorithm selection for SMT.
Int. J. Softw. Tools Technol. Transf.
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2023 A* conf
Robust Training for AC-OPF (Student Abstract).
AAAI
Fuat Can Beylunioglu, Mehrdad Pirnia, P. Robert Duimering, Vijay Ganesh
2023 J jnl
Towards more efficient methods for solving regular-expression heavy string constraints.
Theor. Comput. Sci.
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2022 A* conf
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks.
IJCAI
Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh
2022 J jnl
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks.
CoRR
Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh
2022 — conf
An SC-Square Approach to the Minimum Kochen-Specker Problem.
SC-Square@FLoC
Zhengyu Li, Curtis Bright, Vijay Ganesh
2022 Misc conf
Diversifying a Parallel SAT Solver with Bayesian Moment Matching.
SETTA
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
2022 J jnl
Editorial.
Innov. Syst. Softw. Eng.
Zhé Hóu, Vijay Ganesh, Jing Sun
2022 J jnl
Formal Languages via Theories over Strings.
CoRR
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
2022 — conf
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities.
MARBLE
Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh
2022 — conf
Goose: A Meta-Solver for Deep Neural Network Verification.
SMT
Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh
2022 J jnl
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291).
Dagstuhl Reports
Sébastien Bardin, Somesh Jha, Vijay Ganesh
2022 J jnl
Machine learning and logic: a new frontier in artificial intelligence.
Formal Methods Syst. Des.
Vijay Ganesh, Sanjit A. Seshia, Somesh Jha
2022 J jnl
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411).
Dagstuhl Reports
Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel
2022 J jnl
When satisfiability solving meets symbolic computation.
Commun. ACM
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2021 A* conf
A SAT-based Resolution of Lam's Problem.
AAAI
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2021 A* conf
Amnesiac Machine Learning.
AAAI
Laura Graves, Vineel Nagisetty, Vijay Ganesh
2021 — conf
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.
CAV (2)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 B ed.
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
ATVA
Zhe Hou, Vijay Ganesh
2021 B conf
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.
FM
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh
2021 J jnl
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.
J. Symb. Comput.
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2021 J jnl
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities.
CoRR
Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh
2021 A* conf
Logic Guided Genetic Algorithms (Student Abstract).
AAAI
Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh
2021 — conf
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract).
SC-Square@SIAM AG
Vijay Ganesh
2021 — conf
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.
TACAS (2)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2021 A conf
On the Hierarchical Community Structure of Practical Boolean Formulas.
SAT
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
2021 J jnl
On the Hierarchical Community Structure of Practical SAT Formulas.
CoRR
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
2021 J jnl
On the proof complexity of MCSAT.
CoRR
Gereon Kremer, Erika Ábrahám, Vijay Ganesh
2021 — conf
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
WORDS
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 J jnl
String Theories involving Regular Membership Predicates: From Practice to Theory and Back.
CoRR
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 B conf
Z3str4: A Multi-armed String Solver.
FM
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2020 J jnl
A Length-aware Regular Expression SMT Solver.
CoRR
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2020 A conf
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers.
CP
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
2020 J jnl
A SAT-based Resolution of Lam's Problem.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
A nonexistence certificate for projective planes of order ten with weight 15 codewords.
Appl. Algebra Eng. Commun. Comput.
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2020 — conf
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.
SMT
Joseph Scott, Federico Mora, Vijay Ganesh
2020 — conf
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.
SMT
Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh
2020 J jnl
Amnesiac Machine Learning.
CoRR
Laura Graves, Vineel Nagisetty, Vijay Ganesh
2020 J jnl
Applying computer algebra systems with SAT solvers to the Williamson conjecture.
J. Symb. Comput.
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2020 — conf
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers.
VSTTE
Joseph Scott, Federico Mora, Vijay Ganesh
2020 J jnl
CDCL(Crypto) SAT Solvers for Cryptanalysis.
CoRR
Saeed Nejati, Vijay Ganesh
2020 A conf
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.
SAT
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
2020 J jnl
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks.
CoRR
Sebastian Johann Wetzel, Roger G. Melko, Joseph Scott, Maysum Panju, Vijay Ganesh
2020 A* conf
LGML: Logic Guided Machine Learning (Student Abstract).
AAAI
Joseph Scott, Maysum Panju, Vijay Ganesh
2020 J jnl
LGML: Logic Guided Machine Learning.
CoRR
Joseph Scott, Maysum Panju, Vijay Ganesh
2020 J jnl
Logic Guided Genetic Algorithms.
CoRR
Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh
2020 J jnl
LogicGAN: Logic-guided Generative Adversarial Networks.
CoRR
Laura Graves, Vineel Nagisetty, Joseph Scott, Vijay Ganesh
2020 J jnl
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences.
IEEE Trans. Inf. Theory
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2020 C conf
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.
IWOCA
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 — ch.
On the Unreasonable Effectiveness of SAT Solvers.
Beyond the Worst-Case Analysis of Algorithms
Vijay Ganesh, Moshe Y. Vardi
2020 A* conf
Online Bayesian Moment Matching based SAT Solver Heuristics.
ICML
Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh
2020 A conf
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.
SAT
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
2020 J jnl
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.
CoRR
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
2020 A* conf
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.
IJCAI
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2019 J jnl
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2019 A* conf
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.
AAAI
Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh
2019 B conf
Accelerated Learning of Predictive Runtime Monitors for Rare Failure.
RV
Reza Babaee, Vijay Ganesh, Sean Sedwards
2019 J jnl
An Empirical Investigation of Randomized Defenses against Adversarial Attacks.
CoRR
Yannik Potdevin, Dirk Nowotka, Vijay Ganesh
2019 — conf
CDCL(Crypto) SAT solvers for cryptanalysis.
CASCON
Saeed Nejati, Vijay Ganesh
2019 J jnl
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT.
CoRR
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2019 — conf
Effective Problem Solving Using SAT Solvers.
MC
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
2019 J jnl
Effective problem solving using SAT solvers.
CoRR
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
2019 — conf
Interpolating Strong Induction.
CAV (2)
Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
2019 J jnl
Interpolating Strong Induction.
CoRR
Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
2019 A conf
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract.
ISSRE
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
2019 J jnl
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract.
CoRR
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
2019 J jnl
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences.
CoRR
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019 — conf
On the Proof Complexity of MCSAT.
SC-square@SIAM AG
Gereon Kremer, Erika Ábrahám, Vijay Ganesh
2019 J jnl
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics.
CoRR
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019 — conf
SAT solvers and computer algebra systems: a powerful combination for mathematics.
CASCON
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019 J jnl
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
Softw. Syst. Model.
Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu
2019 J jnl
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices.
CoRR
Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
2019 J jnl
The SAT+CAS method for combinatorial search with applications to best matrices.
Ann. Math. Artif. Intell.
Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
2019 A conf
Theory and practice of string solvers (invited talk abstract).
ISSTA
Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
2018 J jnl
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.
CoRR
Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh
2018 A* conf
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order.
AAAI
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018 A conf
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.
CP
Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh
2018 A* conf
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate.
IJCAI
Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh
2018 J jnl
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture.
CoRR
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018 B conf
Enumeration of Complex Golay Pairs via Programmatic SAT.
ISSAC
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018 J jnl
Enumeration of Complex Golay Pairs via Programmatic SAT.
CoRR
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018 A conf
Learning-Sensitive Backdoors with Restarts.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018 A conf
Machine Learning-Based Restart Policy for CDCL SAT Solvers.
SAT
Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh
2018 — conf
Predicting SAT Solver Performance on Heterogeneous Hardware.
POS@SAT
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister
2018 — conf
StringFuzz: A Fuzzer for String Solvers.
CAV (2)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
2018 A conf
The Effect of Structural Measures and Merges on SAT Solver Performance.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018 — conf
The Proof Complexity of SMT Solvers.
CAV (2)
Robert Robere, Antonina Kolokolova, Vijay Ganesh
2018 J jnl
The SAT+CAS paradigm and the Williamson conjecture.
ACM Commun. Comput. Algebra
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018 J jnl
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability.
CoRR
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
2018 — conf
The Satisfiability of Word Equations: Decidable and Undecidable Theories.
RP
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
2017 A conf
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.
SAT
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh
2017 — conf
A solver for a theory of string and bit-vectors.
ICSE (Companion Volume)
Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp
2017 — conf
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.
VSTTE
Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh
2017 A conf
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.
SAT
Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh
2017 J jnl
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason.
Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
2017 — conf
Preface.
SC²@ISSAC
Matthew England, Vijay Ganesh
2017 — ed.
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.
SC²@ISSAC
Matthew England, Vijay Ganesh
2017 A conf
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.
EuroS&P
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
2017 J jnl
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.
CoRR
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
2017 J jnl
Relating Complexity-theoretic Parameters with SAT Solver Performance.
CoRR
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
2017 — conf
SC-square: when Satisfiability Checking and Symbolic Computation join forces.
ARCADE@CADE
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
2017 J jnl
Z3str2: an efficient solver for strings, regular expressions, and length constraints.
Formal Methods Syst. Des.
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
2017 J jnl
Z3str3: A String Solver with Theory-aware Branching.
CoRR
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
2017 B conf
Z3str3: A string solver with theory-aware heuristics.
FMCAD
Murphy Berzish, Vijay Ganesh, Yunhui Zheng
2016 J jnl
A Solver for a Theory of Strings and Bit-vectors.
CoRR
Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
2016 — conf
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.
VSTTE
Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki
2016 J jnl
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions.
CoRR
Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki
2016 A conf
Code obfuscation against symbolic execution attacks.
ACSAC
Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner
2016 — conf
Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries.
CASCON
Riyad Parvez, Paul A. S. Ward, Vijay Ganesh
2016 A* conf
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.
AAAI
Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki
2016 A conf
Learning Rate Based Branching Heuristic for SAT Solvers.
SAT
Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki
2016 A* conf
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
IJCAI
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
2016 — conf
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.
CASCON
Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
2016 B conf
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
CASC
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016 — conf
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
SC²@SYNASC
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016 J jnl
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion.
CoRR
Vijay Ganesh, Murphy Berzish
2015 — conf
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.
CAV (1)
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
2015 A conf
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
CADE
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
2015 J jnl
SAT-based Analysis of Large Real-world Feature Models is Easy.
CoRR
Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman, Krzysztof Czarnecki
2015 B conf
SAT-based analysis of large real-world feature models is easy.
SPLC
Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman
2015 A conf
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.
SAT
Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki
2015 — conf
Short Paper: The Meaning of Attack-Resistant Systems.
PLAS@ECOOP
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
2015 J jnl
The Meaning of Attack-Resistant Programs.
CoRR
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
2015 J jnl
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171).
Dagstuhl Reports
Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams
2015 — conf
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Haifa Verification Conference
Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki
2015 J jnl
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
CoRR
Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki
2014 A conf
Impact of Community Structure on SAT Solver Performance.
SAT
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon
2014 — ed.
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014
CSTVA
Vijay Ganesh, Nicky Williams
2014 J jnl
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).
Dagstuhl Reports
Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen
2013 J jnl
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.
CoRR
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
2013 J jnl
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.
ACM Trans. Inf. Syst. Secur.
Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin
2013 — conf
Z3-str: a z3-based string solver for web application analysis.
ESEC/SIGSOFT FSE
Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh
2012 — conf
An SMT-based approach to automated configuration.
SMT@IJCAR
Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans
2012 A* conf
Automatic input rectification.
ICSE
Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard
2012 J jnl
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography
CoRR
Vijay Ganesh, Michael Carbin, Martin C. Rinard
2012 J jnl
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.
ACM Trans. Softw. Eng. Methodol.
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2012 A conf
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem.
SAT
Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama
2012 — conf
SMT-LIB Sequences and Regular Expressions.
SMT@IJCAR
Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
2012 J jnl
STP/HAMPI and Computer Security
CoRR
Vijay Ganesh
2012 — conf
Word Equations with Length Constraints: What's Decidable?
Haifa Verification Conference
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
2011 J jnl
ARBAC Policy for a Large Multi-National Bank
CoRR
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
2011 A* conf
Automatic error finding in access-control policies.
CCS
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
2011 A* conf
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.
CAV
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2009 A conf
HAMPI: a solver for string constraints.
ISSTA
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2009 A* conf
Taint-based directed whitebox fuzzing.
ICSE
Vijay Ganesh, Tim Leek, Martin C. Rinard
2009 — conf
jFuzz: A Concolic Whitebox Fuzzer for Java.
NASA Formal Methods
Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun
2008 J jnl
EXE: Automatically Generating Inputs of Death.
ACM Trans. Inf. Syst. Secur.
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
2007 A* conf
A Decision Procedure for Bit-Vectors and Arrays.
CAV
Vijay Ganesh, David L. Dill
2007 — —
Decision procedures for bit-vectors, arrays and integers.
Vijay Ganesh
2006 A* conf
EXE: automatically generating inputs of death.
CCS
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
2003 A conf
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.
TACAS
Sergey Berezin, Vijay Ganesh, David L. Dill
2002 B conf
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.
FMCAD
Vijay Ganesh, Sergey Berezin, David L. Dill
1999 A conf
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability.
DATE
Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau