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 | 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
