Segui
Long Pham
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5