Ryan Bernstein

According to our database, Ryan Bernstein authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Abstractions for Probabilistic Programming to Support Model Development

Ryan Bernstein

PhD thesis, 2023

2022

Multi-Model Probabilistic Programming.

Ryan Bernstein

CoRR, 2022

2020

Transforming Probabilistic Programs for Model Checking.

Ryan Bernstein, Matthijs Vákár, Jeannette M. Wing

Proceedings of the FODS '20: ACM-IMS Foundations of Data Science Conference, 2020

2019

Static Analysis for Probabilistic Programs.

Ryan Bernstein

CoRR, 2019