Tianhan Lu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ashutosh Trivedi
26 publications
Bor-Yuh Evan Chang
10 publications
Pavol Cerny
7 publications

research

∙ 08/18/2021

Selectively-Amortized Resource Bounding (Extended Version)

We consider the problem of automatically proving resource bounds. That i...

0 Tianhan Lu, et al. ∙

research

∙ 10/24/2018

Type-directed Bounding of Collections in Reactive Programs

Our aim is to statically verify that in a given reactive program, the le...

0 Tianhan Lu, et al. ∙