Burcu Kulahcioglu Ozkan
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA4 editions2018–2025
on a stage with
all 11 in the filters
who talks about the same things
- Srinidhi Nagendra2 talks
- Filip Niksic3 talks
- Constantin Enea14 talks
- Ankush Desai10 talks
- Rupak Majumdar21 talks
- Zhendong Su25 talks
| title | conference | date |
|---|---|---|
| Model-guided Fuzzing of Distributed Systems | OOPSLA 2025 | 2025-10-16 |
An implementation of a fuzzer for TLA+ models drives scheduler-controlled seed schedules into real systems, maps runtime events to model actions, and uses TLA+… | ||
| Randomized Testing of Byzantine Fault Tolerant Algorithms | OOPSLA 2023 | 2023-10-23 |
ByzzFuzz is a randomized tester that injects bounded faults (F faulty processes, D network perturbation rounds, C mutation rounds) and applies small-scope… | ||
| Welcome to the Erlang Workshop | Erlang 2023 | 2023-09-04 |
Workshop overview presents a small program with 5 submissions, 4 accepted and an even split of 50% research and 50% experience reports. The program covers BEAM… | ||
| Testing Consensus Implementations using Communication Closure | OOPSLA 2020 | 2020-11-15 |
Presents a randomized tester that exploits communication closure to sample k-periodic uniform lossy synchronous executions instead of all asynchronous… | ||
| Randomized Testing of Distributed Systems with Probabilistic Guarantees | OOPSLA 2018 | 2018-11-07 |
A randomized scheduler called PC-TCP constructs an online chain partition of the observed partial order and samples schedules so that for width w and n events… | ||
| nothing matches | ||