Zoe Paraskevopoulou

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Parallel Architecture

Interprocess Communication

Top Venues

Proc. ACM Program. Lang.

Publications

Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman
Hevm, a Fast Symbolic Execution Framework for EVM Bytecode. CAV (1) (2024)
Zoe Paraskevopoulou, Michael Fitzgibbons, Michelle Thalakottur, Noble Mushtak, Jose Sulaiman Mazur, Amal Ahmed
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. CoRR (2024)
Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos
Computing correctly with inductive relations. PLDI (2022)
Zoe Paraskevopoulou, Anvay Grover
Compiling with continuations, correctly. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Zoe Paraskevopoulou, John M. Li, Andrew W. Appel
Compositional optimizations for CertiCoq. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Zoe Paraskevopoulou, Andrew W. Appel
Closure conversion is safe for space. Proc. ACM Program. Lang. 3 (ICFP) (2019)
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
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. ESOP (2019)
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
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. CoRR (2018)
Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce
Generating good generators for inductive relations. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg
A type theory for incremental computational complexity with control flow changes. ICFP (2016)
Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
Foundational Property-Based Testing. ITP (2015)