I am broadly interested in machine learning and programming languages research. Recently, I have been working on developing trustworthy machine learning algorithms. Machine learning is increasingly used in real world systems where failures can be catastrophic, such as autonomous vehicles, medical diagnosis, and legal decision making. For such applications, there are many desirable correctness properties that machine learning models should satisfy, including safety, robustness, fairness, causality, and interpretability. My work aims to address the following challenges:
Osbert Bastani. Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. In submission. [arXiv]
Min Wen, Osbert Bastani, Ufuk Topcu. Fairness with Dynamics. In submission. [arXiv]
Carolyn Kim, Osbert Bastani. Learning Interpretable Models with Causal Guarantees. In submission. [arXiv]
Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik. PolyDroid: Learning-Driven Specialization of Mobile Applications. In submission. [arXiv]
Osbert Bastani, Carolyn Kim, Hamsa Bastani. Interpreting Blackbox Models via Model Extraction. In submission. [arXiv]
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani. Composable Specifications for Reinforcement Learning. NeurIPS 2019.
Osbert Bastani, Xin Zhang, Armando Solar-Lezama. Verifying Fairness Properties via Concentration. OOPSLA 2019. [arXiv]
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig. Relational Verification using Reinforcement Learning. OOPSLA 2019.
Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie. REINAM: Reinforcement Learning for Input-Grammar Inference. FSE 2019. [paper]
Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar. Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints. IROS 2019. [paper]
Sadra Sadraddini, Shen Shen, Osbert Bastani. Polytopic Trees for Verification of Learning-Based Controllers. Workshop on NSV 2019. [paper]
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi. Measuring Neural Net Robustness with Constraints. DARS Workshop 2018 (Invited Paper). [paper] [presentation]
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken. Minimizing GUI Event Traces. FSE 2016. [paper]
Osbert Bastani, Saswat Anand, Alex Aiken. An interactive approach to mobile app verification. MobileDeLi Workshop 2015 (Invited Paper). [paper]
Osbert Bastani, Christopher Hillar, Dimitar Popov, Maurice Rojas. Randomization, sums of squares, near-circuits, and faster real root counting. Contemporary Mathematics 556 (2011): 145-166. [paper]