Concepedia

Xinyu Feng

XF

Statistics

Publications

29

Citations

1.1K

H-Index

20

Active since

2002

Affiliations

University of Science and Technology of China(Current)

Yale University

Toyota Technological Institute at Chicago

Hong Kong Polytechnic University

Nanjing University

Xinyu Feng is an author at University of Science and Technology of China specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsProgram AnalysisSoftware AnalysisSystem SoftwareComputer EngineeringAutomated Reasoning

Publications per year

2002–2024

29

Publications

29

Local rely-guarantee reasoning

Xinyu Feng · 2009 · 144 citations

Program Checking, Engineering, Verified Program Modules +20

Modular verification of linearizability with non-fixed linearization points

Hongjin Liang, Xinyu Feng · 2013 · 86 citations

Program Checking, Engineering, Verification +19

Mailbox-based scheme for mobile agent communications

Jiannong Cao, Xinyu Feng, Jian Lü et al. · Computer · 2002 · 81 citations · Full text

Mailbox-based Scheme, Engineering, Interaction Protocol +13

Certifying low-level programs with hardware interrupts and preemptive threads

Xinyu Feng, Zhong Shao, Yuan Dong et al. · 2008 · 79 citations

Program Checking, Engineering, Hardware Verification Language +20

Modular verification of assembly code with stack-based control abstractions

Xinyu Feng, Zhong Shao, Alexander Vaynberg et al. · ACM SIGPLAN Notices · 2006 · 63 citations

Engineering, Compiler Technology, Verification +19

1–5 of 29