Concepedia

Murphy Berzish

MB

5

Publications

181

Citations

5

H-Index

2016

Active since

Affiliations

University of Waterloo(Current)

Murphy Berzish is an author at University of Waterloo specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputer ScienceComputational ComplexityFormal MethodsAutomated ReasoningParallel ProgrammingProgram AnalysisSoftware AnalysisParallel ComputingFormal Verification

Publications per year

2016–2022

5

Publications

5

Z3str3: A String Solver with Theory-aware Heuristics

Murphy Berzish, Vijay Ganesh, Yunhui Zheng · 2017 · 96 citations

Engineering, Computational Complexity, Software Analysis +22

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

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian et al. · Formal Methods in System Design · 2016 · 45 citations

Constraint Solving, Length Constraints, Efficient Solver +12

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

Murphy Berzish, Joel D. Day, Vijay Ganesh et al. · Theoretical Computer Science · 2022 · 19 citations

Mathematical Programming, Engineering, String-searching Algorithm +8

Z3str3: A String Solver with Theory-aware Branching

Murphy Berzish, Yunhui Zheng, Vijay Ganesh · arXiv (Cornell University) · 2017 · 11 citations · Full text

Engineering, Computational Complexity, Software Analysis +20

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

Vijay Ganesh, Murphy Berzish · arXiv (Cornell University) · 2016 · 10 citations · Full text

Rows per page

1–5 of 5