SPLASH 2020 (series) / Josef Widder
Registered user since Sat 22 Aug 2020
Name: Josef Widder
Country: Austria
Affiliation: Informal Systems
Personal website: https://forsyte.at/widder
Research interests: fault tolerance, distributed algorithms, byzantine faults, computer-aided verification, model checking
Contributions
| SPLASH 2020 | Author of Programming at the Edge of Synchrony within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile