Travelled to:1 × France
Collaborated with:A.Stefanescu D.P.0001 Shijiao Yuwen G.Rosu M.Gligoric F.Behrang J.Overbey M.Hafiz D.Marinov
Talks about:systemat (1) refactor (1) softwar (1) project (1) program (1) languag (1) verifi (1) semant (1) engin (1) test (1)
Person: Yilong Li
DBLP: Li:Yilong
Contributed to:
2013
2016Wrote 2 papers:
- ECOOP-2013-GligoricBLOHM #refactoring #testing
- Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
- OOPSLA-2016-StefanescuPYLR #semantics #verification
- Semantics-based program verifiers for all languages (AS, DP0, SY, YL, GR), pp. 74–91.