关注
Zeeshan Lakhani
Zeeshan Lakhani
Carnegie Mellon University
在 cs.cmu.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
Polarized subtyping
Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
102022
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
102018
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
系统目前无法执行此操作，请稍后再试。
文章 1–5