Murphy Berzish

17 papers B 2Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Towards more efficient methods for solving regular-expression heavy string constraints.
Theor. Comput. Sci.
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 — conf
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.
CAV (2)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 — conf
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
WORDS
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 J jnl
String Theories involving Regular Membership Predicates: From Practice to Theory and Back.
CoRR
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 B conf
Z3str4: A Multi-armed String Solver.
FM
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2021 — —
Z3str4: A Solver for Theories over Strings.
Murphy Berzish
2020 J jnl
A Length-aware Regular Expression SMT Solver.
CoRR
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2018 — conf
StringFuzz: A Fuzzer for String Solvers.
CAV (2)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
2017 — conf
A solver for a theory of string and bit-vectors.
ICSE (Companion Volume)
Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp
2017 — conf
Manifold 2.0: A hardware description language for microfluidic devices.
CCECE
Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside
2017 J jnl
Z3str2: an efficient solver for strings, regular expressions, and length constraints.
Formal Methods Syst. Des.
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
2017 J jnl
Z3str3: A String Solver with Theory-aware Branching.
CoRR
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
2017 B conf
Z3str3: A string solver with theory-aware heuristics.
FMCAD
Murphy Berzish, Vijay Ganesh, Yunhui Zheng
2016 J jnl
A Solver for a Theory of Strings and Bit-vectors.
CoRR
Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
2016 — conf
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.
CASCON
Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
2016 — conf
Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks.
ICANN (1)
Murphy Berzish, Chris Eliasmith, Bryan P. Tripp
2016 J jnl
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion.
CoRR
Vijay Ganesh, Murphy Berzish