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
Research interests:Programming Languages, Formal Verification, Security, Privacy

Contributions

PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
POPL 2022 Author of On Incorrectness Logic and Kleene Algebra With Top and Tests within the POPL-track
CoqPL 2021 Committee Member in Program Committee within the CoqPL-track
VMCAI 2021 Author of Netter: Probabilistic, Stateful Network Models within the VMCAI-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
CoqPL 2020 Author of Deriving Instances with Dependent Types within the CoqPL-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2020 Committee 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 2019 Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2018 Author 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 2018 Committee Member in External Review Committee
POPL 2017 Author of A Semantic Account of Metric Preservation within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2016 Author 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