Collaborated with:M.Z.0001 Z.Gu M.G.0001 H.Z.0002 S.Wang H.Hoffmann S.Lu William Sentosa Achmad Imam Kistijantoro
Talks about:understand (1) configur (1) perform (1) analysi (1) static (1) specif (1) sensit (1) adjust (1) infer (1) error (1)
Person: Chi Li
DBLP: Li:Chi
Contributed to:
2019
2018Wrote 2 papers:
- ASE-2019-Li0G00 #fault #named #specification #static analysis
- Ares: Inferring Error Specifications through Static Analysis (CL, MZ0, ZG, MG0, HZ0), pp. 1174–1177.
- ASPLOS-2018-WangLHLSK #comprehension
- Understanding and Auto-Adjusting Performance-Sensitive Configurations (SW, CL, HH, SL, WS, AIK), pp. 154–168.