dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Lian Li (Selection)

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo: Transitioning Parfait into a Development Tool. IEEE Security & Privacy 10(3): 16-23 (2012)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLian Li, Cristina Cifuentes, Nathan Keynes: Boosting the performance of flow-sensitive points-to analysis using value flow. SIGSOFT FSE 2011: 343-353
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann: Static deep error checking in large system applications using parfait. SIGSOFT FSE 2011: 432-435
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLian Li, Cristina Cifuentes, Nathan Keynes: Practical and effective symbolic analysis for buffer overflow detection. SIGSOFT FSE 2010: 317-326
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz: Program analysis for bug detection using parfait: invited talk. PEPM 2009: 7-8

Selection of 5 from 71 records - Lian Li has 113 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page