Holla Y'all
🌊. I'm Zeeshan. I am
- an engineer @ the Oxide Computer Company;
- a Ph.D. student @ Carnegie Mellon University’s School of Computer Science, studying Programming Language Theory with Frank Pfenning, focusing on Polarized Subtyping;
: a co-founder and co-organizer of Papers We Love and PWLConf.
Formerly, I was
- a staff engineer @ Fission, where I worked on local-first software and led efforts on Homestar, an IPVM reference implementation for open-world computing and Wasm execution, and rust-template;
- a director of fraud engineering and strategic research @ BlockFi, where I also wrote about composing observable Rust applications and co-ran engineering hiring;
- a principal engineer @ Comcast, driving programmable networking, modern network function development, and traffic steering and NLBs;
- a software engineer working on impactful distributed systems (Riak) @ Basho, particularly Riak Search, Hyperloglog data types, and Bigger Sets (delta CRDT sets).
- an engineer who co-wrote the Readability 2.0 iOS app while @ Arc90;
- an engineer and researcher who helped drive interactive content @ the NYPL Labs.
You can find more information about my presentations and what I've worked on in my resume. Check out what I'm currently into and researching Research and Reading, find code and other pastebins @ scpaste.zee.town, and see me keep track of things I forget under codememories.
You can also find me at these spots:
Publications
- Thesis Proposal (Abstract @ Thesis Proposal - Polarized Subtyping)| CMU 2024 | Zeeshan Lakhani
- Polarized Subtyping | ESOP 2022 | arXiv version | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, and Frank Pfenning
- Checking-in on Network Functions | ANRW 2019 | arXiv version | Zeeshan Lakhani and Heather Miller
- Towards a Solution to the Red Wedding Problem | HotEdge 2018 | Christopher S. Meiklejohn, Heather Miller, and Zeeshan Lakhani
- Big(ger) Sets: decomposed delta CRDT Sets in Riak | PaPoc 2016 | arXiv version | Russell Brown, Zeeshan Lakhani, and Paul Place
