Marko Vasic

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 18

Top Topics

Programming Language

Database Languages

Random Selection

Reinforcement Learning

Top Venues

ESEC/SIGSOFT FSE

Publications

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