• Sign in
  • Sign up
conf.researchr.org / Haris Vikalo
  • PLDI 2020 profile
  • SPLASH 2021 profile

Not registered as user

Name:Haris Vikalo
Affiliation:University of Texas at Austin, USA

Contributions

2021

SPLASH

  • Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the SIGPLAN Papers-track

2020

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 11 Jul 01:35
using conf.researchr.org (v1.69.1)
Support page
Sign Up