Follow
Xinyu Feng
Title
Cited by
Cited by
Year
Local rely-guarantee reasoning
X Feng
ACM SIGPLAN Notices 44 (1), 315-327, 2009
1992009
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
1832007
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
European Symposium on Programming, 363-377, 2009
1622009
Modular verification of linearizability with non-fixed linearization points.
H Liang, X Feng
PLDI, 459-470, 2013
1352013
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
1302006
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
1172008
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
1112016
Mailbox-based scheme for mobile agent communications
J Cao, X Feng, J Lu, SK Das
Computer 35 (9), 54-60, 2002
1002002
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols
J Cao, X Feng, J Lu, SK Das
IEEE Computer 35 (9), 54-60, 2002
100*2002
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
902010
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
902007
A rely-guarantee-based simulation for verifying concurrent program transformations
H Liang, X Feng, M Fu
ACM SIGPLAN Notices 47 (1), 455-468, 2012
762012
A program logic for concurrent objects under fair scheduling
H Liang, X Feng
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
672016
Modular verification of concurrent assembly code with dynamic thread creation and termination
X Feng, Z Shao
ACM SIGPLAN Notices 40 (9), 254-267, 2005
602005
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
592001
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
572014
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
502009
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
482013
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
472004
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
H Liang, X Feng, M Fu
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 3, 2014
402014
The system can't perform the operation now. Try again later.
Articles 1–20