Alexander Antonio Ozdemir

All Publications

• Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols Chen, E., Zhu, J., Ozdemir, A., Wahby, R. S., Brown, F., Zheng, W., IEEE 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 Fouladi, S., Shacklett, B., Poms, F., Arora, A., Ozdemir, A., Raghavan, D., Hanrahan, P., Fatahalian, K., Winstein, K. 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 Barbosa, H., Barrett, C., Brain, M., Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Notzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C., Zohar, Y. edited by Fisman, D., Rosu, G. 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 Nair, A., Chattopadhyay, S., Wu, H., Ozdemir, A., Barrett, C. edited by Griggio, A., Rungta, N. 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 Ozdemir, A., Brown, F., Wahby, R. S., IEEE COMP SOC 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 Barbosa, H., Reynolds, A., Kremer, G., Lachnitt, H., Niemetz, A., Notzli, A., Ozdemir, A., Preiner, M., Viswanathan, A., Viteri, S., Zohar, Y., Tinelli, C., Barrett, C. edited by Blanchette, J., Kovacs, L., Pattinson, D. 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 Ozdemir, A., Sheely, M., Bork, D., Cheng, R., Hulett, R., Sung, J., Wang, J., Libeskind-Hadas, R. edited by Figueiredo, D., MartinVide, C., Pratas, D., VegaRodriguez, M. A. 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