Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. - Murphy Berzish; Asif Khan; Atulan Zaman; Vijay Ganesh 001; Derek Rayside (CASCON, 2016)

Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks. - Murphy Berzish; Chris Eliasmith; Bryan P. Tripp (ICANN (1), 2016)

Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion. - Vijay Ganesh 001; Murphy Berzish (CoRR, 2016)

A Solver for a Theory of Strings and Bit-vectors. - Sanu Subramanian; Murphy Berzish; Yunhui Zheng; Omer Tripp; Vijay Ganesh 001 (CoRR, 2016)

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 (CCECE, 2017)

Z3str3: A string solver with theory-aware heuristics. - Murphy Berzish; Vijay Ganesh 001; Yunhui Zheng (FMCAD, 2017)

A solver for a theory of string and bit-vectors. - Sanu Subramanian; Murphy Berzish; Vijay Ganesh 001; Omer Tripp (ICSE (Companion Volume), 2017)

Z3str3: A String Solver with Theory-aware Branching. - Murphy Berzish; Yunhui Zheng; Vijay Ganesh 001 (CoRR, 2017)

Z3str2: an efficient solver for strings, regular expressions, and length constraints. - Yunhui Zheng; Vijay Ganesh 001; Sanu Subramanian; Omer Tripp; Murphy Berzish; Julian Dolby; Xiangyu Zhang 001 (Formal Methods Syst. Des., 2017)

StringFuzz: A Fuzzer for String Solvers. - Dmitry Blotsky; Federico Mora 002; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh 001 (CAV (2), 2018)

A Length-aware Regular Expression SMT Solver. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CoRR, 2020)

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CAV (2), 2021)

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (WORDS, 2021)

Z3str4: A Multi-armed String Solver. - Federico Mora 002; Murphy Berzish; Mitja Kulczynski; Dirk Nowotka; Vijay Ganesh 001 (FM, 2021)

Z3str4: A Solver for Theories over Strings. - Murphy Berzish (2021)

Towards more efficient methods for solving regular-expression heavy string constraints. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (Theor. Comput. Sci., 2023)