Long Li

	2009
10		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		Jinquan Dai, Long Li, Bo Huang: Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors. CGO 2007: 312-324
8		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		Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li: A general framework for certifying garbage collectors and their mutators. PLDI 2007: 468-479
6		Xiaofeng Guo, Jinquan Dai, Long Li, Zhiyuan Lv, Prashant R. Chandra: Latency hiding through multithreading on a network processor. PPOPP 2007: 130-131
5		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		Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li: Modularly Certified Dynamic Storage Allocation in SCAP. QSIC 2006: 321-328
3		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		Jinquan Dai, Bo Huang, Long Li, Luddy Harrison: Automatically partitioning packet processing applications for pipelined architectures. PLDI 2005: 237-248
1		Long Li, Bo Huang, Jinquan Dai, Luddy Harrison: Automatic multithreading and multiprocessing of C programs for IXP. PPOPP 2005: 132-141

Coauthor Index

1	Prashant R. Chandra	[6] [8]
2	Yiyun Chen	[4] [5] [10]
3	Jinquan Dai	[1] [2] [6] [8] [9]
4	Steven M. Gallo	[3]
5	Xiaofeng Guo	[6] [8]
6	Marc S. Halfon	[3]
7	Luddy Harrison	[1] [2]
8	Zihua Hu	[3]
9	Bei Hua	[5]
10	Bo Huang	[1] [2] [9]
11	Yong Li	[10]
12	Chunxiao Lin	[4] [5] [7]
13	Zhiyuan Lv	[6] [8]
14	Andrew McCreight	[7]
15	Zhong Shao	[7]
16	Sen Xiang	[4]
17	Yu Zhang	[10]

Colors in the list of coauthors