xAt 9.10 CET, the conf.researchr.org platform will be updated, causing conference websites to be offline for 1 minute. You may need to refresh the page you're viewing to interact with the website again.
Write a Blog >>
Steffen Smolka

Registered user since Fri 16 Jan 2015

Name: Steffen Smolka

Affiliation: Cornell University

Personal website: https://smolka.st

Contributions

POPL 2020 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Show activities from other conferences

POPL 2020-profile
View general profile