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
2020
PLDI
Committee Member in External Review Committee within the PLDI Research Papers-track
POPL
Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track
2019
PLDI
Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
2018
LAFI
Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
2017
POPL
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
2015
PLDI
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Tue 5 Dec 18:49