المؤلفون: Hellerstein, Joseph M., Laddad, Shadaj, Milano, Mae, Power, Conor, Samuel, Mingwei

المصدر: The 5th workshop on Advanced tools, program- ming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems (ApPLIED 2023), June 19, 2023, Orlando, FL, USA

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Databases, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2305.14614

المؤلفون: Brandon, William, Driscoll, Benjamin, Dai, Frank, Berkow, Wilson, Milano, Mae

المصدر: Proceedings of the ACM on Programming Languages. 7(PLDI)

مصطلحات موضوعية: monomorphization, defunctionalization, type systems

URL الوصول: https://escholarship.org/uc/item/9rf0m50t

المؤلفون: Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M.

مصطلحات موضوعية: Computer Science - Databases

URL الوصول: http://arxiv.org/abs/2210.12605

المؤلفون: Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Hellerstein, Joseph M.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, D.1.2

URL الوصول: http://arxiv.org/abs/2205.12425

المؤلفون: Milano, Mae, Turcotti, Joshua, Myers, Andrew C

مصطلحات موضوعية: Information and Computing Sciences, Software Engineering, concurrency, type systems, aliasing

URL الوصول: https://escholarship.org/uc/item/3bn932dm

المؤلفون: Birman, Ken^Aff9, Jha, Sagar^Aff9, Milano, Mae^Aff10, Rosa, Lorenzo^{Aff9, Aff11}, Song, Weijia^Aff9, Tremel, Edward^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Dolev, Shlomi, editor^Aff7, Schieber, Baruch, editor^Aff8

المصدر: Stabilization, Safety, and Security of Distributed Systems : 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2–4, 2023, Proceedings. 14310:172-190

المؤلفون: Cheung, Alvin, Crooks, Natacha, Hellerstein, Joseph M., Milano, Mae

المصدر: CIDR 2021

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Databases, Computer Science - Operating Systems, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2101.01159

المؤلفون: Milano, Mae, Myers, Andrew C

المصدر: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. 53(4)

مصطلحات موضوعية: Consistency, Transactions, Information Flow, Software Engineering

URL الوصول: https://escholarship.org/uc/item/0269s777

المؤلفون: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science, Brandon, William, Driscoll, Benjamin, Dai, Frank, Berkow, Wilson, Milano, Mae

المصدر: Association for Computing Machinery

مصطلحات الفهرس: Article, http://purl.org/eprint/type/JournalArticle

URL: https://hdl.handle.net/1721.1/150980
https://doi.org/10.1145/3591260
https://doi.org/10.1145/3591260
Proceedings of the ACM on Programming Languages

المؤلفون: Milano, Mae, Recto, Rolph, Magrino, Tom, Myers, Andrew C.

مصطلحات موضوعية: distributed systems, Software and its engineering → Distributed programming languages, Software and its engineering → Massively parallel systems, programming languages, weak consistency, linear types, Software and its engineering → Cooperating communicating processes

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8b010cddb020a89e886dc1f639e18b5b