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 × The Netherlands
1 × United Kingdom
2 × Japan
2 × USA
Collaborated with:
N.Toronto E.Mercer D.V.Horn Y.Huang T.Disney C.Flanagan E.Morse N.Vrvilo
Talks about:
program (2) zfc (2) probabilist (1) asynchron (1) contract (1) bayesian (1) backward (1) theoret (1) probabl (1) paradis (1)

Person: Jay McCarthy

DBLP DBLP: McCarthy:Jay

Contributed to:

ESOP 20152015
ASE 20132013
FLOPS 20122012
VMCAI 20122012
ICFP 20112011
IFL 20102010

Wrote 6 papers:

ESOP-2015-TorontoMH #probability #source code
Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.
ASE-2013-HuangMM #proving #smt #using
Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.
Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.
VMCAI-2012-MorseVMM #c #message passing #modelling #source code
Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
ICFP-2011-DisneyFM #contract #higher-order
Temporal higher-order contracts (TD, CF, JM), pp. 176–188.
IFL-2010-TorontoM #probability
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.

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.