Murphy Berzish

According to our database, Murphy Berzish authored at least 16 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards more efficient methods for solving regular-expression heavy string constraints.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Theor. Comput. Sci., 2023

2021

Z3str4: A Solver for Theories over Strings.

Murphy Berzish

PhD thesis, 2021

Z3str4: A Multi-armed String Solver.

Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Proceedings of the Combinatorics on Words - 13th International Conference, 2021

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A Length-aware Regular Expression SMT Solver.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

CoRR, 2020

2018

StringFuzz: A Fuzzer for String Solvers.

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Z3str2: an efficient solver for strings, regular expressions, and length constraints.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang

Formal Methods Syst. Des., 2017

Z3str3: A String Solver with Theory-aware Branching.

Murphy Berzish, Yunhui Zheng, Vijay Ganesh

CoRR, 2017

A solver for a theory of string and bit-vectors.

Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp

Proceedings of the 39th International Conference on Software Engineering, 2017

Z3str3: A string solver with theory-aware heuristics.

Murphy Berzish, Vijay Ganesh, Yunhui Zheng

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Manifold 2.0: A hardware description language for microfluidic devices.

Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside

Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017

2016

A Solver for a Theory of Strings and Bit-vectors.

Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh

CoRR, 2016

Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion.

Vijay Ganesh, Murphy Berzish

CoRR, 2016

Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks.

Murphy Berzish, Chris Eliasmith, Bryan P. Tripp

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2016, 2016

Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.

Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016