λλ es un lenguaje de programación diseñado específicamente para programar interruptores fotónicos de silicio, un tipo de hardware óptico usado en centros de datos de alta velocidad y en computación analógica en red. Su elemento diferenciador es un sistema de tipos lineales que codifica las restricciones físicas de la óptica: si un programa no es realizable físicamente, el compilador lo rechaza antes de ejecutarse, evitando errores costosos en hardware.
El compilador funciona en varias etapas. Primero traduce los programas bien tipados a una representación intermedia basada en grafos. A continuación, resuelve un problema de embedding con restricciones para mapear esos grafos sobre cualquier interruptor fotónico de silicio disponible, minimizando la pérdida de señal durante la asignación.
Los autores validaron λλ sobre un interruptor fotónico comercial y demostraron su correcto funcionamiento en tres escenarios: conmutación de circuitos, conmutación tipo rotor (rotor switching) con variación temporal y computación analógica dentro de la red. En las pruebas de escalabilidad, el compilador manejó interruptores con más de 100.000 elementos programables y programas con hasta 128 pares de entrada-salida.
Además, los investigadores desarrollaron un sintetizador que genera automáticamente programas λλ a partir de especificaciones de alto nivel. Esto permite programar hardware fotónico sin necesidad de razonar manualmente sobre las primitivas ópticas subyacentes, reduciendo la barrera de entrada para ingenieros y operadores de redes. El trabajo se presentó en el ACM SIGCOMM 2026.