Tianhan Lu

According to our database, Tianhan Lu authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Selectively-Amortized Resource Bounding.

Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi

Proceedings of the Static Analysis - 28th International Symposium, 2021

2019

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019