Zeeshan Lakhani

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Spatially Varying

Top Venues

Publications

Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Polarized Subtyping. CoRR (2022)
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Polarized Subtyping. ESOP (2022)
Zeeshan Lakhani, Heather Miller
Checking-in on network functions. ANRW (2019)
Zeeshan Lakhani, Heather Miller
Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs. CoRR (2018)
Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani
Towards a Solution to the Red Wedding Problem. HotEdge (2018)
Russell Brown, Zeeshan Lakhani, Paul Place
Big(ger) sets: decomposed delta CRDT sets in Riak. PaPoC@EuroSys (2016)
Russell Brown, Zeeshan Lakhani, Paul Place
Big(ger) Sets: decomposed delta CRDT Sets in Riak. CoRR (2016)