Filip Niksic
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Burcu Kulahcioglu Ozkan8 talks
- Constantin Enea14 talks
- Rupak Majumdar21 talks
- Andreas Pavlogiannis18 talks
- Zhendong Su25 talks
- Benjamin C. Pierce17 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| DiffStream: Differential Output Testing for Stream Processing Programs | OOPSLA 2020 | 2020-11-15 |
DiffStream is a Flink testing library that compares a sequential and a parallel run by a matching algorithm that decides stream equivalence up to an explicit… | ||
| nothing matches | ||