Marko Vasic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DNA | CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. | Marko Vasic, David Soloveichik, Sarfraz Khurshid |
| 2020 | ICML | Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. | Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik |
| 2020 | ISSRE | Designing Neural Networks Using Logical Specs. | Shikhar Singh, Marko Vasic, Sarfraz Khurshid |
| 2020 | PLDI | A study of the learnability of relational properties: model counting meets machine learning (MCML). | Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid |
| 2019 | ICLR | Neural Program Repair by Jointly Learning to Localize and Repair. | Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh |
| 2018 | DNA | : Molecular Programming Language. | Marko Vasic, David Soloveichik, Sarfraz Khurshid |