| A specification for dependent types in Haskell S Weirich, A Voizard, PH Azevedo de Amorim, RA Eisenberg Proceedings of the ACM on Programming Languages 1 (ICFP), 2017 | 71 | 2017 |
| Universal semantics for the stochastic λ-calculus PH Azevedo de Amorim, D Kozen, R Mardare, P Panangaden, M Roberts 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2021 | 9 | 2021 |
| Modular hardware design with timeline types R Nigam, PH Azevedo de Amorim, A Sampson Proceedings of the ACM on Programming Languages 7 (PLDI), 343-367, 2023 | 8 | 2023 |
| A Higher-Order Language for Markov Kernels and Linear Operators. PHA de Amorim FoSSaCS, 89-112, 2023 | 5 | 2023 |
| Separated and Shared Effects in Higher-Order Languages PH Azevedo de Amorim, J Hsu arXiv preprint arXiv:2303.01616, 2023 | 2 | 2023 |
| Distribution Theoretic Semantics for Non-Smooth Differentiable Programming PH Azevedo de Amorim, C Lam arXiv e-prints, arXiv: 2207.05946, 2022 | 2* | 2022 |
| First-Order Logic for Flow-Limited Authorization AK Hirsch, PH Azevedo de Amorim, E Cecchetti, R Tate, O Arden 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020 | 1 | 2020 |
| Compositional Expected Cost Analysis of Functional Probabilistic Programs PHA de Amorim arXiv preprint arXiv:2402.01009, 2024 | | 2024 |
| A Unifying Semantics for Markov Kernels and Linear Operators PHA de Amorim Cornell University, 2023 | | 2023 |
