Johannes Borgstrm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2004–2021
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ESOP | Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. | Daniel Lundn, Johannes Borgstrm, David Broman |
| 2017 | FORTE | Weak Nominal Modal Logic. | Joachim Parrow, Tjark Weber, Johannes Borgstrm, Lars-Henrik Eriksson |
| 2016 | ICFP | A lambda-calculus foundation for universal probabilistic programming. | Johannes Borgstrm, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak |
| 2016 | POPL | Fabular: regression formulas as probabilistic programming. | Johannes Borgstrm, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak |
| 2015 | CONCUR | Modal Logics for Nominal Transition Systems. | Joachim Parrow, Johannes Borgstrm, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
| 2015 | ESOP | Probabilistic Programs as Spreadsheet Queries. | Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgstrm, Nicolas Rolland, Thore Graepel, Daniel Tarlow |
| 2014 | POPL | Tabular: a schema-driven probabilistic programming language. | Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgstrm, John Guiver |
| 2013 | POPL | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2013 | TACAS | Deriving Probability Density Functions from Probabilistic Functional Programs. | Sooraj Bhat, Johannes Borgstrm, Andrew D. Gordon, Claudio V. Russo |
| 2011 | ECOOP | Maintaining Database Integrity with Refinement Types. | Ioannis G. Baltopoulos, Johannes Borgstrm, Andrew D. Gordon |
| 2011 | ESOP | Measure Transformer Semantics for Bayesian Machine Learning. | Johannes Borgstrm, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
| 2011 | SEFM | Broadcast Psi-calculi with an Application to Wireless Protocols. | Johannes Borgstrm, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Bjrn Victor, Johannes man Pohjola, Joachim Parrow |
| 2009 | HASKELL | A compositional theory for STM Haskell. | Johannes Borgstrm, Karthikeyan Bhargavan, Andrew D. Gordon |
| 2004 | CONCUR | Symbolic Bisimulation in the Spi Calculus. | Johannes Borgstrm, Sbastien Briais, Uwe Nestmann |