Follow
Long Pham
Title
Cited by
Cited by
Year
Defunctionalization of higher-order constrained Horn clauses
L Pham, SJ Ramsay, CHL Ong
arXiv preprint arXiv:1810.03598, 2018
52018
Typable fragments of polynomial automatic amortized resource analysis
L Pham, J Hoffmann
arXiv preprint arXiv:2010.16353, 2020
12020
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
L Pham, J Hoffmann
arXiv preprint arXiv:2309.01261, 2023
2023
Facilitating Concurrency in Hybrid Programs
H Turki, L Pham
2019
Optimal Loss Functions for Distributionally Robust Optimization of Neural Networks
LT Pham
The system can't perform the operation now. Try again later.
Articles 1–5