Xinyu Feng

According to our database, Xinyu Feng authored at least 50 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A program logic for obstruction-freedom.

Zhao-Hui Li, Xin-Yu Feng

Frontiers Comput. Sci., December, 2024

Verified Validation for Affine Scheduling in Polyhedral Compilation.

Xuyang Li, Hongjin Liang, Xinyu Feng

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2022

Verifying optimizations of concurrent programs in the promising semantics.

Junpeng Zha, Hongjin Liang, Xinyu Feng

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics.

Jiawei Wang, Cheng Li, Kai Ma, Jingze Huo, Feng Yan, Xinyu Feng, Yinlong Xu

Proc. VLDB Endow., 2021

Verifying Contextual Refinement with Ownership Transfer.

Zhao-Hui Li, Xin-Yu Feng

J. Comput. Sci. Technol., 2021

Abstraction for conflict-free replicated data types.

Hongjin Liang, Xinyu Feng

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Formalizing SPARCv8 instruction set architecture in Coq.

Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng

Sci. Comput. Program., 2020

Modular Verification of SPARCv8 Code.

Junpeng Zha, Xin-Yu Feng, Lei Qiao

J. Comput. Sci. Technol., 2020

Progress of Concurrent Objects.

Hongjin Liang, Xinyu Feng

Found. Trends Program. Lang., 2020

2019

A Lightweight Dynamic Enforcement of Privacy Protection for Android.

Zipeng Zhang, Ming Fu, Xin-Yu Feng

J. Comput. Sci. Technol., 2019

Towards certified separate compilation for concurrent programs.

Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Progress of concurrent objects with partial methods.

Hongjin Liang, Xinyu Feng

Proc. ACM Program. Lang., 2018

POMP: Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining.

Chunhui He, Xinyu Feng

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Non-preemptive Semantics for Data-Race-Free Programs.

Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications.

Zipeng Zhang, Xinyu Feng

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Mechanized verification of preemptive OS kernels (invited talk).

Xinyu Feng

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

An operational happens-before memory model.

Yang Zhang, Xinyu Feng

Frontiers Comput. Sci., 2016

A program logic for concurrent objects under fair scheduling.

Hongjin Liang, Xinyu Feng

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A Practical Verification Framework for Preemptive OS Kernels.

Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Disjunctive Information Flow for Communicating Processes.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Practical Tactics for Verifying C Programs in Coq.

Jingyuan Cao, Ming Fu, Xinyu Feng

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations.

Hongjin Liang, Xinyu Feng, Ming Fu

ACM Trans. Program. Lang. Syst., 2014

A temporal programming model with atomic blocks based on projection temporal logic.

Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng

Frontiers Comput. Sci., 2014

Compositional verification of termination-preserving refinement of concurrent programs.

Hongjin Liang, Xinyu Feng, Zhong Shao

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

An Operational Approach to Happens-Before Memory Model.

Yang Zhang, Xinyu Feng

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Modular verification of linearizability with non-fixed linearization points.

Hongjin Liang, Xinyu Feng

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.

Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

A Structural Approach to Prophecy Variables.

Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li

Proceedings of the Theory and Applications of Models of Computation, 2012

A rely-guarantee-based simulation for verifying concurrent program transformations.

Hongjin Liang, Xinyu Feng, Ming Fu

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A Concurrent Temporal Programming Model with Atomic Blocks.

Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng

Proceedings of the Formal Methods and Software Engineering, 2012

Modular Verification of Concurrent Thread Management.

Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

Mobile Agent Communications.

Jian Lu, Xinyu Feng

Proceedings of the Mobile Agents in Networking and Distributed Computing, 2012

2011

Weak Updates and Separation Logic.

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

New Gener. Comput., 2011

2010

Parameterized Memory Models and Concurrent Separation Logic.

Rodrigo Ferreira, Xinyu Feng, Zhong Shao

Proceedings of the Programming Languages and Systems, 2010

Reasoning about Optimistic Concurrency Using a Program Logic for History.

Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.

Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong

J. Autom. Reason., 2009

Local rely-guarantee reasoning.

Xinyu Feng

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Deny-Guarantee Reasoning.

Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2009

2008

Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.

Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong

Proceedings of the Verified Software: Theories, 2008

2007

An open framework for foundational proof-carrying code.

Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.

Xinyu Feng, Rodrigo Ferreira, Zhong Shao

Proceedings of the Programming Languages and Systems, 2007

2006

Modular verification of assembly code with stack-based control abstractions.

Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2005

Modular verification of concurrent assembly code with dynamic thread creation and termination.

Xinyu Feng, Zhong Shao

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Reliable message delivery for mobile agents: push or pull?

Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das

IEEE Trans. Syst. Man Cybern. Part A, 2004

Path Pruning in Mailbox-based Mobile Agent Communications.

Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das

J. Inf. Sci. Eng., 2004

2003

Path Compression in Forwarding-Based Reliable Mobile Agent Communications.

Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das

Proceedings of the 32nd International Conference on Parallel Processing (ICPP 2003), 2003

Adaptive and reliable message delivery for mobile objects.

Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das

Proceedings of the Global Telecommunications Conference, 2003

2002

Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.

Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das

Computer, 2002

Design of Adaptive and Reliable Mobile Agent Communication Protocols.

Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001

An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems.

Xinyu Feng, Jiannong Cao, Jian Lü, Henry C. B. Chan

Proceedings of the Mobile Agents, 5th International Conference, 2001