Marko Vasic

18 papers A* 2A 1B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning.
Neural Networks
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2021 J jnl
Programming and Training Rate-Independent Chemical Reaction Networks.
CoRR
Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik
2020 A* conf
A study of the learnability of relational properties: model counting meets machine learning (MCML).
PLDI
Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
2020 J jnl
CRN++: Molecular programming language.
Nat. Comput.
Marko Vasic, David Soloveichik, Sarfraz Khurshid
2020 B conf
CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks.
DNA
Marko Vasic, David Soloveichik, Sarfraz Khurshid
2020 A* conf
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks.
ICML
Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
2020 J jnl
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks.
CoRR
Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
2020 A conf
Designing Neural Networks Using Logical Specs.
ISSRE
Shikhar Singh, Marko Vasic, Sarfraz Khurshid
2019 J jnl
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).
CoRR
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
2019 J jnl
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks.
CoRR
Marko Vasic, David Soloveichik, Sarfraz Khurshid
2019 J jnl
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees.
CoRR
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2019 — conf
Neural Program Repair by Jointly Learning to Localize and Repair.
ICLR (Poster)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2019 J jnl
Neural Program Repair by Jointly Learning to Localize and Repair.
CoRR
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2018 B conf
: Molecular Programming Language.
DNA
Marko Vasic, David Soloveichik, Sarfraz Khurshid
2018 J jnl
CRN++: Molecular Programming Language.
CoRR
Marko Vasic, David Soloveichik, Sarfraz Khurshid
2017 — conf
File-level vs. module-level regression test selection for .NET.
ESEC/SIGSOFT FSE
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, Milos Gligoric
2017 — conf
Regression test selection across JVM boundaries.
ESEC/SIGSOFT FSE
Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric
2015 — conf
Porting of run-time environment for Lua-based applications.
ICCE-Berlin
Marko Grumic, Marko Vasic, Jelena Kovacevic, Ivan Kastelan