BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

SAS 20152015
ECOOP 20142014
CGO 20132013
CIKM 20112011
DATE 20052005
ESOP 20192019
FDG 20192019

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

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.