|
|
Lian Li - Principal Member of Technical Staff Lian Li is a Principal member of technical staff for Oracle Labs, working in the Program Analysis Group. He is currently the tech leader of the white-box fuzzing project, which applies dynamic symbolic execution to find Java security vulnerabilities. His research interests focus on programming language analysis and implementation, including program analysis for bug detection and parallelisation, software testing, compiler optimisations, computer architecture and parallel computing. Education: * PhD Computer Science 2007,University of New South Wales, Australia * BEng Engineering Physics 1998,Tsinghua University, China
- Transitioning Parfait into a Development Tool
- Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Article, (2012)
- Boosting the performance of flow-sensitive points-to analysis using value flow.
- Lian Li, Cristina Cifuentes, Nathan Keynes, SIGSOFT FSE 2011:343-353
- Static deep error checking in large system applications using Parfait.
- Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann, In Proceedings, (2011)
- Practical and effective symbolic analysis for buffer overflow detection.
- Lian Li, Cristina Cifuentes, Nathan Keynes, SIGSOFT FSE 2010:317-326
- Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs.
- Lian Li, Jingling Xue, Jens Knoop, ACM Trans. Embedded Comput. Syst. (TECS) 10(2):28 (2010)
- BegBunch: Benchmarking for C Bug Detection Tools
- Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney, Bernhard Scholz, In Proceedings, (2009)
- Compiler-directed scratchpad memory management via graph coloring.
- Lian Li, Hui Feng, Jingling Xue, TACO 6(3) (2009)
- Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.
- Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai, CC 2009:78-93
- Program analysis for bug detection using Parfait: invited talk.
- Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz, In Proceedings, (2009)
- Thread-Sensitive Modulo Scheduling for Multicore Processors.
- Lin Gao, Quan Hoang Nguyen, Lian Li, Jingling Xue, Tin-Fook Ngai, ICPP 2008:132-140
- Loop recreation for thread-level speculation.
- Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai, ICPADS 2007:1-10
- Scratchpad allocation for data aggregates in superperfect graphs.
- Lian Li, Quan Hoang Nguyen, Jingling Xue, LCTES 2007:207-216
- Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation.
- Lian Li, Hui Wu, Hui Feng, Jingling Xue, Asia-Pacific Computer Systems Architecture Conference 2007:63-74
- Trace-based leakage energy optimisations at link time.
- Lian Li, Jingling Xue, Journal of Systems Architecture (JSA) 53(1):1-20 (2007)
- Trace-Based Data Cache Leakage Reduction at Link Time.
- Lian Li, Jingling Xue, Asia-Pacific Computer Systems Architecture Conference 2006:175-188
- Memory Coloring: A Compiler Approach for Scratchpad Memory Management.
- Lian Li, Lin Gao, Jingling Xue, IEEE PACT 2005:329-338
- A trace-based binary compilation framework for energy-aware computing.
- Lian Li, Jingling Xue, LCTES 2004:95-106
|
|
|
Oracle Labs