Alexander Antonio Ozdemir
Ph.D. Student in Computer Science, admitted Autumn 2018
All Publications
-
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
IEEE COMPUTER SOC. 2023: 848-863
View details for DOI 10.1109/SP46215.2023.00103
View details for Web of Science ID 001035501500043
-
R2E2: Low-Latency Path Tracing of Terabyte-Scale Scenes using Thousands of Cloud CPUs
ACM TRANSACTIONS ON GRAPHICS
2022; 41 (4)
View details for DOI 10.1145/3528223.3530171
View details for Web of Science ID 000830989200118
-
cvc5: A Versatile and Industrial-Strength SMT Solver
SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 415-442
View details for DOI 10.1007/978-3-030-99524-9_24
View details for Web of Science ID 000782396700024
-
<i>Proof</i>-<i>Stitch</i>: Proof Combination for Divide-and-Conquer SAT Solvers
TU Wien Acad Press. 2022: 84-88
View details for DOI 10.34727/2022/isbn.978-3-85448-053-2_14
View details for Web of Science ID 001062691400014
-
CirC: Compiler infrastructure for proof systems, software verification, and more
IEEE COMPUTER SOC. 2022: 2248-2266
View details for DOI 10.1109/SP46214.2022.00093
View details for Web of Science ID 000852887300130
-
Flexible Proof Production in an Industrial-Strength SMT Solver
SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 15-35
View details for DOI 10.1007/978-3-031-10769-6_3
View details for Web of Science ID 000876376400003
-
Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model
SPRINGER-VERLAG BERLIN. 2017: 127–39
View details for DOI 10.1007/978-3-319-58163-7_9
View details for Web of Science ID 000425873300009