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:
2015
2013
2012
2012
2011
2010Wrote 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.