Alexander Filatov
where else to find them
github:javapathfinder
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
never shared a talk
who talks about the same things
- Eloisa Marchesoni5 talks
- Alex Davis3 talks
- David Orban4 talks
- Kevin Murcko4 talks
- Luca Borella2 talks
- Jon Stephens4 talks
| title | conference | date |
|---|---|---|
| Java PathFinder: going to Mars without bugs and deadlocks | Hydra 2022 | 2022-06-02 |
Java PathFinder runs model checking on Java bytecode and exhaustively explores thread interleavings to produce deadlock and data-race counterexamples with full… | ||
| nothing matches | ||