Filters: Author is Xinyu Feng  [Clear All Filters]
Xu F, Fu M, Feng X, Zhang X, Zhang H, Li Z.  2016.  A Practical Verification Framework for Preemptive OS Kernels. Proc. 28th International Conference on Computer Aided Verification (CAV’16), part II, pages 59--79.
Liang H, Feng X.  2016.  A Program Logic for Concurrent Objects under Fair Scheduling. Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), pp 385-399.
Liang H, Feng X, Shao Z.  2014.  Compositional Verification of Termination-Preserving Refinement of Concurrent Programs. Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14). 2014.07.14-18. pp 65:1-65:10.
Liang H, Feng X, Fu M.  2014.  Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Transactions on Programming Languages and Systems (TOPLAS), 36(1), pp 3:1-3:55.
Liang H, Hoffmann J, Feng X, Shao Z.  2013.  Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. 24th International Conference on Concurrency Theory (CONCUR'13).
Zhang Y, Feng X.  2013.  An Operational Approach to Happens-before Memory Model. The 7th International Symposium on Theoretical Aspects of Software Engineering (TASE '13).
Liang H, Feng X.  2013.  Modular Verification of Linearizability with Non-Fixed Linearization Points. 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13).
Zhang Z, Feng X, Fu M, Shao Z, Li Y.  2012.  A Structural Approach to Prophecy Variables. 9th annual conference on Theory and Applications of Models of Computation.
Guo Y, Feng X, Shao Z, Shi P.  2012.  Modular Verification of Concurrent Thread Management. 10th Asian Symposium on Programming Languages and Systems.
Liang H, Feng X, Fu M.  2012.  A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12).
Feng X, Shao Z, Guo Y, Dong Y.  2008.  Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08). :54-69. Download: itrimp.pdf (250.73 KB)
Feng X, Shao Z, Dong Y, Guo Y.  2008.  Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2008). :170-182. Download: aim.pdf (291.12 KB)
Feng X, Ni Z, Shao Z, Guo Y.  2007.  An Open Framework for Foundational Proof-Carrying Code. Proceedings of the 3rd ACM Workshop on Types in Language Design and Implementation. :67-78. Download: ocap.pdf (265.54 KB)
Feng X, Shao Z, Vaynberg A, Xiang S, Ni Z.  2006.  Modular Verification of Assembly Code with Stack-Based Control Abstractions. Proceedings of the 2006 ACM SIGPLAN conference on Programming Language Design and Implementation. :401-414. Download: sbca.pdf (315.19 KB)