Xinyu Feng

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 16

Top Topics

Instruction Set Architecture

Concurrent Programs

Information Flow

Top Venues

Frontiers Comput. Sci.

Publications

Junpeng Zha, Hongjin Liang, Xinyu Feng
Verifying optimizations of concurrent programs in the promising semantics. PLDI (2022)
Jiawei Wang, Cheng Li, Kai Ma, Jingze Huo, Feng Yan, Xinyu Feng, Yinlong Xu
AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics. Proc. VLDB Endow. 14 (9) (2021)
Hongjin Liang, Xinyu Feng
Abstraction for conflict-free replicated data types. PLDI (2021)
Hongjin Liang, Xinyu Feng
Progress of Concurrent Objects. Found. Trends Program. Lang. 5 (4) (2020)
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
Formalizing SPARCv8 instruction set architecture in Coq. Sci. Comput. Program. 187 (2020)
Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
Towards certified separate compilation for concurrent programs. PLDI (2019)
Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng
Non-preemptive Semantics for Data-Race-Free Programs. ICTAC (2018)
Junpeng Zha, Xinyu Feng, Lei Qiao
Modular Verification of SPARCv8 Code. APLAS (2018)
Chunhui He, Xinyu Feng
POMP: Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining. INFOCOM (2018)
Hongjin Liang, Xinyu Feng
Progress of concurrent objects with partial methods. Proc. ACM Program. Lang. 2 (POPL) (2018)
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
Formalizing SPARCv8 Instruction Set Architecture in Coq. SETTA (2017)
Xinyu Feng
Mechanized verification of preemptive OS kernels (invited talk). CPP (2017)
Zipeng Zhang, Xinyu Feng
AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. SETTA (2017)
Yang Zhang, Xinyu Feng
An operational happens-before memory model. Frontiers Comput. Sci. 10 (1) (2016)
Hongjin Liang, Xinyu Feng
A program logic for concurrent objects under fair scheduling. POPL (2016)
Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li
A Practical Verification Framework for Preemptive OS Kernels. CAV (2) (2016)
Jingyuan Cao, Ming Fu, Xinyu Feng
Practical Tactics for Verifying C Programs in Coq. CPP (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
Disjunctive Information Flow for Communicating Processes. TGC (2015)
Hongjin Liang, Xinyu Feng, Ming Fu
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Hongjin Liang, Xinyu Feng, Zhong Shao
Compositional verification of termination-preserving refinement of concurrent programs. CSL-LICS (2014)
Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
A temporal programming model with atomic blocks based on projection temporal logic. Frontiers Comput. Sci. 8 (6) (2014)
Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. CONCUR (2013)
Yang Zhang, Xinyu Feng
An Operational Approach to Happens-Before Memory Model. TASE (2013)
Hongjin Liang, Xinyu Feng
Modular verification of linearizability with non-fixed linearization points. PLDI (2013)
Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi
Modular Verification of Concurrent Thread Management. APLAS (2012)
Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li
A Structural Approach to Prophecy Variables. TAMC (2012)
Hongjin Liang, Xinyu Feng, Ming Fu
A rely-guarantee-based simulation for verifying concurrent program transformations. POPL (2012)
Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
A Concurrent Temporal Programming Model with Atomic Blocks. ICFEM (2012)
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
Weak Updates and Separation Logic. New Gener. Comput. 29 (1) (2011)
Rodrigo Ferreira, Xinyu Feng, Zhong Shao
Parameterized Memory Models and Concurrent Separation Logic. ESOP (2010)
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR (2010)
Xinyu Feng
Local rely-guarantee reasoning. POPL (2009)
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis
Deny-Guarantee Reasoning. ESOP (2009)
Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reason. 42 (2-4) (2009)
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
Weak updates and separation logic. APLAS (2009)
Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE (2008)
Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo
Certifying low-level programs with hardware interrupts and preemptive threads. PLDI (2008)
Xinyu Feng, Rodrigo Ferreira, Zhong Shao
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ESOP (2007)
Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
An open framework for foundational proof-carrying code. TLDI (2007)
Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni
Modular verification of assembly code with stack-based control abstractions. PLDI (2006)
Xinyu Feng, Zhong Shao
Modular verification of concurrent assembly code with dynamic thread creation and termination. ICFP (2005)
Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das
Path Pruning in Mailbox-based Mobile Agent Communications. J. Inf. Sci. Eng. 20 (3) (2004)
Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das
Reliable message delivery for mobile agents: push or pull? IEEE Trans. Syst. Man Cybern. Part A 34 (5) (2004)
Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das
Path Compression in Forwarding-Based Reliable Mobile Agent Communications. ICPP (2003)
Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das
Adaptive and reliable message delivery for mobile objects. GLOBECOM (2003)
Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols. Computer 35 (9) (2002)
Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das
Reliable Message Delivery for Mobile Agents: Push or Pull. ICPADS (2002)
Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das
Design of Adaptive and Reliable Mobile Agent Communication Protocols. ICDCS (2002)
Xinyu Feng, Jiannong Cao, Jian Lü, Henry C. B. Chan
An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems. Mobile Agents (2001)