January 4, 2024

Supun’s work on building an efficient Datalog compiler for program analysis was recognized as a distinguished paper at POPL. Congrats Supun!