Follow
Murphy Berzish
Title
Cited by
Cited by
Year
Z3str3: A string solver with theory-aware heuristics
M Berzish, V Ganesh, Y Zheng
Formal Methods in Computer Aided Design (FMCAD), 2017, 55-59, 2017
672017
StringFuzz: A Fuzzer for String Solvers
D Blotsky, F Mora, M Berzish, Y Zheng, I Kabir, V Ganesh
International Conference on Computer Aided Verification, 45-51, 2018
652018
Z3str2: an efficient solver for strings, regular expressions, and length constraints
Y Zheng, V Ganesh, S Subramanian, O Tripp, M Berzish, J Dolby, ...
Formal Methods in System Design 50, 249-288, 2017
592017
Multi-objective radiation therapy optimization method
J Fiege, B McCurdy, P Potrebko, A Cull, H Champion, M Berzish
US Patent 9,507,886, 2016
432016
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
International Conference on Computer Aided Verification, 289-312, 2021
332021
Z3str4: A multi-armed string solver
F Mora, M Berzish, M Kulczynski, D Nowotka, V Ganesh
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
232021
Undecidability of a theory of strings, linear arithmetic over length, and string-number conversion
V Ganesh, M Berzish
arXiv preprint arXiv:1605.09442, 2016
212016
Z3str3: A string solver with theory-aware branching
M Berzish, Y Zheng, V Ganesh
arXiv preprint arXiv:1704.07935, 2017
142017
Real-time FPGA simulation of surrogate models of large spiking networks
M Berzish, C Eliasmith, B Tripp
Artificial Neural Networks and Machine Learning–ICANN 2016: 25th …, 2016
122016
Towards more efficient methods for solving regular-expression heavy string constraints
M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ...
Theoretical Computer Science 943, 50-72, 2023
102023
String theories involving regular membership predicates: from practice to theory and back
M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ...
Combinatorics on Words: 13th International Conference, WORDS 2021, Rouen …, 2021
92021
A solver for a theory of strings and bit-vectors
S Subramanian, M Berzish, O Tripp, V Ganesh
Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International …, 2017
92017
Z3str4: A Solver for Theories over Strings
M Berzish
University of Waterloo, 2021
62021
Anonymizing sensitive data in logic problems for input to a constraint solver
MW Whalen, C Varming, N Rungta, AJ Gacek, M Berzish
US Patent 11,093,641, 2021
52021
Manifold: An smt-based declarative language for electronic and microfluidic design synthesis
M Berzish, A Khan, A Zaman, V Ganesh, D Rayside
Proceedings of the 26th Annual International Conference on Computer Science …, 2016
32016
A digital hardware design for real-time simulation of large neural-system models in physical settings
M Berzish, B Tripp
BMC Neuroscience 15 (Suppl 1), P21, 2014
32014
Manifold 2.0: A hardware description language for microfluidic devices
N Klassen, M Lyons, M Prysiazny, P Roth, P Socha, M Berzish, A Zaman, ...
2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering …, 2017
22017
A software toolchain for physical system description and synthesis, and applications to microfluidic design automation
M Berzish
University of Waterloo, 2016
22016
A length-aware regular expression SMT solver
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
arXiv preprint arXiv:2010.07253, 2020
12020
Z3str4 String Solver: System Description
M Berzish, F Mora, M Kulczynski, D Nowotka, V Ganesh
SMT-COMP, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20