trustML@Penn          home      people      research      publications


conference

Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik. Generating Programmatic Referring Expressions via Program Synthesis. ICML 2020.

Himabindu Lakkaraju, Nino Arsov, Osbert Bastani. Robust Black Box Explanations Under Distribution Shift. ICML 2020.

Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng. Program Synthesis using Deduction-Guided Reinforcement Learning. CAV 2020. [paper]

Shuo Li, Osbert Bastani. Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics. ICRA 2020. [paper] [arXiv]

Osbert Bastani. Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. AISTATS 2020. [paper] [arXiv]

Sangdon Park, Osbert Bastani, Jim Weimer, Insup Lee. Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS 2020. [paper] [arXiv]

Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee. PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. ICLR 2020. [paper] [arXiv]

Jeevana Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama. Synthesizing Programmatic Policies that Inductively Generalize. ICLR 2020. [paper]

Himabindu Lakkaraju, Osbert Bastani. "How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations. AIES 2020. [paper] [arXiv]

Kishor Jothimurugan, Rajeev Alur, Osbert Bastani. Composable Specifications for Reinforcement Learning. NeurIPS 2019. [paper] [presentation] [code]

Osbert Bastani, Xin Zhang, Armando Solar-Lezama. Verifying Fairness Properties via Concentration. OOPSLA 2019. [paper] [arXiv]

Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig. Relational Verification using Reinforcement Learning. OOPSLA 2019. [paper]

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] [arXiv]

Halley Young, Osbert Bastani, Mayur Naik. Learning Neurosymbolic Generative Models via Program Synthesis. ICML 2019. [paper] [arXiv]

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken. Eventually Sound Points-To Analysis with Missing Code. ECOOP 2019. [paper] [arXiv]

Osbert Bastani, Yewen Pu, Armando Solar-Lezama. Verifiable Reinforcement Learning via Policy Extraction. NeurIPS 2018. [paper] [arXiv] [presentation] [poster] [code]

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang. Active Learning of Points-To Specifications. PLDI 2018. [paper] [arXiv] [presentation] [code]

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig. Program Synthesis using Conflict-Driven Learning. PLDI 2018 (Distinguished Paper). [paper] [arXiv]

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang. Synthesizing Program Input Grammars. PLDI 2017. [paper] [arXiv] [presentation] [code]

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS 2017. [paper] [arXiv]

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi. Measuring Neural Net Robustness with Constraints. NIPS 2016. [paper] [arXiv] [poster] [code]

Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken. Minimizing GUI Event Traces. FSE 2016. [paper]

Osbert Bastani, Saswat Anand, Alex Aiken. Interactively verifying absence of explicit information flows in Android apps. OOPSLA 2015. [paper] [presentation]

Osbert Bastani, Saswat Anand, Alex Aiken. Specification inference using context-free reachability. POPL 2015. [paper] [presentation]


journal

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]


workshop

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]

Osbert Bastani, Carolyn Kim, Hamsa Bastani. Interpretability via Model Extraction. FAT/ML Workshop 2017. [paper] [arXiv] [extended] [poster] [code]

Osbert Bastani, Saswat Anand, Alex Aiken. An interactive approach to mobile app verification. MobileDeLi Workshop 2015 (Invited Paper). [paper]


other

Osbert Bastani. Safe Planning via Model Predictive Shielding. In submission. [arXiv] [code]

Osbert Bastani, Xin Zhang, Armando Solar-Lezama. Synthesizing Queries via Interactive Sketching. In Submission. [arXiv]

Wenbo Zhang, Osbert Bastani, Vijay Kumar. MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding. 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. [arXiv]

Osbert Bastani. Beyond Deductive Inference in Program Analysis. Ph.D. Thesis, 2018. [thesis] [defense]