Murphy Berzish

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 16

Top Topics

Regular Expressions

Satisfiability Modulo Theories

Pattern Matching

Declarative Language

Top Venues

ICSE (Companion Volume)

Publications

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 (2023)
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
Z3str4: A Multi-armed String Solver. FM (2021)
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)
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)
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 (2021)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
A Length-aware Regular Expression SMT Solver. CoRR (2020)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
StringFuzz: A Fuzzer for String Solvers. CAV (2) (2018)
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
Z3str3: A String Solver with Theory-aware Branching. CoRR (2017)
Murphy Berzish, Vijay Ganesh, Yunhui Zheng
Z3str3: A string solver with theory-aware heuristics. FMCAD (2017)
Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp
A solver for a theory of string and bit-vectors. ICSE (Companion Volume) (2017)
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) (2017)
Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside
Manifold 2.0: A hardware description language for microfluidic devices. CCECE (2017)
Murphy Berzish, Chris Eliasmith, Bryan P. Tripp
Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks. ICANN (1) (2016)
Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
A Solver for a Theory of Strings and Bit-vectors. CoRR (2016)
Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. CASCON (2016)
Vijay Ganesh, Murphy Berzish
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion. CoRR (2016)