Marko Vasic -

Registered user since Sun 29 Nov 2020

Name:Marko Vasic

Country:United States

Affiliation:University of Texas at Austin, USA

Personal website: https://marko-vasic.github.io/

Research interests:Machine Learning, Software Engineering, Molecular Programming

Contributions

2021

SPLASH

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

Mining Software Repositories

Committee Member in Mining Challenge Committee within the Mining Challenge-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