| * | 2009 |
|---|
| 10 | EE | Long Li,
Yu Zhang,
Yiyun Chen,
Yong Li:
Certifying Concurrent Programs Using Transactional Memory.
J. Comput. Sci. Technol. 24(1): 110-121 (2009) |
| 2007 |
|---|
| 9 | EE | Jinquan Dai,
Long Li,
Bo Huang:
Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors.
CGO 2007: 312-324 |
| 8 | EE | Xiaofeng Guo,
Jinquan Dai,
Long Li,
Zhiyuan Lv,
Prashant R. Chandra:
Latency Hiding in Multi-Threading and Multi-Processing of Network Applications.
PACT 2007: 270-279 |
| 7 | EE | Andrew McCreight,
Zhong Shao,
Chunxiao Lin,
Long Li:
A general framework for certifying garbage collectors and their mutators.
PLDI 2007: 468-479 |
| 6 | EE | Xiaofeng Guo,
Jinquan Dai,
Long Li,
Zhiyuan Lv,
Prashant R. Chandra:
Latency hiding through multithreading on a network processor.
PPOPP 2007: 130-131 |
| 5 | EE | Chunxiao Lin,
Yiyun Chen,
Long Li,
Bei Hua:
Garbage Collector Verification for Proof-Carrying Code.
J. Comput. Sci. Technol. 22(3): 426-437 (2007) |
| 2006 |
|---|
| 4 | EE | Sen Xiang,
Yiyun Chen,
Chunxiao Lin,
Long Li:
Modularly Certified Dynamic Storage Allocation in SCAP.
QSIC 2006: 321-328 |
| 3 | EE | Steven M. Gallo,
Long Li,
Zihua Hu,
Marc S. Halfon:
REDfly: a Regulatory Element Database for Drosophila.
Bioinformatics 22(3): 381-383 (2006) |
| 2005 |
|---|
| 2 | EE | Jinquan Dai,
Bo Huang,
Long Li,
Luddy Harrison:
Automatically partitioning packet processing applications for pipelined architectures.
PLDI 2005: 237-248 |
| 1 | EE | Long Li,
Bo Huang,
Jinquan Dai,
Luddy Harrison:
Automatic multithreading and multiprocessing of C programs for IXP.
PPOPP 2005: 132-141 |
