`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: McCarthy:Jay

### Contributed to:

### 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.
- FLOPS-2012-TorontoM
- 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.