Pedro H. Azevedo de Amorim

201720182019202020212022202320242 15 10 15 12 15 17 21

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Richard A. EisenbergJane StreetVerified email at richarde.dev
Rachit NigamCornell UniversityVerified email at cornell.edu
Adrian SampsonComputer Science, Cornell UniversityVerified email at cornell.edu
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Justin HsuCornell UniversityVerified email at justinhsu.net
Ethan CecchettiAssistant Professor of Computer Sciences, University of Wisconsin - MadisonVerified email at wisc.edu
Ross TateAssistant Professor in Computer Science at Cornell UniversityVerified email at cs.cornell.edu
Andrew K. HirschUniversity at Buffalo, SUNYVerified email at buffalo.edu
Owen ArdenAssistant Professor of Computer Science UCSCVerified email at soe.ucsc.edu

Pedro H. Azevedo de Amorim

Verified email at cs.ox.ac.uk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	75	2017
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	10	2023
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	10	2021
A Higher-Order Language for Markov Kernels and Linear Operators. PHA de Amorim FoSSaCS, 89-112, 2023	6	2023
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming PH Azevedo de Amorim, C Lam arXiv e-prints, arXiv: 2207.05946, 2022	3*	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	3	2020
Separated and Shared Effects in Higher-Order Languages PH Azevedo de Amorim, J Hsu arXiv preprint arXiv:2303.01616, 2023	2	2023
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
An Enriched Calculus for Kernels and Linear Operators PHA DE AMORIM

The system can't perform the operation now. Try again later.

Articles 1–10

Citations per year