Publications

Long Pham (2024). Thesis Proposal: Hybrid Resource-Bound Analysis of Programs.

Long Pham, Di Wang, Feras Saad, Jan Hoffmann (2024). Programmable MCMC with Soundly Composed Guide Programs (OOPSLA 2024). OOPSLA 2024.

PDF Code Slides DOI TR

Long Pham, Feras Saad, Jan Hoffmann (2023). Robust Resource Bounds with Static Analysis and Bayesian Inference (PLDI 2024). PLDI 2024.

PDF Code Slides DOI TR

Long Pham, Jan Hoffmann (2023). Worst-Case Input Generation for Concurrent Programs Under Non-Monotone Resource Metrics (LMCS 2024). Logical Methods in Computer Science (LMCS).

Long Pham, Jan Hoffmann (2020). Typable Fragments of Polynomial Automatic Amortized Resource Analysis (CSL 2021). CSL 2021.

PDF Slides DOI arXiv

Long Pham, Wenjie Ruan, Marta Kwiatkowska (2019). Optimal Loss Functions for Distributionally Robust Optimization of Neural Networks.

Long Pham, Steven Ramsay, C.-H. Luke Ong (2018). Defunctionalization of Higher-Order Constrained Horn Clauses.

PDF Code arXiv Artifact