Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Muhammad Usman
conf.researchr.org general profile
ASE 2020 profile
ICSE 2021 profile
PLDI 2020 profile
SPLASH 2021 profile
Registered user since Wed 3 Mar 2021
Name:
Muhammad Usman
Affiliation:
University of Texas at Austin, USA
Contributions
2021
SPLASH
Session Chair of PLDI 2020 Papers 4 (part of SIGPLAN Papers)
Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the SIGPLAN Papers-track
ICSE
Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track
2020
ASE
Author of TestMC: Testing Model Counters using Differential and Metamorphic Testing within the Research Papers-track
PLDI
Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the PLDI Research Papers-track
Share
x
Tue 3 Dec 18:04