| 2009 |
|---|
| 15 | EE | Mike Dodds,
Xinyu Feng,
Matthew J. Parkinson,
Viktor Vafeiadis:
Deny-Guarantee Reasoning.
ESOP 2009: 363-377 |
| 14 | EE | Xinyu Feng:
Local rely-guarantee reasoning.
POPL 2009: 315-327 |
| 2008 |
|---|
| 13 | EE | Xinyu Feng,
Zhong Shao,
Yuan Dong,
Yu Guo:
Certifying low-level programs with hardware interrupts and preemptive threads.
PLDI 2008: 170-182 |
| 12 | EE | 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 | EE | Xinyu Feng,
Rodrigo Ferreira,
Zhong Shao:
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.
ESOP 2007: 173-188 |
| 10 | EE | Xinyu Feng,
Zhaozhong Ni,
Zhong Shao,
Yu Guo:
An open framework for foundational proof-carrying code.
TLDI 2007: 67-78 |
| 2006 |
|---|
| 9 | EE | 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 | EE | Xinyu Feng,
Zhong Shao:
Modular verification of concurrent assembly code with dynamic thread creation and termination.
ICFP 2005: 254-267 |
| 2004 |
|---|
| 7 | EE | 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 | EE | 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 | EE | Jiannong Cao,
Liang Zhang,
Xinyu Feng,
Sajal K. Das:
Path Compression in Forwarding-Based Reliable Mobile Agent Communications.
ICPP 2003: 313-320 |
| 2002 |
|---|
| 4 | EE | Jiannong Cao,
Xinyu Feng,
Jian Lü,
Sajal K. Das:
Design of Adaptive and Reliable Mobile Agent Communication Protocols.
ICDCS 2002: 471- |
| 3 | EE | 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 | EE | 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 | EE | 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 |
