Research output per year
Research output per year
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
-
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 volume › Conference contribution › Scientific › peer-review
Open AccessFile2 Citations (Scopus)59 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 volume › Conference contribution › Scientific › peer-review
-
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 journal › Editorial › Scientific › peer-review
Open AccessFile28 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 volume › Conference contribution › Scientific › peer-review
Open AccessFile2 Citations (Scopus)71 Downloads (Pure) -
Randomized Testing of Byzantine Fault Tolerant Algorithms
Winter, L. N., Buşe, F., de Graaf, D., von Gleissenthall, K. & Kulahcioglu Ozkan, B., 2023, In: PACMPL. 7, OOPSLA(1), p. 757-788 32 p., 101.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile72 Downloads (Pure)
Prizes
-
-
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)
Activities
-
VMCAI'24 - The 25th International Conference on Verification, Model Checking, and Abstract Interpretation
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jan 2024 → 19 Jan 2024Activity: Participating in or organising an event › Participation in conference
-
ASPLOS'24 - The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Burcu Kulahcioglu Ozkan (Member of programme committee)
27 Apr 2024 → 1 May 2024Activity: Participating in or organising an event › Participation in conference
-
OOPSLA 2024 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Burcu Kulahcioglu Ozkan (Member of programme committee)
20 Oct 2024 → 25 Oct 2024Activity: Participating in or organising an event › Participation in conference
-
ECOOP/ISSTA 2024 Doctoral Symposium
Burcu Kulahcioglu Ozkan (Organiser)
16 Sept 2024 → 20 Sept 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
ACM Student Research Competition’24
Burcu Kulahcioglu Ozkan (Organiser)
11 Mar 2024 → 14 Mar 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course