Export 2 results:
Filters: Author is Lintao Zhang  [Clear All Filters]
Ma L, Xie Z, Yang Z, Xue J, Miao Y, Cui W, Hu W, Yang F, Zhang L, Zhou L.  2020.  Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :881--897.
Yang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L.  2009.  MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).