E-LIB Suche - Ergebnisse für: Saad, Feras A.

1

GenSQL: A Probabilistic Programming System for Querying Gen..:

Huot, Mathieu ; Ghavami, Matin ; Lew, Alexander K....
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 790-815 , 2024

Link: https://doi.org/10.1145/..

2

Robust Resource Bounds with Static Analysis and Bayesian In..:

Pham, Long ; Saad, Feras A. ; Hoffmann, Jan
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 76-101 , 2024

Link: https://doi.org/10.1145/..

3

SPPL: probabilistic programming with fast exact symbolic in..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Saad, Feras A. ; Rinard, Martin C. ; Mansinghka, Vikash K. - p. 804-819 , 2021

Link: https://dl.acm.org/doi/1..

4

Optimal approximate sampling from discrete probability dist..:

Saad, Feras A. ; Freer, Cameron E. ; Rinard, Martin C..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-31 , 2019

Link: https://doi.org/10.1145/..

5

Gen: a general-purpose probabilistic programming system wit..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Cusumano-Towner, Marco F. ; Saad, Feras A. ; Lew, Alexander K.. - p. 221-236 , 2019

Link: https://dl.acm.org/doi/1..

6

Elements of a stochastic 3D prediction engine in larval zeb..:

Bolton, Andrew D ; Haesemeyer, Martin ; Jordi, Josua...
eLife. 8 (2019) - p. , 2019

Link: https://doi.org/10.7554/..

7

Bayesian synthesis of probabilistic programs for automatic ..:

Saad, Feras A. ; Cusumano-Towner, Marco F. ; Schaechtle, Ulrich..
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-32 , 2019

Link: https://dl.acm.org/doi/1..

8

Bayesian synthesis of probabilistic programs for automatic ..:

Saad, Feras A. ; Cusumano-Towner, Marco F. ; Schaechtle, Ulrich..
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-32 , 2019

Link: https://doi.org/10.1145/..

9

Optimal approximate sampling from discrete probability dist..:

Saad, Feras A. ; Freer, Cameron E. ; Rinard, Martin C..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-31 , 2019

Link: https://dl.acm.org/doi/1..

10

Sequential Monte Carlo Learning for Time Series Structure D..:

Saad, Feras A ; Patton, Brian J ; Hoffman, Matthew D..
http://arxiv.org/abs/2307.09607. , 2023

Link: http://arxiv.org/abs/230..

11

SPPL: probabilistic programming with fast exact symbolic in..:

Saad, Feras A ; Rinard, Martin C ; Mansinghka, Vikash K
10.1145/3453483.3454078. , 2022

Link: https://hdl.handle.net/1..

12

Estimators of Entropy and Information via Inference in Prob..:

Saad, Feras A ; Cusumano-Towner, Marco ; Mansinghka, Vikash K
http://arxiv.org/abs/2202.12363. , 2022

Link: http://arxiv.org/abs/220..

13

Elements of a stochastic 3D prediction engine in larval zeb..:

Bolton, Andrew D ; Haesemeyer, Martin ; Jordi, Josua...
10.7554/ELIFE.51975. , 2021

Link: https://hdl.handle.net/1..

14

Hierarchical Infinite Relational Model:

Saad, Feras A ; Mansinghka, Vikash K
http://arxiv.org/abs/2108.07208. , 2021

Link: http://arxiv.org/abs/210..

15

Optimal approximate sampling from discrete probability dist..:

Saad, Feras A ; Freer, Cameron E ; Rinard, Martin C.
10.1145/3371104. , 2021

Link: https://hdl.handle.net/1..