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 × Hungary
1 × United Kingdom
5 × USA
Collaborated with:
J.Xue C.Cifuentes N.Keynes Q.H.Nguyen Y.Lu L.Gao T.Ngai B.Scholz D.He H.Li L.Wang H.Meng H.Zheng J.L.0020 S.Hu N.Hawes M.Valdiviezo A.Browne J.Zimmermann A.Craik D.Teoh C.Hoermann
Talks about:
analysi (5) flow (3) use (3) program (2) perform (2) parfait (2) symbol (2) sensit (2) detect (2) applic (2)

Person: Lian Li

DBLP DBLP: Li:Lian

Contributed to:

ISMM 20132013
ESEC/FSE 20112011
FSE 20102010
CC 20092009
PEPM 20092009
LCTES 20072007
LCTES 20042004
ASE 20192019
CC 20172017

Wrote 10 papers:

ISMM-2013-LiCK #analysis #graph #pointer #precise #scalability
Precise and scalable context-sensitive pointer analysis via value flow graph (LL, CC, NK), pp. 85–96.
ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using
Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
ESEC-FSE-2011-LiCK #analysis #performance #points-to #using
Boosting the performance of flow-sensitive points-to analysis using value flow (LL, CC, NK), pp. 343–353.
FSE-2010-LiCK #analysis #detection #effectiveness
Practical and effective symbolic analysis for buffer overflow detection (LL, CC, NK), pp. 317–326.
CC-2009-GaoLXN #concurrent #predict #recursion #source code #thread
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
PEPM-2009-CifuentesKLS #debugging #detection #program analysis #using
Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.
LCTES-2007-0002NX #graph
Scratchpad allocation for data aggregates in superperfect graphs (LL, QHN, JX), pp. 207–216.
LCTES-2004-LiX #compilation #energy #framework
A trace-based binary compilation framework for energy-aware computing (LL, JX), pp. 95–106.
ASE-2019-HeLWMZLHLX #algorithm #analysis
Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis (DH, HL, LW, HM, HZ, JL0, SH, LL, JX), pp. 267–279.
CC-2017-LiLX #execution #morphism #polymorphism #symbolic computation
Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.
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.