| Defunctionalization of higher-order constrained Horn clauses L Pham, SJ Ramsay, CHL Ong arXiv preprint arXiv:1810.03598, 2018 | 5 | 2018 |
| 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 | 3 | 2024 |
| Typable fragments of polynomial automatic amortized resource analysis L Pham, J Hoffmann arXiv preprint arXiv:2010.16353, 2020 | 2 | 2020 |
| Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics L Pham, J Hoffmann Logical Methods in Computer Science 20, 2024 | | 2024 |
| Thesis Proposal: Hybrid Resource-Bound Analyses of Programs L Pham Carnegie Mellon University, 2024 | | 2024 |
| Programmable MCMC with Soundly Composed Guide Programs L Pham, D Wang, FA Saad, J Hoffmann Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1051-1080, 2024 | | 2024 |
| Facilitating Concurrency in Hybrid Programs H Turki, L Pham | | 2019 |
| Optimal Loss Functions for Distributionally Robust Optimization of Neural Networks LT Pham | | |
