Follow
Murphy Berzish
Title
Cited by
Cited by
Year
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 (2), 249-288, 2017
562017
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
472018
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
392017
Multi-objective radiation therapy optimization method
J Fiege, B McCurdy, P Potrebko, A Cull, H Champion, M Berzish
US Patent 9,507,886, 2016
352016
Undecidability of a theory of strings, linear arithmetic over length, and string-number conversion
V Ganesh, M Berzish
arXiv preprint arXiv:1605.09442, 2016
182016
Z3str3: A string solver with theory-aware branching
M Berzish, Y Zheng, V Ganesh
arXiv preprint arXiv:1704.07935, 2017
142017
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
132021
Real-time FPGA simulation of surrogate models of large spiking networks
M Berzish, C Eliasmith, B Tripp
International Conference on Artificial Neural Networks, 349-356, 2016
112016
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
82017
Z3str4: A Multi-armed String Solver
F Mora, M Berzish, M Kulczynski, D Nowotka, V Ganesh
International Symposium on Formal Methods, 389-406, 2021
62021
String theories involving regular membership predicates: From practice to theory and back
M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ...
International Conference on Combinatorics on Words, 50-64, 2021
52021
A digital hardware design for real-time simulation of large neural-system models in physical settings
M Berzish, B Tripp
BMC Neuroscience 15 (1), 1-1, 2014
32014
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
22021
Z3str4: A Solver for Theories over Strings
M Berzish
University of Waterloo, 2021
22021
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
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
22016
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, ...
12020
Z3str4 String Solver: System Description
M Berzish, F Mora, M Kulczynski, D Nowotka, V Ganesh
SMT-COMP, 2020
12020
A String Solver with Theory-Aware Branching
M Berzish, Y Zheng, V Ganesh
In the Proceedings of the 17th Formal Methods in Computer Aided Design …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20