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: Milano:Matthew
Contributed to:
2015
2013
2018Wrote 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.