• Sign in
  • Sign up
conf.researchr.org / Andrew Appel
  • ICFP 2019 profile
  • PLDI 2015 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • SPLASH 2017 profile
Andrew Appel

Not registered as user yet

Name: Andrew Appel

Affiliation: Princeton

Personal website: http://www.cs.Princeton.EDU/~appel

Contributions

DeepSpec 2019Presenter of Closure Conversion is Safe for Space within the DeepSpec 2019-track
Session Chair of Interaction Trees and Algebraic Effects I (part of DeepSpec 2019)
Presenter of Abstraction, Subsumption, and Linking in VST within the DeepSpec 2019-track
Presenter of Project Updates from Participating Sites within the DeepSpec 2019-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
DeepSpec 2018Author of The Science of Deep Specification within the DeepSpec 2018-track
FMS 2018Author of Modular Verification of Deep Specifications of Security-Critical Components within the FMS 2018-track
ICFP 2019Author of Closure Conversion is Safe for Space within the Research Papers-track
CoqPL 2018Committee Member in Program Committee within the -track
DSW 2017Author of Verifying concurrent C programs with the Verified Software Toolchain within the DSW 2017-track
Session Chair of Intro & industry perspective on crypto (part of DSW 2017)
CoqPL 2017Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track
SPLASH 2017Author of A Verified Messaging System within the OOPSLA-track
CoqPL 2016Author of The Science of Deep Specification within the CoqPL-track
PLDI 2015Author of Verification of a Cryptographic Primitive: SHA-256 within the Research Papers-track

Share
xThu 12 Dec 02:26
using conf.researchr.org (v1.21.5)
Support page
Sign Up