• Sign in
  • Sign up
conf.researchr.org / Muhammad Usman
  • 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
xFri 3 Oct 10:32
using conf.researchr.org (v1.72.1)
Support page
Sign Up