Travelled to:1 × China
1 × France
1 × Germany
1 × Sweden
1 × United Kingdom
Collaborated with:J.Xue T.Tan Y.Sui D.Martínez H.Basold E.Komendantskaya K.Kirstein M.Zimmermann C.Vancura T.Volden W.H.Song J.Lichtenberg A.Hierlemann Simon Cheng Liu Chaoran Li Heng Ma Xiao Hou Yiming Shen Licong Wang Ze Chen Xianghao Guo Hengtong Lu Y.Du Qinting Tang
Talks about:reflect (2) technolog (1) biosensor (1) patholog (1) inferenc (1) corecurs (1) coinduct (1) cantilev (1) uniform (1) resolut (1)
Person: Yue Li
DBLP: Li:Yue
Contributed to:
2015
2014
2013
2011
2005
2019
2019Wrote 7 papers:
- SAS-2015-LiTX #analysis #effectiveness
- Effective Soundness-Guided Reflection Analysis (YL, TT, JX), pp. 162–180.
- ECOOP-2014-LiTSX #java #self
- Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.
- CGO-2013-SuiLX #adaptation #compilation #optimisation
- Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
- CIKM-2011-MartinezL #information management
- Information extraction from pathology reports in a hospital setting (DM, YL), pp. 1877–1882.
- DATE-2005-KirsteinLZVVSLH
- Cantilever-Based Biosensors in CMOS Technology (KUK, YL, MZ, CV, TV, WHS, JL, AH), pp. 1340–1341.
- ESOP-2019-BasoldKL #horn clause #induction #proving #recursion
- Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses (HB, EK, YL), pp. 783–813.
- FDG-2019-LiuLLMHSWCGLDT #automation #generative #using
- Automatic generation of tower defense levels using PCG (SCL, CL, YL, HM, XH, YS, LW, ZC, XG, HL, YD, QT), p. 9.