Travelled to:1 × Germany
1 × India
1 × Spain
1 × Sweden
4 × USA
Collaborated with:B.C.Pierce ∅ S.Krishnamurthi C.Schlesinger D.Walker S.Weirich K.Fisler J.F.Belo A.Igarashi J.Borgström A.D.Gordon J.Margetson J.V.Gael D.M.J.Barbosa J.Cretin N.Foster M.F.Fernández K.Fisher J.N.Foster Y.Mandelbaum L.A.Meyerovich A.Guha J.P.Baskin G.H.Cooper A.Bromfield
Talks about:contract (3) manifest (2) program (2) transform (1) polymorph (1) bayesian (1) toolkit (1) pipelin (1) modular (1) languag (1)
Person: Michael Greenberg
DBLP: Greenberg:Michael
Contributed to:
2015
2014
201120102010
2009
2008
2004Wrote 9 papers:
- POPL-2015-Greenberg #contract
- Space-Efficient Manifest Contracts (MG), pp. 181–194.
- ICFP-2014-SchlesingerGW #concurrent #pipes and filters #policy
- Concurrent NetCore: from policies to pipelines (CS, MG, DW), pp. 11–24.
- ESOP-2011-BeloGIP #contract #polymorphism
- Polymorphic Contracts (JFB, MG, AI, BCP), pp. 18–37.
- ESOP-2011-BorgstromGGMG #machine learning #semantics
- Measure Transformer Semantics for Bayesian Machine Learning (JB, ADG, MG, JM, JVG), pp. 77–96.
- ICFP-2010-BarbosaCFGP #lens
- Matching lenses: alignment and view update (DMJB, JC, NF, MG, BCP), pp. 193–204.
- POPL-2010-GreenbergPW #contract
- Contracts made manifest (MG, BCP, SW), pp. 353–364.
- OOPSLA-2009-MeyerovichGBCGBK #ajax #named #programming language
- Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
- PADL-2008-FernandezFFGM #developer #ml #programming #tool support
- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.
- FSE-2004-KrishnamurthiFG #verification
- Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.