关注
Long Pham
Long Pham
Carnegie Mellon University
在 andrew.cmu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
Robust Resource Bounds with Static Analysis and Bayesian Inference
L Pham, FA Saad, J Hoffmann
Proceedings of the ACM on Programming Languages 8 (PLDI), 76-101, 2024
2024
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
系统目前无法执行此操作，请稍后再试。
文章 1–6