E-LIB Suche - Ergebnisse für: Milano, Mae

1

Verifying a C Implementation of Derecho's Coordination Mech..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Nagasamudram, Ramana ; Beringer, Lennart ; Birman, Ken.. - p. 99-117 , 2024

2

Invited Paper: Initial Steps Toward a Compiler for Distribu..:

, In: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems,

Hellerstein, Joseph M. ; Laddad, Shadaj ; Milano, Mae.. - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

3

Proceedings of the 11th ACM SIGPLAN International Workshop ..:

Milano, Mae ; Leo, John , 2023

Link: https://dl.acm.org/doi/1..

4

Invited Paper: Monotonicity and Opportunistically-Batched A..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,

Birman, Ken ; Jha, Sagar ; Milano, Mae... - p. 172-190 , 2023

Link: https://doi.org/10.1007/..

5

A flexible type system for fearless concurrency:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Milano, Mae ; Turcotti, Joshua ; Myers, Andrew C. - p. 458-473 , 2022

Link: https://dl.acm.org/doi/1..

6

Katara: synthesizing CRDTs with verified lifting:

Laddad, Shadaj ; Power, Conor ; Milano, Mae..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1349-1377 , 2022

Link: https://doi.org/10.1145/..

7

Derecho: Fast State Machine Replication for Cloud Services:

Jha, Sagar ; Behrens, Jonathan ; Gkountouvas, Theo...
ACM Transactions on Computer Systems. 36 (2018) 2 - p. 1-49 , 2018

Link: https://doi.org/10.1145/..

8

MixT: a language for mixing consistency in geodistributed t..:

Milano, Mae ; Myers, Andrew C.
ACM SIGPLAN Notices. 53 (2018) 4 - p. 226-241 , 2018

Link: https://doi.org/10.1145/..

9

A Coalgebraic Decision Procedure for NetKAT:

Foster, Nate ; Kozen, Dexter ; Milano, Mae..
ACM SIGPLAN Notices. 50 (2015) 1 - p. 343-355 , 2015

Link: https://doi.org/10.1145/..

10

Python: the full monty:

Politz, Joe Gibbs ; Martinez, Alejandro ; Milano, Mae...
ACM SIGPLAN Notices. 48 (2013) 10 - p. 217-232 , 2013

Link: https://doi.org/10.1145/..

11

Invited Paper: Initial Steps Toward a Compiler for Distribu..:

Hellerstein, Joseph M ; Laddad, Shadaj ; Milano, Mae..
http://arxiv.org/abs/2305.14614. , 2023

Link: http://arxiv.org/abs/230..

12

Better Defunctionalization through Lambda Set Specializatio:

Brandon, William ; Driscoll, Benjamin ; Dai, Frank..
https://doi.org/10.1145/3591260. , 2023

Link: https://hdl.handle.net/1..

13

Better Defunctionalization through Lambda Set Specializatio:

Brandon, William ; Driscoll, Benjamin ; Dai, Frank..
qt9rf0m50t. , 2023

Link: https://escholarship.org..

14

Katara: Synthesizing CRDTs with Verified Lifting:

Laddad, Shadaj ; Power, Conor ; Milano, Mae..
qt812021b7. , 2022

Link: https://escholarship.org..

15

Keep CALM and CRDT On:

Laddad, Shadaj ; Power, Conor ; Milano, Mae...
qt6m41g3fc. , 2022

Link: https://escholarship.org..