Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Xinyu Feng
2010 – today
- 2013
[c21]Hongjin Liang, Xinyu Feng: Modular verification of linearizability with non-fixed linearization points. PLDI 2013: 459-470- 2012
- [c20]Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi: Modular Verification of Concurrent Thread Management. APLAS 2012: 315-331
- [c19]Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng: A Concurrent Temporal Programming Model with Atomic Blocks. ICFEM 2012: 22-37
- [c18]Hongjin Liang, Xinyu Feng, Ming Fu: A rely-guarantee-based simulation for verifying concurrent program transformations. POPL 2012: 455-468
- [c17]Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li: A Structural Approach to Prophecy Variables. TAMC 2012: 61-71
- 2011
- [j5]Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai: Weak Updates and Separation Logic. New Generation Comput. 29(1): 3-29 (2011)
- 2010
- [c16]Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang: Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR 2010: 388-402
- [c15]Rodrigo Ferreira, Xinyu Feng, Zhong Shao: Parameterized Memory Models and Concurrent Separation Logic. ESOP 2010: 267-286
2000 – 2009
- 2009
- [j4]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)
- [c14]Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai: Weak updates and separation logic. APLAS 2009: 178-193
- [c13]Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377
- [c12]
- 2008
- [c11]Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182
- [c10]Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69
- 2007
- [c9]Xinyu Feng, Rodrigo Ferreira, Zhong Shao: On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ESOP 2007: 173-188
- [c8]Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo: An open framework for foundational proof-carrying code. TLDI 2007: 67-78
- 2006
- [c7]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
- [c6]Xinyu Feng, Zhong Shao: Modular verification of concurrent assembly code with dynamic thread creation and termination. ICFP 2005: 254-267
- 2004
- [j3]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)
- [j2]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)
- 2003
- [c5]Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das: Adaptive and reliable message delivery for mobile objects. GLOBECOM 2003: 3196-3200
- [c4]Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das: Path Compression in Forwarding-Based Reliable Mobile Agent Communications. ICPP 2003: 313-320
- 2002
- [j1]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)
- [c3]Jiannong Cao, Xinyu Feng, Jian Lü, Sajal K. Das: Design of Adaptive and Reliable Mobile Agent Communication Protocols. ICDCS 2002: 471-
- [c2]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
- 2001
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:50 CEST by the dblp team