| 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 | 151 | 2019 |
| CRN++: Molecular Programming Language M Vasić, D Soloveichik, S Khurshid Journal of Natural Computing, 391-407, 2020 | 57 | 2020 |
| CRN++: Molecular programming language M Vasić, D Soloveichik, S Khurshid International Conference on DNA Computing and Molecular Programming, 1-17, 2018 | 57 | 2018 |
| 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 | 48 | 2017 |
| 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 | 40 | 2017 |
| 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 | 20 | 2020 |
| 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 | 14 | 2022 |
| CRNs Exposed: Systematic exploration of chemical reaction networks M Vasic, D Soloveichik, S Khurshid International Conference on DNA Computing and Molecular Programming, 2020 | 10 | 2020 |
| 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 | 3 | 2020 |
| Symbiosis of program analysis and biologically inspired computational models M Vasic | | 2022 |
Sarfraz KhurshidProfessor, University of Texas at Austin在 ece.utexas.edu 的电子邮件经过验证
