Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model. - Alex Ozdemir; Michael Sheely; Daniel Bork; Ricson Cheng; Reyna Hulett; Jean Sung; Jincheng Wang; Ran Libeskind-Hadas (AlCoB, 2017)

DRAT-based Bit-Vector Proofs in CVC4. - Alex Ozdemir; Aina Niemetz; Mathias Preiner; Yoni Zohar; Clark W. Barrett (SAT, 2019)

Scaling Verifiable Computation Using Efficient Set Accumulators. - Alex Ozdemir; Riad S. Wahby; Dan Boneh (IACR Cryptol. ePrint Arch., 2019)

Outsourcing Everyday Jobs to Thousands of Cloud Functions with gg. - Sadjad Fouladi; Francisco Romero; Dan Iter; Qian Li 027; Alex Ozdemir; Shuvo Chatterjee; Matei Zaharia; Christos Kozyrakis; Keith Winstein (login Usenix Mag., 2019)

Parallelization Techniques for Verifying Neural Networks. - Haoze Wu 001; Alex Ozdemir; Aleksandar Zeljic; Kyle Julian; Ahmed Irfan; Divya Gopinath; Sadjad Fouladi; Guy Katz; Corina S. Pasareanu; Clark W. Barrett (FMCAD, 2020)

Scaling Verifiable Computation Using Efficient Set Accumulators. - Alex Ozdemir; Riad S. Wahby; Barry Whitehat; Dan Boneh (USENIX Security Symposium, 2020)

Unifying Compilers for SNARKs, SMT, and More. - Alex Ozdemir; Fraser Brown; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2020)

SAT Solving in the Serverless Cloud. - Alex Ozdemir; Haoze Wu 001; Clark W. Barrett (FMCAD, 2021)

Efficient Functional Commitments: How to Commit to Private Functions. - Dan Boneh; Wilson D. Nguyen; Alex Ozdemir (IACR Cryptol. ePrint Arch., 2021)

Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets. - Alex Ozdemir; Dan Boneh (IACR Cryptol. ePrint Arch., 2021)

Flexible Proof Production in an Industrial-Strength SMT Solver. - Haniel Barbosa; Andrew Reynolds 001; Gereon Kremer; Hanna Lachnitt; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; Arjun Viswanathan 001; Scott Viteri; Yoni Zohar; Cesare Tinelli; et al. (IJCAR, 2022)

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. - Abhishek Anil Nair; Saranyu Chattopadhyay; Haoze Wu 001; Alex Ozdemir; Clark W. Barrett (FMCAD, 2022)

CirC: Compiler infrastructure for proof systems, software verification, and more. - Alex Ozdemir; Fraser Brown; Riad S. Wahby (SP, 2022)

cvc5: A Versatile and Industrial-Strength SMT Solver. - Haniel Barbosa; Clark W. Barrett; Martin Brain; Gereon Kremer; Hanna Lachnitt; Makai Mann; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; et al. (TACAS (1), 2022)

Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers. - Abhishek Nair; Saranyu Chattopadhyay; Haoze Wu 001; Alex Ozdemir; Clark W. Barrett (CoRR, 2022)

R2E2: low-latency path tracing of terabyte-scale scenes using thousands of cloud CPUs. - Sadjad Fouladi; Brennan Shacklett; Fait Poms; Arjun Arora; Alex Ozdemir; Deepti Raghavan; Pat Hanrahan; Kayvon Fatahalian; Keith Winstein (ACM Trans. Graph., 2022)

Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. - Edward Chen; Jinhao Zhu; Alex Ozdemir; Riad S. Wahby; Fraser Brown; Wenting Zheng (IACR Cryptol. ePrint Arch., 2023)

Satisfiability Modulo Finite Fields. - Alex Ozdemir; Gereon Kremer; Cesare Tinelli; Clark W. Barrett (IACR Cryptol. ePrint Arch., 2023)

Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). - Alex Ozdemir; Riad S. Wahby; Fraser Brown; Clark W. Barrett (IACR Cryptol. ePrint Arch., 2023)

Generating and Exploiting Automated Reasoning Proof Certificates. - Haniel Barbosa; Clark W. Barrett; Byron Cook; Bruno Dutertre; Gereon Kremer; Hanna Lachnitt; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Cesare Tinelli; et al. (Commun. ACM, 2023)

An SMT-LIB Theory of Finite Fields. - Thomas Hader; Alex Ozdemir (SMT@CAV, 2024)

zkPi: Proving Lean Theorems in Zero-Knowledge. - Evan Laufer; Alex Ozdemir; Dan Boneh (IACR Cryptol. ePrint Arch., 2024)

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs. - Alex Ozdemir; Evan Laufer; Dan Boneh (IACR Cryptol. ePrint Arch., 2024)

Split Gröbner Bases for Satisfiability Modulo Finite Fields. - Alex Ozdemir; Shankara Pailoor; Alp Bassa; Kostas Ferles; Clark W. Barrett; Isil Dillig (IACR Cryptol. ePrint Arch., 2024)

cvc5 for SMT-COMP 2024. - Leni Aniva; Haniel Barbosa; Clark W. Barrett; Hanna Lachnitt; Daniel Larraz; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Hans-Jörg Schurr; et al. (Zenodo, 2024)

Integer Reasoning Modulo Different Constants in SMT. - Elizaveta Pertseva; Alex Ozdemir; Shankara Pailoor; Alp Bassa; Sorawee Porncharoenwase; Isil Dillig; Clark W. Barrett (CAV (1), 2025)

Efficient Proofs of Possession for Legacy Signatures. - Anna P. Y. Woo; Alex Ozdemir; Chad Sharp; Thomas Pornin; Paul Grubbs (IACR Cryptol. ePrint Arch., 2025)