trustML@Penn          home      people      research      publications


conference

Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama. Learning to Communicate in Multi-Agent Systems via Transformer-Guided Program Synthesis. NeurIPS 2020.

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

Himabindu Lakkaraju, Nino Arsov, Osbert Bastani. Robust and Stable Black Box Explanations. ICML 2020. [paper]

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]