Seguir
Zeeshan Lakhani
Zeeshan Lakhani
Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu
Título
Citado por
Citado por
Año
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
82018
Polarized subtyping
Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
52022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5