Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steffen Smolka
conf.researchr.org general profile
PLDI 2015 profile
PLDI 2019 profile
PLDI 2020 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
Registered user since Fri 16 Jan 2015
Name:
Steffen Smolka
Affiliation:
Cornell University
Personal website:
https://smolka.st
Contributions
PLDI 2020
Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020
Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track
PLDI 2019
Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
PPS 2018
Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
POPL 2017
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track
PLDI 2015
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Sun 28 May 12:36