According to our database1, Tianhan Lu authored at least 3 papers between 2018 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Towards Denial-of-Service Memory Vulnerabilities.
Type-Directed Bounding of Collections in Reactive Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Type-directed Bounding of Collections in Reactive Programs.