Selectively-Amortized Resource Bounding - Tianhan Lu; Bor-Yuh Evan Chang; Ashutosh Trivedi (Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, 2021)

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

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

Type-Directed Bounding of Collections in Reactive Programs - Tianhan Lu; Pavol Cerný; Bor-Yuh Evan Chang; Ashutosh Trivedi (Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, 2019)

Type-directed Bounding of Collections in Reactive Programs - Tianhan Lu; Pavol Cerný; Bor-Yuh Evan Chang; Ashutosh Trivedi (CoRR, 2018)