Follow
Zeeshan Lakhani
Title
Cited by
Cited by
Year
Big (ger) Sets: decomposed delta CRDT Sets in Riak
R Brown, Z Lakhani, P Place
Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016
142016
Towards a solution to the red wedding problem
C Meiklejohn, H Miller, Z Lakhani
USENIX Workshop on Hot Topics in Edge Computing (HotEdge 18), 2018
72018
Polarized subtyping
Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
62022
Verifying interfaces between container-based components
CS Meiklejohn, Z Lakhani, P Alvaro, H Miller
22018
Checking-in on network functions
Z Lakhani, H Miller
Proceedings of the Applied Networking Research Workshop, 69-76, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5