[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.
My paternal grandmother’s experiences contrast greatly with those of maternal grandmother, as she held master’s degrees in both English and History.
My maternal grandmother taught me to read and had me reciting poetry and conversing on topics in African-American history at a very early age.
The linguistic autobiography helps me to understand the linguistic histories of my students and since we can all communicate in some form, gives us some linguistic common ground.
Students are never required to tell me any more than they want to.
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.
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.