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 × India
1 × USA
Collaborated with:
A.C.Myers N.Foster D.Kozen A.Silva L.Thompson J.G.Politz A.Martinez S.Warren D.Patterson J.Li A.Chitipothu S.Krishnamurthi
Talks about:
mix (2) geodistribut (1) coalgebra (1) transact (1) procedur (1) languag (1) consist (1) python (1) monti (1) decis (1)

Person: Matthew Milano

DBLP DBLP: Milano:Matthew

Contributed to:

POPL 20152015
OOPSLA 20132013
PLDI 20182018

Wrote 3 papers:

POPL-2015-FosterKM0T #algebra
A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.
OOPSLA-2013-PolitzMMWPLCK #named #python
Python: the full monty (JGP, AM, MM, SW, DP, JL, AC, SK), pp. 217–232.
PLDI-2018-MilanoM #consistency #named #transaction
MixT: a language for mixing consistency in geodistributed transactions (MM, ACM), pp. 226–241.

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.