| Local rely-guarantee reasoning X Feng ACM SIGPLAN Notices 44 (1), 315-327, 2009 | 199 | 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 | 185 | 2007 |
| Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis European Symposium on Programming, 363-377, 2009 | 164 | 2009 |
| Modular verification of linearizability with non-fixed linearization points. H Liang, X Feng PLDI, 459-470, 2013 | 137 | 2013 |
| 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 | 131 | 2006 |
| 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 | 118 | 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 | 114 | 2016 |
| Mailbox-based scheme for mobile agent communications J Cao, X Feng, J Lu, SK Das Computer 35 (9), 54-60, 2002 | 100 | 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 | 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 | 91 | 2010 |
| 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 | 90 | 2007 |
| A rely-guarantee-based simulation for verifying concurrent program transformations H Liang, X Feng, M Fu ACM SIGPLAN Notices 47 (1), 455-468, 2012 | 78 | 2012 |
| 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 | 67 | 2016 |
| Modular verification of concurrent assembly code with dynamic thread creation and termination X Feng, Z Shao ACM SIGPLAN Notices 40 (9), 254-267, 2005 | 61 | 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 | 59 | 2001 |
| 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 | 57 | 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 | 50 | 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 | 49 | 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 | 47 | 2004 |
| 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 | 40 | 2014 |
Zhong ShaoYale UniversityEmail verificata su yale.edu