Steffen Smolka -

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