ThanhVu Nguyen
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2021
on a stage with
- Didier Ishimweonce
- Eric Koskinenonce
- KimHao Nguyenonce
all 6 in the filters
who talks about the same things
- Ton Chanh Le8 talks
- Armando Solar-Lezama18 talks
- Xiaokang Qiu6 talks
- Benjamin Mariano6 talks
- Loris D'Antoni17 talks
- Jeffrey S. Foster10 talks
| title | conference | date |
|---|---|---|
| Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations | OOPSLA 2021 | 2021-10-17 |
Dynaplex instruments recursive programs, infers recurrences from traces (sizes, recursion depth, loop counts), fits cost terms by regression, and solves with… | ||
| DynamiTe: Dynamic Termination and Non-termination Proofs | OOPSLA 2020 | 2020-11-15 |
DynamiTe is a Python tool that instruments loops with vtrace instrumentation and iteration counters, learns linear ranking functions from concrete terminating… | ||
| nothing matches | ||