| Measuring neural net robustness with constraints O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi Advances in neural information processing systems 29, 2016 | 412 | 2016 |
| Interpreting blackbox models via model extraction O Bastani, C Kim, H Bastani arXiv preprint arXiv:1705.08504, 2017 | 310* | 2017 |
| Verifiable reinforcement learning via policy extraction O Bastani, Y Pu, A Solar-Lezama Advances in Neural Information Processing Systems, 2018 | 243 | 2018 |
| Synthesizing program input grammars O Bastani, R Sharma, A Aiken, P Liang ACM SIGPLAN Notices 52 (6), 95-110, 2017 | 172 | 2017 |
| " How do I fool you?" Manipulating User Trust via Misleading Black Box Explanations H Lakkaraju, O Bastani Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, 79-85, 2020 | 155 | 2020 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 141 | 2018 |
| An efficient homomorphic encryption protocol for multi-user systems L Xiao, O Bastani, IL Yen Cryptology ePrint Archive, 2012 | 90 | 2012 |
| Automatically learning android malware signatures from few samples Y Feng, O Bastani, R Martins, I Dillig, S Anand Proceedings of the 2017 Annual Network and Distributed System Security …, 2017 | 89* | 2017 |
| A composable specification language for reinforcement learning tasks K Jothimurugan, R Alur, O Bastani Advances in Neural Information Processing Systems 32, 2019 | 60 | 2019 |
| Robust and stable black box explanations H Lakkaraju, N Arsov, O Bastani International Conference on Machine Learning, 5628-5638, 2020 | 55 | 2020 |
| Robust model predictive shielding for safe reinforcement learning with stochastic dynamics S Li, O Bastani 2020 IEEE International Conference on Robotics and Automation (ICRA), 7166-7172, 2020 | 54 | 2020 |
| Specification inference using context-free language reachability O Bastani, S Anand, A Aiken Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 54 | 2015 |
| Probabilistic verification of fairness properties via concentration O Bastani, X Zhang, A Solar-Lezama Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019 | 53 | 2019 |
| Minimizing GUI event traces L Clapp, O Bastani, S Anand, A Aiken Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 47 | 2016 |
| Algorithms for fairness in sequential decision making M Wen, O Bastani, U Topcu International Conference on Artificial Intelligence and Statistics, 1144-1152, 2021 | 45* | 2021 |
| Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding O Bastani American Control Conference (ACC), 2021 | 39* | 2021 |
| PAC confidence sets for deep neural networks via calibrated prediction S Park, O Bastani, N Matni, I Lee arXiv preprint arXiv:2001.00106, 2019 | 35 | 2019 |
| Conservative offline distributional reinforcement learning Y Ma, D Jayaraman, O Bastani Advances in Neural Information Processing Systems 34, 19235-19247, 2021 | 33 | 2021 |
| Interactively verifying absence of explicit information flows in Android apps O Bastani, S Anand, A Aiken ACM SIGPLAN Notices 50 (10), 299-315, 2015 | 32 | 2015 |
| Calibrated prediction with covariate shift via unsupervised domain adaptation S Park, O Bastani, J Weimer, I Lee International Conference on Artificial Intelligence and Statistics, 3219-3229, 2020 | 30 | 2020 |
Hamsa BastaniAssistant Professor of Operations Information and Decisions, Wharton SchoolVerified email at wharton.upenn.edu
