|
Quanlong Li
Doctoral Student
|
My current research interests are in the area of deterministic parallelism, including design, implementation and verification of deterministic programming model.
-
Study on Java Library Analysis for Compile-Time Object Deallocation.
Wen Peng, Yu Zhang and Quanlong Li.
accepted by Journal of Chinese Computer Systems, Sep 2011.
USTC-Yale Joint Research Center for High-Confidence Software
ACM Digital Library IEEE Xplore Programming Language Theory Text Online
Last modified: Fri Feb 24, 2012