


Остановите войну!
for scientists:


default search action
Vijay Ganesh
Person information

- affiliation: University of Waterloo, Canada
- affiliation (PhD 2007): Stanford University, CA, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j17]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) - [j16]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) - [j15]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) - [i51]Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang:
Learning Modulo Theories. CoRR abs/2301.11435 (2023) - [i50]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) - [i49]Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh:
Limits of CDCL Learning via Merge Resolution. CoRR abs/2304.09422 (2023) - [i48]Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh:
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. CoRR abs/2305.12534 (2023) - 2022
- [j14]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
When satisfiability solving meets symbolic computation. Commun. ACM 65(7): 64-72 (2022) - [j13]Zhé Hóu
, Vijay Ganesh, Jing Sun:
Editorial. Innov. Syst. Softw. Eng. 18(3): 333-334 (2022) - [c81]Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa, Vijay Ganesh:
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks. IJCAI 2022: 1766-1773 - [c80]Vincent Vallade, Saeed Nejati
, Julien Sopena, Souheib Baarir, Vijay Ganesh
:
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. SETTA 2022: 227-233 - [c79]Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh:
Goose: A Meta-Solver for Deep Neural Network Verification. SMT 2022: 99-113 - [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) - [c78]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 - [c77]Laura Graves, Vineel Nagisetty, Vijay Ganesh:
Amnesiac Machine Learning. AAAI 2021: 11516-11524 - [c76]Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh:
Logic Guided Genetic Algorithms (Student Abstract). AAAI 2021: 15753-15754 - [c75]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 - [c74]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 - [c73]Joseph Scott
, Trishal Sudula
, Hammad Rehman
, Federico Mora
, Vijay Ganesh
:
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. FM 2021: 103-121 - [c72]Federico Mora, Murphy Berzish, Mitja Kulczynski
, Dirk Nowotka, Vijay Ganesh:
Z3str4: A Multi-armed String Solver. FM 2021: 389-406 - [c71]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 - [c70]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) - [c69]Joseph Scott, Maysum Panju, Vijay Ganesh:
LGML: Logic Guided Machine Learning (Student Abstract). AAAI 2020: 13909-13910 - [c68]Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
:
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. CP 2020: 899-916 - [c67]Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh:
Online Bayesian Moment Matching based SAT Solver Heuristics. ICML 2020: 2710-2719 - [c66]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 - [c65]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 - [c64]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 - [c63]Chunxiao Li, Noah Fleming, Marc Vinyals
, Toniann Pitassi, Vijay Ganesh
:
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. SAT 2020: 233-249 - [c62]Joseph Scott, Federico Mora, Vijay Ganesh:
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. SMT 2020: 61 - [c61]Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh:
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. SMT 2020: 62 - [c60]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) - [c59]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 - [c58]Saeed Nejati, Vijay Ganesh:
CDCL(Crypto) SAT solvers for cryptanalysis. CASCON 2019: 311-316 - [c57]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON 2019: 323-328 - [c56]Hari Govind Vediramana Krishnan
, Yakir Vizel, Vijay Ganesh
, Arie Gurfinkel
:
Interpolating Strong Induction. CAV (2) 2019: 367-385 - [c55]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 - [c54]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 - [c53]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
:
Effective Problem Solving Using SAT Solvers. MC 2019: 205-219 - [c52]Reza Babaee, Vijay Ganesh
, Sean Sedwards:
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. RV 2019: 111-128 - [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]