λλ: 실리콘 포토닉스용 프로그래밍 언어
λλ: A Programming Language for Silicon Photonics

ACM SIGCOMM 2026에서 발표된 논문으로, 실리콘 포토닉스 스위치를 프로그래밍하기 위한 언어 λλ를 소개한다. λλ는 선형 타입 시스템을 사용하여 광학의 물리적 제약을 컴파일 타임에 검증하고, 신호 손실을 최소화하면서 그래프 기반 중간 표현을 임의의 실리콘 포토닉 스위치 하드웨어에 매핑한다. 상용 스위치에서 회로 스위칭, 시간 변화형 로터 스위칭, 아날로그 인-네트워크 컴퓨팅 등 다양한 작업을 검증했으며, 10만 개 이상의 프로그래머블 요소와 128개의 입출력 쌍을 처리할 수 있다. 또한 고수준 사양에서 λλ 프로그램을 자동 생성하는 신시사이저를 개발하여 사용자가 광학 프리미티브를 몰라도 프로그래밍할 수 있게 한다.
λλ는 광학의 물리적 제약을 선형 타입 시스템으로 인코딩하여, 실행 불가능한 프로그램을 컴파일 타임에 거부한다.