Zeeshan Lakhani

According to our database, Zeeshan Lakhani authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Polarized Subtyping.

Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2022

2019

Checking-in on network functions.

Zeeshan Lakhani, Heather Miller

Proceedings of the Applied Networking Research Workshop, 2019

2018

Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs.

Zeeshan Lakhani, Heather Miller

CoRR, 2018

Towards a Solution to the Red Wedding Problem.

Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani

Proceedings of the USENIX Workshop on Hot Topics in Edge Computing, 2018

2016

Big(ger) sets: decomposed delta CRDT sets in Riak.

Russell Brown, Zeeshan Lakhani, Paul Place

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016