Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVijay 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]