Pedro H. Azevedo de Amorim

According to our database, Pedro H. Azevedo de Amorim authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Compositional Expected Cost Analysis of Functional Probabilistic Programs.

Pedro H. Azevedo de Amorim

CoRR, 2024

2023

Modular Hardware Design with Timeline Types.

Rachit Nigam, Pedro Henrique Azevedo de Amorim, Adrian Sampson

Proc. ACM Program. Lang., 2023

Separated and Shared Effects in Higher-Order Languages.

Pedro H. Azevedo de Amorim, Justin Hsu

CoRR, 2023

A Higher-Order Language for Markov Kernels and Linear Operators.

Pedro H. Azevedo de Amorim

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming.

Pedro H. Azevedo de Amorim, Christopher Lam

CoRR, 2022

A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics.

Pedro H. Azevedo de Amorim

CoRR, 2022

2021

Universal Semantics for the Stochastic λ-Calculus.

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Universal Semantics for the Stochastic Lambda-Calculus.

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts

CoRR, 2020

First-Order Logic for Flow-Limited Authorization.

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2017

A specification for dependent types in Haskell.

Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg

Proc. ACM Program. Lang., 2017