Concepedia

Alex Ozdemir

AO

7

Publications

123

Citations

7

H-Index

2019

Active since

Affiliations

Stanford University(Current)

Carnegie Mellon University

Alex Ozdemir is an author at Stanford University specializing in formal verification, engineering, and verification.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationData ScienceDeep LearningMachine LearningCluster ComputingParallel ComputingComputer Engineering

Publications per year

2019–2023

7

Publications

7

CirC: Compiler infrastructure for proof systems, software verification, and more

Alex Ozdemir, Fraser Brown, Riad S. Wahby · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 32 citations

Parallelization Techniques for Verifying Neural Networks

Haoze Wu, Alex Ozdemir, Aleksandar Zeljić et al. · arXiv (Cornell University) · 2020 · 24 citations · Full text

Artificial Intelligence, Cluster Computing, Engineering +20

Parallelization Techniques for Verifying Neural Networks

Haoze Wu, Alex Ozdemir, Aleksandar Zeljić et al. · reposiTUm (TU Wien) · 2020 · 18 citations · Full text

Artificial Intelligence, Cluster Computing, Engineering +20

Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets

Alex Ozdemir, Dan Boneh · IACR Cryptology ePrint Archive · 2021 · 14 citations

Generating and Exploiting Automated Reasoning Proof Certificates

Haniel Barbosa, Clark Barrett, Byron Cook et al. · Communications of the ACM · 2023 · 13 citations

Rows per page

1–5 of 7