Fingerprint

Dive into the research topics where B. Özkan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • GRAIL: Checking Transaction Isolation Violations with Graph Queries

    Dumbrava, S., Jin, Z., Ozkan, B. K. & Qiu, J., 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024. IEEE, p. 320-321 2 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    11 Downloads (Pure)
  • Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm

    van Meerten, M. C., Kulahcioglu Ozkan, B. & Panichella, A., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2023. p. 36-47 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    2 Citations (Scopus)
    77 Downloads (Pure)
  • Liveness Checking of the HotStuff Protocol Family

    Decouchant, J., Kulahcioglu Ozkan, B. & Zhou, Y., 2023, Proceedings of the 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC). Ceballos, C. (ed.). Piscataway: IEEE, p. 168-179 12 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Message from the Chairs

    Kulahcioglu Ozkan, B. & Fernandez-Reyes, K., 2023, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang. p. iii-iii 1 p.

    Research output: Contribution to journalEditorialScientificpeer-review

    Open Access
    File
    53 Downloads (Pure)
  • Probabilistic Concurrency Testing for Weak Memory Programs

    Gao, M., Chakraborty, S. & Ozkan, B. K., 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 603-616 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    2 Citations (Scopus)
    88 Downloads (Pure)
  • Amazon Research Award

    Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

  • Distinguished Paper Award at OOPSLA'23

    Winter, Levin N. (Recipient), Buşe, Florena (Recipient), de Graaf, Daan (Recipient), von Gleissenthall, Klaus (Recipient) & Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

    File
  • Ripple Bug Bounty Program Award

    Winter, Levin N. (Recipient), Buşe, Florena (Recipient) & Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)

  • Stellar Academic Research Award

    Özkan, B. (Recipient), 2023

    Prize: Prize (including medals and awards)