Zenna Tavares bio photo

Zenna Tavares

I'm a Ph.D candidate at MIT. I think about how to build computer programs that think as humans think. You can contact me on zenna[at]mit[dot]edu

Email Github

Projects

Active Projects

Omega

Omega is a library for Causal, Higher-Order, Probabilistic Programming

Arrows: Parametric Inversion

Arrows is a library for parametric inversion of programs

RayTrace

RayTrace.jl is a simple raytracer in Julia

Software Tools

Spec

Spec.jl is simple library for writing specifications of code

AbstractDomains

AbstractDomains.jl is a Julia package for abstract interpretation.

Lens

Lens.jl is a simple Julia package to dynamically inspect and extract values deep within your program, with minimal interference to the program itself.

Ports and Wrappers

TensorBoard.jl

TensorBoard.jl is a Julia interface to the TensorBoard

DReal.jl

DReal.jl is a Julia interface to the dreal nonlinear SMT solver.

Z3.jl

Z3.jl is a Julia interface to the Z3 theorem prover.

Deprecated Projects

Sigma

Sigma.jl is a probabilistic programming environment based in Julia. The functionality of Sigma is being transferred to Omega and Arrows