Algebras for weighted search. - Donnacha Oisín Kidney; Nicolas Wu (Proc. ACM Program. Lang., 2021)

Breadth-First Traversal via Staging. - Jeremy Gibbons; Donnacha Oisín Kidney; Tom Schrijvers; Nicolas Wu (MPC, 2022)

Phases in Software Architecture. - Jeremy Gibbons; Donnacha Oisín Kidney; Tom Schrijvers; Nicolas Wu (FUNARCH, 2023)

Algebraic Effects Meet Hoare Logic in Cubical Agda. - Donnacha Oisín Kidney; Zhixuan Yang; Nicolas Wu (Proc. ACM Program. Lang., 2024)

Formalising Graph Algorithms with Coinduction. - Donnacha Oisín Kidney; Nicolas Wu (Proc. ACM Program. Lang., 2025)