ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Steffen Smolka

Registered user since Fri 16 Jan 2015

Name:Steffen Smolka
Affiliation:Google
Personal website: https://smolka.st
Research interests:Programming Languages, Network Verification

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile