Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Oliver Emil Bøving
conf.researchr.org general profile
APLAS & ATVA 2026 profile
PLDI 2026 profile
Registered user since Sat 13 Jan 2024
Name:
Oliver
Emil Bøving
Contributions
2026
APLAS
Committee Member in Artifact Evaluation Committee within the ATVA Research Papers-track
PLDI
Author of Weighted NetKAT: A Programming Language For Quantitative Network Verification within the PLDI Research Papers-track
Share
x
Sat 15 Aug 14:52