Arthur Azevedo de Amorim

Registered user since Thu 20 Oct 2016

Name: Arthur Azevedo de Amorim

Bio: I am currently a post-doc researcher at CMU working with Matt Fredrikson and Anupam Datta. I completed my Ph.D. studies at the University of Pennsylvania, under the supervision of Benjamin Pierce.

Country: United States

Affiliation: Carnegie Mellon University, USA

Personal website: http://www.seas.upenn.edu/~aarthur

Research interests: Programming Languages, Formal Verification, Security, Privacy

Contributions

CoqPL 2021Committee Member in Program Committee within the CoqPL-track
CPP 2021Committee Member in Program Committee within the CPP 2021-track
Haskell 2020Committee Member in Program Committee within the Haskell 2020-track
CoqPL 2020Author of Deriving Instances with Dependent Types within the CoqPL-track
PLDI 2020Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Session Chair of Semantics & Type Theory (part of Research Papers)
Session Chair of Probabilistic Reasoning and Verification (part of Research Papers)
PLDI 2019Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2018Author of Short talk: The Meaning of Memory Safety within the PriSC 2018-track
Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
PLDI 2018Committee Member in External Review Committee
POPL 2017Author of A Semantic Account of Metric Preservation within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2016Author of T4: Programs and Proofs in the Coq Proof Assistant within the Tutorials-track
Author of T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) within the Tutorials-track