Local rely-guarantee reasoning X Feng ACM SIGPLAN Notices 44 (1), 315-327, 2009 | 192 | 2009 |
On the relationship between concurrent separation logic and assume-guarantee reasoning X Feng, R Ferreira, Z Shao European Symposium on Programming, 173-188, 2007 | 177 | 2007 |
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis European Symposium on Programming, 363-377, 2009 | 158 | 2009 |
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 | 130 | 2006 |
Modular verification of linearizability with non-fixed linearization points. H Liang, X Feng PLDI, 459-470, 2013 | 129 | 2013 |
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 | 119 | 2008 |
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 | 110 | 2016 |
Mailbox-based scheme for mobile agent communications J Cao, X Feng, J Lu, SK Das Computer 35 (9), 54-60, 2002 | 99 | 2002 |
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 | 91 | 2007 |
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 | 84 | 2010 |
A rely-guarantee-based simulation for verifying concurrent program transformations H Liang, X Feng, M Fu ACM SIGPLAN Notices 47 (1), 455-468, 2012 | 75 | 2012 |
Modular verification of concurrent assembly code with dynamic thread creation and termination X Feng, Z Shao ACM SIGPLAN Notices 40 (9), 254-267, 2005 | 62 | 2005 |
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 | 60 | 2001 |
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 | 55 | 2016 |
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 | 54 | 2014 |
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 | 49 | 2009 |
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 | 45 | 2013 |
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 | 45 | 2004 |
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 |