conf.researchr.org / Andrew W. Appel
Registered user since Fri 12 Jun 2020
Name:Andrew W. Appel
Affiliation:Princeton University
Personal website: http://www.cs.Princeton.EDU/~appel
GitHub: https://github.com/andrew_appel
Contributions
2024
POPL
2022
2021
2020
2019
DeepSpec
- Presenter 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