Xinyu Feng
Title
Cited by
Cited by
Year
Local rely-guarantee reasoning
X Feng
ACM SIGPLAN Notices 44 (1), 315-327, 2009
1642009
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
1512007
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
European Symposium on Programming, 363-377, 2009
1452009
Modular verification of assembly code with stack-based control abstractions
X Feng, Z Shao, A Vaynberg, S Xiang, Z Ni
ACM SIGPLAN Notices 41 (6), 401-414, 2006
1142006
Mailbox-based scheme for mobile agent communications
J Cao, X Feng, J Lu, SK Das
Computer 35 (9), 54-60, 2002
992002
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols
J Cao, X Feng, J Lu, SK Das
IEEE Computer 35 (9), 54-60, 2002
99*2002
Certifying low-level programs with hardware interrupts and preemptive threads
X Feng, Z Shao, Y Dong, Y Guo
ACM SIGPLAN Notices 43 (6), 170-182, 2008
962008
Modular verification of linearizability with non-fixed linearization points.
H Liang, X Feng
PLDI, 459-470, 2013
902013
An open framework for foundational proof-carrying code
X Feng, Z Ni, Z Shao, Y Guo
Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007
802007
Reasoning about optimistic concurrency using a program logic for history
M Fu, Y Li, X Feng, Z Shao, Y Zhang
International Conference on Concurrency Theory, 388-402, 2010
662010
Modular verification of concurrent assembly code with dynamic thread creation and termination
X Feng, Z Shao
ACM SIGPLAN Notices 40 (9), 254-267, 2005
552005
An efficient mailbox-based algorithm for message delivery in mobile agent systems
X Feng, J Cao, J Lü, H Chan
International Conference on Mobile Agents, 135-151, 2001
542001
A rely-guarantee-based simulation for verifying concurrent program transformations
H Liang, X Feng, M Fu
ACM SIGPLAN Notices 47 (1), 455-468, 2012
512012
Reliable message delivery for mobile agents: push or pull?
J Cao, X Feng, J Lu, HCB Chan, SK Das
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2004
432004
A Practical Verification Framework for Preemptive OS Kernels
F Xu, M Fu, X Feng, X Zhang, H Zhang, Z Li
International Conference on Computer Aided Verification, 59-79, 2016
422016
Certifying low-level programs with hardware interrupts and preemptive threads
X Feng, Z Shao, Y Guo, Y Dong
Journal of Automated Reasoning 42 (2-4), 301-347, 2009
422009
2+, L? Jian1, 2, CAO Jian-Nong3 1 (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China) 2 (Institute of Computer Software, Nanjing …
F Xin-Yu
Journal of Software 5, 2003
42*2003
Compositional verification of termination-preserving refinement of concurrent programs
H Liang, X Feng, Z Shao
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
412014
Communication mechanism in Mogent system
X Tao, X Feng, X Li, G Zhang, J Lu
RUAN JIAN XUE BAO 11 (8), 1060-065, 2000
35*2000
Characterizing progress properties of concurrent objects via contextual refinements
H Liang, J Hoffmann, X Feng, Z Shao
International Conference on Concurrency Theory, 227-241, 2013
332013
The system can't perform the operation now. Try again later.
Articles 1–20