متابعة
Marko Vasic
Marko Vasic
University of Texas at Austin
بريد إلكتروني تم التحقق منه على utexas.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
1652019
CRN++: Molecular Programming Language‏
M Vasić, D Soloveichik, S Khurshid‏
Journal of Natural Computing, 391-407, 2020‏
622020
CRN++: Molecular programming language‏
M Vasić, D Soloveichik, S Khurshid‏
International Conference on DNA Computing and Molecular Programming, 1-17, 2018‏
622018
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‏
532017
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‏
50*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‏
432017
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‏
222020
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‏
192022
CRNs Exposed: Systematic exploration of chemical reaction networks‏
M Vasic, D Soloveichik, S Khurshid‏
International Conference on DNA Computing and Molecular Programming, 2020‏
132020
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‏
8*2020
Designing neural networks using logical specs‏
S Singh, M Vasic, S Khurshid‏
2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020‏
22020
Symbiosis of program analysis and biologically inspired computational models‏
M Vasic‏
2022
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–12