3 papers by FOCS Lab accepted to POPL 2027Oct 6, 2026Three papers accepted to POPL 2027:Validating Concurrent Correctness Witnesses by Thread-Modular Abstract InterpretationA Type System for Communication Safe Hardware DesignApproximate Counting for Symbolic Automata