Folgen
Long Pham
Long Pham
Carnegie Mellon University
Bestätigte E-Mail-Adresse bei andrew.cmu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5