Zoe Paraskevopoulou

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