Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Estonia
1 × Portugal
1 × United Kingdom
4 × USA
Collaborated with:H.Liang Z.Shao R.Ferreira M.Fu ∅ M.Dodds M.J.Parkinson V.Vafeiadis Y.Dong Y.Guo A.Vaynberg S.Xiang Z.Ni Hanru Jiang Siyang Xiao Junpeng Zha F.Xu X.Zhang H.Zhang Z.Li
Talks about:concurr (8) program (5) verif (5) guarante (4) modular (3) reason (3) separ (3) logic (3) preemptiv (2) certifi (2)
Person: Xinyu Feng
DBLP: Feng:Xinyu
Contributed to:
2014
2013
2012
201020092009200820072006
2005
2016201620182019Wrote 14 papers:
- LICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification
- Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.
- PLDI-2013-LiangF #composition #verification
- Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
- POPL-2012-LiangFF #concurrent #program transformation #simulation #verification
- A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
- ESOP-2010-FerreiraFS #concurrent #logic #memory management #modelling
- Parameterized Memory Models and Concurrent Separation Logic (RF, XF, ZS), pp. 267–286.
- ESOP-2009-DoddsFPV #reasoning
- Deny-Guarantee Reasoning (MD, XF, MJP, VV), pp. 363–377.
- POPL-2009-Feng #reasoning
- Local rely-guarantee reasoning (XF), pp. 315–327.
- PLDI-2008-FengSDG #hardware #low level #source code #thread
- Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.
- ESOP-2007-FengFS #concurrent #logic #on the #reasoning
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.
- PLDI-2006-FengSVXN #abstraction #assembly #composition #verification
- Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.
- ICFP-2005-FengS #assembly #composition #concurrent #termination #thread #verification
- Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.
- CAV-2016-XuFFZZL #framework #kernel #verification
- A Practical Verification Framework for Preemptive OS Kernels (FX, MF, XF, XZ, HZ, ZL), pp. 59–79.
- POPL-2016-LiangF #concurrent #logic #scheduling
- A program logic for concurrent objects under fair scheduling (HL, XF), pp. 385–399.
- POPL-2018-LiangF #concurrent
- Progress of concurrent objects with partial methods (HL, XF), p. 31.
- PLDI-2019-JiangLXZF #compilation #concurrent #source code #towards
- Towards certified separate compilation for concurrent programs (HJ, HL, SX, JZ, XF), pp. 111–125.