Publications
- Thesis Proposal: Polarized Subtyping | Carnegie Mellon University (PhD) | Advised by Frank Pfenning | Author: Zeeshan Lakhani
- Polarized Subtyping | ESOP 2022 | Springer version | arXiv version | Artifact | Authors: Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, and Frank Pfenning
- Checking-in on Network Functions | ANRW 2019 | arXiv version | Authors: Zeeshan Lakhani and Heather Miller
- Towards a Solution to the Red Wedding Problem | HotEdge 2018 | Authors: Christopher S. Meiklejohn, Heather Miller, and Zeeshan Lakhani
- Big(ger) Sets: decomposed delta CRDT Sets in Riak | PaPoc 2016 | arXiv version | Related Presentation | Authors: Russell Brown, Zeeshan Lakhani, and Paul Place
- Visualizing The Temporal Nature Of Music: Extracting, Matching, Clustering, and Representing Chord Progressions | New York University (Master's Thesis) | Advised by Juan P. Bello | Author: Zeeshan Lakhani