Alex Ozdemir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
8
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SOUPS | Goals, Risks, and Safety Practices in Online Labor Abuse Disclosures. | Veronica A. Rivera, Tracy Li, Alex Ozdemir, Catherine Han, Zakir Durumeric, Elissa M. Redmiles |
| 2025 | CAV | Integer Reasoning Modulo Different Constants in SMT. | Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett |
| 2025 | SP | Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs. | Alex Ozdemir, Evan Laufer, Dan Boneh |
| 2025 | SP | Efficient Proofs of Possession for Legacy Signatures. | Anna P. Y. Woo, Alex Ozdemir, Chad Sharp, Thomas Pornin, Paul Grubbs |
| 2024 | CAV | Split Grbner Bases for Satisfiability Modulo Finite Fields. | Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig |
| 2024 | CCS | zkPi: Proving Lean Theorems in Zero-Knowledge. | Evan Laufer, Alex Ozdemir, Dan Boneh |
| 2023 | CAV | Satisfiability Modulo Finite Fields. | Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett |
| 2023 | CAV | Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. | Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett |
| 2023 | SP | 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 |
| 2022 | CADE | Flexible Proof Production in an Industrial-Strength SMT Solver. | Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Ntzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
| 2022 | FMCAD | Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. | Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett |
| 2022 | SP | CirC: Compiler infrastructure for proof systems, software verification, and more. | Alex Ozdemir, Fraser Brown, Riad S. Wahby |
| 2022 | TACAS | 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 Ntzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar |
| 2021 | FMCAD | SAT Solving in the Serverless Cloud. | Alex Ozdemir, Haoze Wu, Clark W. Barrett |
| 2020 | FMCAD | Parallelization Techniques for Verifying Neural Networks. | Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
| 2019 | SAT | DRAT-based Bit-Vector Proofs in CVC4. | Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett |