BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Feng:Xinyu

Contributed to:

CSL-LICS 20142014
PLDI 20132013
POPL 20122012
ESOP 20102010
ESOP 20092009
POPL 20092009
PLDI 20082008
ESOP 20072007
PLDI 20062006
ICFP 20052005
CAV (2) 20162016
POPL 20162016
POPL 20182018
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.