Type-Directed Bounding of Collections in Reactive Programs. - Tianhan Lu; Pavol Cerný; Bor-Yuh Evan Chang; Ashutosh Trivedi 001 (VMCAI, 2019)

Towards Denial-of-Service Memory Vulnerabilities. - Tianhan Lu; Yu-Ju Lee; Wen-Wei Liao (J. Softw., 2019)

Selectively-Amortized Resource Bounding. - Tianhan Lu; Bor-Yuh Evan Chang; Ashutosh Trivedi 001 (SAS, 2021)