Tags: Check HomeworkMaster Of Fine Arts In Creative Writing In EnglishEssays On Athletes SalariesLearn To Cook EssaySample Essay TitlesStudent Papers NanotechnologyCornell Critical Thinking Test Level Z (1985)Dissertation Expert
The legacy of our mothers, fathers, and families is in every word that we speak and on every page that we write.I am a research assistant professor at the Department of Computer and Information Science at the University of Pennsylvania. I am broadly interested in machine learning and programming languages research.
[ar Xiv] Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik. [ar Xiv] Osbert Bastani, Xin Zhang, Armando Solar-Lezama. Relational Verification using Reinforcement Learning. REINAM: Reinforcement Learning for Input-Grammar Inference. Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints. Polytopic Trees for Verification of Learning-Based Controllers. [paper] Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken. [paper] [extended] [ar Xiv] [presentation] [code] Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig.
[ar Xiv] Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig. Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie. [paper] Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar. Learning Neurosymbolic Generative Models via Program Synthesis. [paper] [extended] [ar Xiv] Sadra Sadraddini, Shen Shen, Osbert Bastani. [paper] [ar Xiv] Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi.
[thesis] [defense] Osbert Bastani, Carolyn Kim, Hamsa Bastani.
[paper] [arxiv] [poster] [code] Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. [paper] [ar Xiv] Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi.
In addition, co-author and good friend Christine is from the same small town in North Carolina as is my maternal grandfather.
Maybe this connection explains our similar cultural temperaments that undoubtedly came from our North Carolina influenced upbringings.
Her annotated copy of Milton’s Paradise Lost and her early editions of the Harlem Renaissance poets serve me well in my capacity as an English Professor at the College. My paternal grandfather left me with a strong appreciation for two forms of communication- rap and country music.
He was truly the first person I heard rap – in the form of an old spiritual I heard him perform in church one day. Every Saturday night we watched Hee-Haw and I’d sing along with the songs.
My parents still live in a renovated version of the same house where they have lived my entire life.
My favorite language use has always been–the varieties that my family speaks: the language spoken on the porches and pulpits in Charles City County, VA and Winston Salem, NC.