• Sign in
  • Sign up
conf.researchr.org / Steffen Smolka
  • PLDI 2015 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
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

Share
xFri 20 May 01:08
using conf.researchr.org (v1.55.6)
Support page
Sign Up