default search action

combined dblp search
author search
venue search
publication search

ask others

Mae Milano

> Home > Persons

Person information

affiliation: University of California, Berkeley, Sky Computing Lab, CA, USA
affiliation (former, PhD 2020): Cornell University, Ithaca, NY, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NagasamudramBBMN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NagasamudramBBMN24
Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann:
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. NFM 2024: 99-117
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/farm/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/farm/2024
Mae Milano, Stephen Taylor:
Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2024, Milan, Italy, 2 September 2024. ACM 2024, ISBN 979-8-4007-1099-5 [contents]
2023
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BrandonDDBM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BrandonDDBM23
William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano:
Better Defunctionalization through Lambda Set Specialization. Proc. ACM Program. Lang. 7(PLDI): 977-1000 (2023)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/applied/HellersteinLMPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applied/HellersteinLMPS23
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel:
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. ApPLIED@PODC 2023: 5:1-5:10
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BirmanJMRST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BirmanJMRST23
Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel:
Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho. SSS 2023: 172-190
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/farm/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/farm/2023
Mae Milano, John Leo:
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2023, Seattle, WA, USA, 8 September 2023. ACM 2023 [contents]
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-14614
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-14614
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel:
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. CoRR abs/2305.14614 (2023)
2022
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LaddadPMCH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LaddadPMCH22
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein:
Katara: synthesizing CRDTs with verified lifting. Proc. ACM Program. Lang. 6(OOPSLA2): 1349-1377 (2022)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/LaddadPMCCH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/LaddadPMCCH22
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein:
Keep CALM and CRDT On. Proc. VLDB Endow. 16(4): 856-863 (2022)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MilanoTM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MilanoTM22
Mae Milano, Joshua Turcotti, Andrew C. Myers:
A flexible type system for fearless concurrency. PLDI 2022: 458-473
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-12425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-12425
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein:
Synthesizing CRDTs from Sequential Data Types with Verified Lifting. CoRR abs/2205.12425 (2022)
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-12605
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-12605
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein:
Keep CALM and CRDT On. CoRR abs/2210.12605 (2022)
2021
[c6]
- view
  - electronic edition @ cidrdb.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cidr/CheungCHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cidr/CheungCHM21
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano:
New Directions in Cloud Programming. CIDR 2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-01159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-01159
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano:
New Directions in Cloud Programming. CoRR abs/2101.01159 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/MilanoRMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/MilanoRMM19
Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers:
A Tour of Gallifrey, a Language for Geodistributed Programming. SNAPL 2019: 11:1-11:19
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/JhaBGMSTRZB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/JhaBGMSTRZB19
Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Robbert van Renesse, Sydney Zink, Kenneth P. Birman:
Derecho: Fast State Machine Replication for Cloud Services. ACM Trans. Comput. Syst. 36(2): 4:1-4:49 (2018)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MilanoM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MilanoM18
Mae Milano, Andrew C. Myers:
MixT: a language for mixing consistency in geodistributed transactions. PLDI 2018: 226-241
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/JhaBGMSTZBR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/JhaBGMSTZBR17
Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Sydney Zink, Ken Birman, Robbert van Renesse:
Building smart memories and high-speed cloud services for the internet of things with derecho. SoCC 2017: 632
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FosterKM0T15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FosterKM0T15
Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson:
A Coalgebraic Decision Procedure for NetKAT. POPL 2015: 343-355
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PolitzMMWPLCK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PolitzMMWPLCK13
Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi:
Python: the full monty. OOPSLA 2013: 217-232

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.