#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2014

2017

- This year (4)
- Last 5 years (8)
- Last 10 years (8)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Murphy Berzish, Chris Eliasmith, Bryan P. Tripp
- ICANN
- 2016

Models of neural systems often use idealized inputs and outputs, but there is also much to learn by forcing a neural model to interact with a complex simulated or physical environment. Unfortunately, sophisticated interactions require models of large neural systems, which are difficult to run in real time. We have prototyped a system that can simulate… (More)

- Vijay Ganesh, Murphy Berzish
- ArXiv
- 2016

In recent years there has been considerable interest in theories over string equations, length function, and string-number conversion predicate within the formal verification and computer security communities. SMT solvers for these theories, such as Z3str2, CVC4, and S3, are of immense practical value in exposing security vulnerabilities in string-intensive… (More)

- Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
- 2017 IEEE/ACM 39th International Conference on…
- 2017

We present the Z3strBV solver for a many-sorted first-order quantifier-free theory Tw, bv of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed at formal verification, automated testing, and security analysis of C/C++ applications. Our key motivation for building such a solver is the observation that existing string… (More)

- Murphy Berzish, Bryan Tripp
- BMC Neuroscience
- 2014

The organization of neural systems reflects the specific complexities of the physical environments in which they operate. In order to address this relationship more directly, there is increasing interest in testing real-time neural simulations that interface with the physical world. We describe a new simulation approach that allows us to run large,… (More)

- Yunhui Zheng, Vijay Ganesh, +4 authors Xiangyu Zhang
- Formal Methods in System Design
- 2017

In recent years, string solvers have become an essential component in many formal verification, security analysis, and bug-finding tools. Such solvers typically support a theory of string equations, the length function, and the regular-expression membership predicate. These enable considerable expressive power, which comes at the cost of slow solving time,… (More)

- Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
- CASCON
- 2016

- Murphy Berzish, Yunhui Zheng, Vijay Ganesh
- ArXiv
- 2017

We present a new string SMT solver, Z3str3, that is faster than its competitors Z3str2, Norn, CVC4, S3, and S3P over majority of three industrial-strength benchmarks, namely, Kaluza, PISA, and IBM AppScan. Z3str3 supports string equations, linear arithmetic over length function, and regular language membership predicate. The key algorithmic innovation… (More)

- Nicholas Klassen, Michael Lyons, +5 authors Derek Rayside
- 2017 IEEE 30th Canadian Conference on Electrical…
- 2017

Manifold is a generic high-level system design language designed to resemble modern functional programming languages. It is intended to be usable in a variety of design domains that can be conceptualized with components, connectors, ports, and constraints. Domain-specific backends exist for microfluidic devices and digital logic circuits. In Manifold 2.0 we… (More)

- ‹
- 1
- ›