Articles with public access mandates - Zoe ParaskevopoulouLearn more
Available somewhere: 6
CertiCoq: A verified compiler for Coq
A Anand, A Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ...
The third international workshop on Coq for programming languages (CoqPL), 2017
Mandates: US National Science Foundation
Generating good generators for inductive relations
L Lampropoulos, Z Paraskevopoulou, BC Pierce
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Mandates: US National Science Foundation
Closure conversion is safe for space
Z Paraskevopoulou, AW Appel
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
Mandates: US National Science Foundation
Compositional optimizations for CertiCoq
Z Paraskevopoulou, JM Li, AW Appel
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
Mandates: US National Science Foundation
Computing correctly with inductive relations
Z Paraskevopoulou, A Eline, L Lampropoulos
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Mandates: US National Science Foundation
Compiling with continuations, correctly
Z Paraskevopoulou, A Grover
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program