Concepedia

Mae Milano

MM

7

Publications

253

Citations

7

H-Index

2013

Active since

Affiliations

Cornell University(Current)

University of California, Berkeley

Mae Milano is an author at Cornell University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningDistributed SystemsFormal Specification

Publications per year

2013–2022

7

Publications

7

A Coalgebraic Decision Procedure for NetKAT

Nate Foster, Dexter Kozen, Mae Milano et al. · 2014 · 92 citations

Kleene Algebra, Engineering, Network Planning +20

Joe Gibbs Politz, Alejandro Martínez, Mae Milano et al. · 2013 · 41 citations

Engineering, Verification, Software Engineering +16

Sagar Jha, Jonathan Behrens, Theo Gkountouvas et al. · ACM Transactions on Computer Systems · 2018 · 38 citations

Cluster Computing, Engineering, Distributed Computing +12

MixT: a language for mixing consistency in geodistributed transactions

Mae Milano, Andrew C. Myers · 2018 · 34 citations · Full text

Engineering, Transaction Processing, Semantic Web +20

Katara: synthesizing CRDTs with verified lifting

Shadaj Laddad, Conor Power, Mae Milano et al. · Proceedings of the ACM on Programming Languages · 2022 · 23 citations · Full text

Engineering, Verification, Software Engineering +21

Rows per page

1–5 of 7