λλ: Eine Programmiersprache für Siliziumphotonik
λλ: A Programming Language for Silicon Photonics

λλ ist eine neue Programmiersprache für Siliziumphotonik, die mit einem linearen Typsystem die physikalischen Grenzen der Optik abbildet und unzulässige Programme bereits zur Compile-Zeit ablehnt. Der Compiler übersetzt typisierte Programme in eine graphbasierte Zwischendarstellung und löst dann ein eingeschränktes Einbettungsproblem, um diese Graphen auf beliebige Silizium-Photonik-Schalter abzubilden und den Signalverlust zu minimieren. Validiert auf einem kommerziellen Schalter, skaliert λλ auf über 100.000 programmierbare Elemente und bewältigt Programme mit 128 Ein-/Ausgangspaaren. Ein Synthesizer generiert automatisch λλ-Programme aus High-Level-Spezifikationen, sodass Nutzer photonische Hardware ohne Kenntnis optischer Primitive programmieren können.
λλ verwendet ein lineares Typsystem, um die physikalischen Zwänge der Optik zu kodieren und unzulässige Programme bereits zur Compile-Zeit abzulehnen.