Publications

Here is a semi-regularly updated list of my publications. DBLP and Google Scholar also do a good job keeping track of me.

CNSNS '24

CNSNS '24

Optimal control for sampling the
transition path process and estimating rates

J. Yuan, A. Shah, C. Bentz and M. Cameron

AAAI '24

An Eager SMT solver for Algebraic Datatypes

A. Shah, F. Mora and S. A. Seshia

PLDI SRC '23

PLDI SRC '23

An Eager SMT Solver for Algebraic Data Type Queries

A. Shah