Concepedia

Xinyu Feng

XF

Statistics

Publications

30

Citations

1.2K

H-Index

21

Active since

2002

Affiliations

University of Science and Technology of China(Current)

Yale University

Toyota Technological Institute at Chicago

Hong Kong Polytechnic University

Peking University

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

Publications per year

2002–2024

30

Publications

30

Local rely-guarantee reasoning

Xinyu Feng · 2009 · 144 citations

Computing, Computer Engineering, Computer Science +12

Modular verification of linearizability with non-fixed linearization points

Hongjin Liang, Xinyu Feng · 2013 · 88 citations

Computing, Computer Science, Formal Methods +14

Mailbox-based scheme for mobile agent communications

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

Computing, Communication, Computer Systems +17

Certifying low-level programs with hardware interrupts and preemptive threads

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

Computing, Computer Engineering, Computer Science +16

Modular verification of assembly code with stack-based control abstractions

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

Computing, Computer Engineering, Computer Science +14

1–5 of 30