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
  • 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)
  • 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
  • <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
  • 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
  • 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
  • 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