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
332017
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-3), 249-288, 2017
332017
Multi-objective radiation therapy optimization method
J Fiege, B McCurdy, P Potrebko, A Cull, H Champion, M Berzish
US Patent 9,507,886, 2016
232016
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
182018
Z3str3: A string solver with theory-aware branching
M Berzish, Y Zheng, V Ganesh
arXiv preprint arXiv:1704.07935, 2017
122017
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
102016
Undecidability of a theory of strings, linear arithmetic over length, and string-number conversion
V Ganesh, M Berzish
arXiv preprint arXiv:1605.09442, 2016
92016
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
42017
A digital hardware design for real-time simulation of large neural-system models in physical settings
M Berzish, B Tripp
BMC neuroscience 15 (S1), 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
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, ...
arXiv preprint arXiv:2010.07253, 2020
2020
Z3strBV: A Solver for a Theory of Strings and Bit-vectors
M Berzish, S Subramanian, Y Zheng, O Tripp, V Ganesh
2016
Z3str4 String Solver: System Description
M Berzish, F Mora, M Kulczynski, D Nowotka, V Ganesh
The system can't perform the operation now. Try again later.
Articles 1–15