{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T19:27:43Z","timestamp":1786476463874,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T00:00:00Z","timestamp":1786406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,8,17]]},"DOI":"10.1145\/3789240.3829151","type":"proceedings-article","created":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T18:33:22Z","timestamp":1786473202000},"page":"897-921","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["\u03bb\n                    <sub>\u03bb<\/sub>\n                    : A Programming Language for Silicon Photonics"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2357-3023","authenticated-orcid":false,"given":"Vaibhav","family":"Mehta","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2866-9824","authenticated-orcid":false,"given":"Arjun","family":"Devraj","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6845-0063","authenticated-orcid":false,"given":"Bill","family":"Owens","sequence":"additional","affiliation":[{"name":"Nysernet, Syracuse, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8953-7060","authenticated-orcid":false,"given":"Justin","family":"Hsu","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8118-3026","authenticated-orcid":false,"given":"Rachee","family":"Singh","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,8,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535862"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"Hitesh Ballani Paolo Costa Raphael Behrendt Daniel Cletheroe Istv\u00e1n Haller Krzysztof Jozwik Fotini Karinou Sophie Lange Kai Shi Benn Thomsen and Hugh Williams. 2020. Sirius: A Flat Datacenter Network with Nanosecond Optical Switching. In SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications technologies architectures and protocols for computer communication Virtual Event USA August 10\u201314 2020 Henning Schulzrinne and Vishal Misra (Eds.). ACM 782\u2013797. 10.1145\/3387514.3406221","DOI":"10.1145\/3387514.3406221"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2017.31"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Michael Greenberg and David Walker. 2016. Temporal NetKAT. In PLDI. 386\u2013401.","DOI":"10.1145\/2908080.2908108"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_1_8_1","volume-title":"Programmable integrated photonics","author":"Capmany Jos\u00e9","unstructured":"Jos\u00e9 Capmany and Daniel P\u00e9rez. 2020. Programmable integrated photonics. Oxford University Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316084168"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1364\/OPTICA.3.001460"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1953.tb01433.x"},{"key":"e_1_3_2_1_12_1","unstructured":"NVIDIA Corporation. [n. d.]. Co-Packaged Silicon Photonics Networking Switches. https:\/\/www.nvidia.com\/en-us\/networking\/products\/silicon-photonics\/. ([n. d.]). Accessed: 2025-04-08."},{"key":"e_1_3_2_1_13_1","volume-title":"In-Network Analog AllReduce for ML with Programmable Integrated Photonics. In 2026 Optical Fiber Communications Conference and Exhibition (OFC). 1\u20133.","author":"Devraj Arjun","year":"2026","unstructured":"Arjun Devraj, Bill Owens, Daniel P\u00e9rez-L\u00f3pez, and Rachee Singh. 2026. In-Network Analog AllReduce for ML with Programmable Integrated Photonics. In 2026 Optical Fiber Communications Conference and Exhibition (OFC). 1\u20133."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1364\/OFC.2025.W2A.41"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851275.1851223"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_18_1","unstructured":"Peng Fu Kohei Kishida Neil J. Ross and Peter Selinger. 2022. Proto-Quipper with dynamic lifting. (2022). arXiv:cs.PL\/2204.13041 https:\/\/arxiv.org\/abs\/2204.13041"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(3:28)2022"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934911"},{"key":"e_1_3_2_1_21_1","volume-title":"Linear logic. Theoretical computer science 50, 1","author":"Girard Jean-Yves","year":"1987","unstructured":"Jean-Yves Girard. 1987. Linear logic. Theoretical computer science 50, 1 (1987), 1\u2013101."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592576"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626328"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1364\/OPTICA.5.001623"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCS55958.2022.9895610"},{"key":"e_1_3_2_1_26_1","volume-title":"Johnson","author":"Horn Roger A.","year":"1985","unstructured":"Roger A. Horn and Charles R. Johnson. 1985. Matrix Analysis. Cambridge University Press."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.optcom.2020.125677"},{"key":"e_1_3_2_1_28_1","unstructured":"iPronics. 2026. iPronics ONE Silicon Photonics Optical Switch. https:\/\/ipronics.com\/product\/. (2026)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1364\/OL.427289"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Norman P. Jouppi George Kurian Sheng Li Peter Ma Rahul Nagarajan Lifeng Nai Nishant Patil Suvinay Subramanian Andy Swing Brian Towles Cliff Young Xiang Zhou Zongwei Zhou and David Patterson. 2023. TPU v4: An Optically Reconfigurable Supercomputer for Machine Learning with Hardware Support for Embeddings. (2023). arXiv:cs.AR\/2304.01433 https:\/\/arxiv.org\/abs\/2304.01433","DOI":"10.1145\/3579371.3589350"},{"key":"e_1_3_2_1_31_1","unstructured":"Vaibhav Mehta. 2026. LambdaLambda Compiler. (June 2026). https:\/\/github.com\/vaibhavmehta1\/LambdaLambda\/"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098838"},{"key":"e_1_3_2_1_33_1","unstructured":"Christopher Monsanto Joshua Reich Nate Foster Jennifer Rexford and David Walker. 2013. Composing Software Defined Networks. In NSDI."},{"key":"e_1_3_2_1_34_1","volume-title":"Unique RL Methodology, Capital Raise. SemiAnalysis. (Sept.","author":"Ontiveros Jeremie Eliahou","year":"2025","unstructured":"Jeremie Eliahou Ontiveros, Dylan Patel, and Wei Zhou. 2025. xAI's Colossus 2 - First Gigawatt Datacenter In The World, Unique RL Methodology, Capital Raise. SemiAnalysis. (Sept. 2025). https:\/\/newsletter.semianalysis.com\/p\/xais-colossus-2-first-gigawatt-datacenter Accessed: 2026-01-23."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1364\/OE.24.012093"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1076265"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486007"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.73.58"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1002\/0470014180"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1955-0068740-7"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1038\/nphoton.2017.93"},{"key":"e_1_3_2_1_43_1","volume-title":"Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism. CoRR abs\/1909.08053","author":"Shoeybi Mohammad","year":"2019","unstructured":"Mohammad Shoeybi, Mostofa Patwary, Raul Puri, Patrick LeGresley, Jared Casper, and Bryan Catanzaro. 2019. Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism. CoRR abs\/1909.08053 (2019). arXiv:1909.08053 http:\/\/arxiv.org\/abs\/1909.08053"},{"key":"e_1_3_2_1_44_1","volume-title":"Shoal: A Network Architecture for Disaggregated Racks. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Shrivastav Vishal","year":"2019","unstructured":"Vishal Shrivastav, Asaf Valadarsky, Hitesh Ballani, Paolo Costa, Ki Suh Lee, Han Wang, Rachit Agarwal, and Hakim Weatherspoon. 2019. Shoal: A Network Architecture for Disaggregated Racks. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). USENIX Association, Boston, MA, 255\u2013270. https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/shrivastav"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787508"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787508"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934900"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472903"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2676999"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696348.3696856"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3779212.3790238"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(93)E0177-Z"},{"key":"e_1_3_2_1_53_1","volume-title":"Programming concepts and methods","author":"Wadler Philip","unstructured":"Philip Wadler. 1990. Linear types can change the world!. In Programming concepts and methods, Vol. 3. North-Holland, Amsterdam, 5."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/507669.507658"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851275.1851222"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1364\/OFC.2025.W4D.5"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563297"},{"key":"e_1_3_2_1_58_1","volume-title":"Minimal Rewiring: Efficient Live Expansion for Clos Data Center Networks. In 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019","author":"Zhao Shizhen","year":"2019","unstructured":"Shizhen Zhao, Rui Wang, Junlan Zhou, Joon Ong, Jeffrey C. Mogul, and Amin Vahdat. 2019. Minimal Rewiring: Efficient Live Expansion for Clos Data Center Networks. In 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26\u201328, 2019, Jay R. Lorch and Minlan Yu (Eds.). USENIX Association, 221\u2013234. https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/zhao"},{"key":"e_1_3_2_1_59_1","volume-title":"21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)","author":"Zu Yazhou","year":"2024","unstructured":"Yazhou Zu, Alireza Ghaffarkhah, Hoang-Vu Dang, Brian Towles, Steven Hand, Safeen Huda, Adekunle Bello, Alexander Kolbasov, Arash Rezaei, Dayou Du, Steve Lacy, Hang Wang, Aaron Wisner, Chris Lewis, and Henri Bahini. 2024. Resiliency at Scale: Managing Google's TPUv4 Machine Learning Supercomputer. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). USENIX Association, Santa Clara, CA, 761\u2013774. https:\/\/www.usenix.org\/conference\/nsdi24\/presentation\/zu"}],"event":{"name":"SIGCOMM '26: ACM SIGCOMM 2026 Conference","location":"Colorado Convention Center Denver CO USA","acronym":"SIGCOMM '26","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2026 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3789240.3829151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T18:39:31Z","timestamp":1786473571000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3789240.3829151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,11]]},"references-count":59,"alternative-id":["10.1145\/3789240.3829151","10.1145\/3789240"],"URL":"https:\/\/doi.org\/10.1145\/3789240.3829151","relation":{},"subject":[],"published":{"date-parts":[[2026,8,11]]},"assertion":[{"value":"2026-08-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}