Æȷοì
Xinyu Feng
Xinyu Feng
nju.edu.cnÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Local rely-guarantee reasoning
X Feng
ACM SIGPLAN Notices 44 (1), 315-327, 2009
1922009
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
1752007
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
European Symposium on Programming, 363-377, 2009
1562009
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
1292006
Modular verification of linearizability with non-fixed linearization points.
H Liang, X Feng
PLDI, 459-470, 2013
1282013
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
1182008
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
1092016
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
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
912007
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
832010
A rely-guarantee-based simulation for verifying concurrent program transformations
H Liang, X Feng, M Fu
ACM SIGPLAN Notices 47 (1), 455-468, 2012
722012
Modular verification of concurrent assembly code with dynamic thread creation and termination
X Feng, Z Shao
ACM SIGPLAN Notices 40 (9), 254-267, 2005
622005
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
602001
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
542016
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
542014
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
482009
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
452013
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
452004
Communication mechanism in Mogent system
X Tao, X Feng, X Li, G Zhang, J Lu
RUAN JIAN XUE BAO 11 (8), 1060-065, 2000
40*2000
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20