Follow
Marko  Vasic
Marko Vasic
Verified email at utexas.edu - Homepage
Title
Cited by
Cited by
Year
Neural Program Repair by Jointly Learning to Localize and Repair
M Vasic, A Kanade, P Maniatis, D Bieber, R Singh
International Conference on Learning Representations, 2019
1512019
CRN++: Molecular Programming Language
M Vasić, D Soloveichik, S Khurshid
Journal of Natural Computing, 391-407, 2020
572020
CRN++: Molecular programming language
M Vasić, D Soloveichik, S Khurshid
International Conference on DNA Computing and Molecular Programming, 1-17, 2018
572018
Regression Test Selection Across JVM Boundaries
A Celik, M Vasic, A Milicevic, M Gligoric
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
482017
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning
M Vasic, A Petrovic, K Wang, M Nikolic, R Singh, S Khurshid
Neural Networks, 2022
43*2022
File-Level vs. Module-Level Regression Test Selection for .NET
M Vasic, Z Parvez, A Milicevic, M Gligoric
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
402017
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks
M Vasic, C Chalk, S Khurshid, D Soloveichik
International Conference on Machine Learning, 2020
202020
Programming and Training Rate-Independent Chemical Reaction Networks
M Vasic, C Chalk, A Luchsinger, S Khurshid, D Soloveichik
Proceedings of the National Academy of Sciences 119 (24), e2111552119, 2022
142022
CRNs Exposed: Systematic exploration of chemical reaction networks
M Vasic, D Soloveichik, S Khurshid
International Conference on DNA Computing and Molecular Programming, 2020
102020
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
M Usman, W Wang, M Vasic, K Wang, H Vikalo, S Khurshid
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
7*2020
Designing neural networks using logical specs
S Singh, M Vasic, S Khurshid
2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020
32020
Symbiosis of program analysis and biologically inspired computational models
M Vasic
2022
The system can't perform the operation now. Try again later.
Articles 1–12