Zoe Paraskevopoulou

According to our database, Zoe Paraskevopoulou authored at least 15 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

act: Technical report.

Zoe Paraskevopoulou, Anja Petkovic Komel, Sophie Rain, Lefteris Lazaropoulos, Alexis Terry

CoRR, April, 2026

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report).

Zoe Paraskevopoulou

CoRR, February, 2026

2024

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly.

Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed

Proc. ACM Program. Lang., 2024

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly.

Zoe Paraskevopoulou, Michael Fitzgibbons, Michelle Thalakottur, Noble Mushtak, Jose Sulaiman Mazur, Amal Ahmed

CoRR, 2024

Hevm, a Fast Symbolic Execution Framework for EVM Bytecode.

Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Computing correctly with inductive relations.

Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Compiling with continuations, correctly.

Zoe Paraskevopoulou, Anvay Grover

Proc. ACM Program. Lang., 2021

Compositional optimizations for CertiCoq.

Zoe Paraskevopoulou, John M. Li, Andrew W. Appel

Proc. ACM Program. Lang., 2021

2020

Verified Optimizations for Functional Languages

Zoe Paraskevopoulou

PhD thesis, 2020

2019

Closure conversion is safe for space.

Zoe Paraskevopoulou, Andrew W. Appel

Proc. ACM Program. Lang., 2019

Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.

Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy

Proceedings of the Programming Languages and Systems, 2019

2018

Generating good generators for inductive relations.

Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce

Proc. ACM Program. Lang., 2018

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.

Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy

CoRR, 2018

2016

A type theory for incremental computational complexity with control flow changes.

Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Foundational Property-Based Testing.

Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015