• Sign in
  • Sign up
conf.researchr.org / Steffen Smolka
  • PLDI 2015 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2024 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
Steffen Smolka

Registered user since Fri 16 Jan 2015

Name:Steffen Smolka
Affiliation:Google
Personal website: https://smolka.st
X (Twitter): https://x.com/steffensmallcar
GitHub: https://github.com/smolkaj
Research interests:Programming Languages, Network Verification

Contributions

2024

PLDI

  • Author of KATch: A Fast Symbolic Verifier for NetKAT within the PLDI Research Papers-track

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
xSat 12 Jul 12:43
using conf.researchr.org (v1.69.1)
Support page
Sign Up