Muhammad Usman -

Registered user since Wed 3 Mar 2021

Name:Muhammad Usman

Affiliation:University of Texas at Austin, USA

Contributions

SPLASH 2021	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 2021	Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track
ASE 2020	Author of TestMC: Testing Model Counters using Differential and Metamorphic Testing within the Research Papers-track
PLDI 2020	Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the PLDI Research Papers-track