Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI

Registered user since Fri 10 Jul 2015

Name:Amir Kafshdar Goharshady
Affiliation:Hong Kong University of Science and Technology


PLDI 2021 Polynomial Reachability Witnesses via Stellensätze
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Show activities from other conferences

PLDI 2021-profile
View general profile