Travelled to:1 × USA
Collaborated with:X.Feng H.Liang F.Xu X.Zhang H.Zhang Z.Li
Talks about:transform (1) preemptiv (1) framework (1) guarante (1) program (1) practic (1) concurr (1) verifi (1) kernel (1) verif (1)
Person: Ming Fu
DBLP: Fu:Ming
Contributed to:
2012
2016Wrote 2 papers:
- POPL-2012-LiangFF #concurrent #program transformation #simulation #verification
- A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
- CAV-2016-XuFFZZL #framework #kernel #verification
- A Practical Verification Framework for Preemptive OS Kernels (FX, MF, XF, XZ, HZ, ZL), pp. 59–79.