Marcin Szymczak

Orcid: 0000-0001-7706-0376

Affiliations:

RWTH Aachen University, Germany
University of Oxford, UK

According to our database¹, Marcin Szymczak authored at least 5 papers between 2015 and 2020.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

Weakest Preexpectation Semantics for Bayesian Inference.

[BibT_eX]

[DOI]

Marcin Szymczak

Joost-Pieter Katoen

CoRR, 2020

2019

Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence.

[BibT_eX]

[DOI]

Marcin Szymczak

Joost-Pieter Katoen

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

2016

Fabular: regression formulas as probabilistic programming.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A lambda-calculus foundation for universal probabilistic programming.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Probabilistic Programs as Spreadsheet Queries.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

Marcin Szymczak

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...