BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Russia
1 × USA
1 × Uruguay
2 × Italy
2 × United Kingdom
Collaborated with:
A.D.Gordon C.V.Russo T.Graepel I.G.Baltopoulos K.Bhargavan G.Claret S.K.Rajamani A.V.Nori M.Szymczak N.Rolland S.Bhat M.Greenberg J.Margetson J.V.Gael J.Guiver Long Ouyang A.Scibior D.Tarlow S.Huang M.Johansson P.Raabjerg B.Victor J.Å.Pohjola J.Parrow M.Aizatulin
Talks about:
probabilist (4) program (4) bayesian (3) function (2) spreadsheet (1) transform (1) broadcast (1) wireless (1) protocol (1) maintain (1)

Person: Johannes Borgström

DBLP DBLP: Borgstr=ouml=m:Johannes

Contributed to:

ESOP 20152015
POPL 20142014
ESEC/FSE 20132013
POPL 20132013
TACAS 20132013
ECOOP 20112011
ESOP 20112011
SEFM 20112011
Haskell 20092009
POPL 20162016

Wrote 10 papers:

ESOP-2015-GordonRSBRGT #probability #query #source code #spreadsheet
Probabilistic Programs as Spreadsheet Queries (ADG, CVR, MS, JB, NR, TG, DT), pp. 1–25.
POPL-2014-GordonGRRBG #named #probability #programming language
Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
ESEC-FSE-2013-ClaretRNGB #analysis #data flow #using
Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
POPL-2013-GordonABCGNRR #reasoning
A model-learner pattern for bayesian reasoning (ADG, MA, JB, GC, TG, AVN, SKR, CVR), pp. 403–416.
TACAS-2013-BhatBGR #functional #probability #source code
Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
ECOOP-2011-BaltopoulosBG #database #maintenance #refinement
Maintaining Database Integrity with Refinement Types (IGB, JB, ADG), pp. 484–509.
ESOP-2011-BorgstromGGMG #machine learning #semantics
Measure Transformer Semantics for Bayesian Machine Learning (JB, ADG, MG, JM, JVG), pp. 77–96.
SEFM-2011-BorgstromHJRVPP #calculus #protocol
Broadcast Psi-calculi with an Application to Wireless Protocols (JB, SH, MJ, PR, BV, JÅP, JP), pp. 74–89.
Haskell-2009-BorgstromBG #composition #haskell
A compositional theory for STM Haskell (JB, KB, ADG), pp. 69–80.
POPL-2016-BorgstromGORSS #named #probability #programming
Fabular: regression formulas as probabilistic programming (JB, ADG, LO, CVR, AS, MS), pp. 271–283.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.