Contact

Additional Info

  • Mail Code: 9025

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., 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

  • 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

  • <i>Proof</i>-<i>Stitch</i>: Proof Combination for Divide-and-Conquer SAT Solvers Nair, A., Chattopadhyay, S., Wu, H., Ozdemir, A., Barrett, C., 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

  • 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., 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., 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