Xinyu Feng

	2012
22		Hongjin Liang, Xinyu Feng, Ming Fu: A rely-guarantee-based simulation for verifying concurrent program transformations. POPL 2012: 455-468
21		Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li: A Structural Approach to Prophecy Variables. TAMC 2012: 61-71
	2011
20		Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai: Weak Updates and Separation Logic. New Generation Comput. 29(1): 3-29 (2011)
	2010
19		Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang: Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR 2010: 388-402
18		Rodrigo Ferreira, Xinyu Feng, Zhong Shao: Parameterized Memory Models and Concurrent Separation Logic. ESOP 2010: 267-286
	2009
17		Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai: Weak updates and separation logic. APLAS 2009: 178-193
16		Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377
15		Xinyu Feng: Local rely-guarantee reasoning. POPL 2009: 315-327
14		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reasoning 42(2-4): 301-347 (2009)
	2008
13		Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182
12		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69
	2007
11		Xinyu Feng, Rodrigo Ferreira, Zhong Shao: On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ESOP 2007: 173-188
10		Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo: An open framework for foundational proof-carrying code. TLDI 2007: 67-78
	2006
9		Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni: Modular verification of assembly code with stack-based control abstractions. PLDI 2006: 401-414
	2005
8		Xinyu Feng, Zhong Shao: Modular verification of concurrent assembly code with dynamic thread creation and termination. ICFP 2005: 254-267
	2004
7		Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das: Reliable message delivery for mobile agents: push or pull? IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(5): 577-587 (2004)
6		Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das: Path Pruning in Mailbox-based Mobile Agent Communications. J. Inf. Sci. Eng. 20(3): 405-424 (2004)
	2003
5		Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das: Path Compression in Forwarding-Based Reliable Mobile Agent Communications. ICPP 2003: 313-320
	2002
4		Jiannong Cao, Xinyu Feng, Jian Lü, Sajal K. Das: Design of Adaptive and Reliable Mobile Agent Communication Protocols. ICDCS 2002: 471-
3		Jiannong Cao, Xinyu Feng, Jian Lü, Henry C. B. Chan, Sajal K. Das: Reliable Message Delivery for Mobile Agents: Push or Pull. ICPADS 2002: 314-320
2		Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das: Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols. IEEE Computer 35(9): 54-60 (2002)
	2001
1		Xinyu Feng, Jiannong Cao, Jian Lü, Henry C. B. Chan: An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems. Mobile Agents 2001: 135-151

Coauthor Index

1	Hongxu Cai	[17] [20]
2	Jiannong Cao	[1] [2] [3] [4] [5] [6] [7]
3	Henry C. B. Chan	[1] [3] [7]
4	Sajal K. Das	[2] [3] [4] [5] [6] [7]
5	Mike Dodds	[16]
6	Yuan Dong	[12] [13] [14]
7	Rodrigo Ferreira	[11] [18]
8	Ming Fu	[19] [21] [22]
9	Yu Guo	[10] [12] [13] [14]
10	Yong Li	[19] [21]
11	Hongjin Liang	[22]
12	Jian Lu (Jian Lü)	[1] [2] [3] [4] [7]
13	Zhaozhong Ni	[9] [10]
14	Matthew J. Parkinson	[16]
15	Zhong Shao	[8] [9] [10] [11] [12] [13] [14] [17] [18] [19] [20] [21]
16	Gang Tan	[17] [20]
17	Viktor Vafeiadis	[16]
18	Alexander Vaynberg	[9]
19	Sen Xiang	[9]
20	Liang Zhang	[5] [6]
21	Yu Zhang	[19]
22	Zipeng Zhang	[21]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page