Compiling with continuations, correctly
Paraskevopoulou, Zoe, Grover, Anvay
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Closure conversion is safe for space
Paraskevopoulou, Zoe, Appel, Andrew W.
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Field surveys can improve predictions of habitat suitability for reintroductions: a swift fox case study
Paraskevopoulou, Zoe, Shamon, Hila, Songer, Melissa, Ruxton, Graeme, McShea, William J.
Published in Oryx (01.05.2022)
Published in Oryx (01.05.2022)
Get full text
Journal Article
Compositional optimizations for CertiCoq
Paraskevopoulou, Zoe, Li, John M., Appel, Andrew W.
Published in Proceedings of ACM on programming languages (01.08.2021)
Published in Proceedings of ACM on programming languages (01.08.2021)
Get full text
Journal Article
Generating good generators for inductive relations
Lampropoulos, Leonidas, Paraskevopoulou, Zoe, Pierce, Benjamin C.
Published in Proceedings of ACM on programming languages (01.01.2018)
Published in Proceedings of ACM on programming languages (01.01.2018)
Get full text
Journal Article
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Fitzgibbons, Michael, Paraskevopoulou, Zoe, Mushtak, Noble, Thalakottur, Michelle, Sulaiman Manzur, Jose, Ahmed, Amal
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Foundational Property-Based Testing
Paraskevopoulou, Zoe, Hriţcu, Cătălin, Dénès, Maxime, Lampropoulos, Leonidas, Pierce, Benjamin C.
Published in Interactive Theorem Proving (19.08.2015)
Published in Interactive Theorem Proving (19.08.2015)
Get full text
Book Chapter
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Paraskevopoulou, Zoe, Fitzgibbons, Michael, Thalakottur, Michelle, Mushtak, Noble, Mazur, Jose Sulaiman, Ahmed, Amal
Year of Publication 16.01.2024
Year of Publication 16.01.2024
Get full text
Journal Article
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
Martínez, Guido, Ahman, Danel, Dumitrescu, Victor, Giannarakis, Nick, Hawblitzel, Chris, Hritcu, Catalin, Narasimhamurthy, Monal, Paraskevopoulou, Zoe, Pit-Claudel, Clément, Protzenko, Jonathan, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil
Year of Publication 17.03.2018
Year of Publication 17.03.2018
Get full text
Journal Article
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
Martínez, Guido, Ahman, Danel, Dumitrescu, Victor, Giannarakis, Nick, Hawblitzel, Chris, Hritcu, Catalin, Narasimhamurthy, Monal, Paraskevopoulou, Zoe, Pit-Claudel, Clément, Protzenko, Jonathan, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil
Published in arXiv.org (07.03.2019)
Get full text
Published in arXiv.org (07.03.2019)
Paper