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 × 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 DBLP: Greenberg:Michael

Contributed to:

POPL 20152015
ICFP 20142014
ESOP 20112011
ICFP 20102010
POPL 20102010
OOPSLA 20092009
PADL 20082008
FSE 20042004

Wrote 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.

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.