Big(ger) sets: decomposed delta CRDT sets in Riak. - Russell Brown; Zeeshan Lakhani; Paul Place (PaPoC@EuroSys, 2016)

Towards a Solution to the Red Wedding Problem. - Christopher Meiklejohn; Heather Miller; Zeeshan Lakhani (HotEdge, 2018)

Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs. - Zeeshan Lakhani; Heather Miller (CoRR, 2018)

Checking-in on network functions. - Zeeshan Lakhani; Heather Miller (ANRW, 2019)

Polarized Subtyping. - Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ESOP, 2022)