| 2026 |
J |
jnl |
CoRR
Jeffrey Tao, Yimeng Zeng, Haydn Thomas Jones, Natalie Maus, Osbert Bastani, Jacob R. Gardner, Ryan Marcus
|
| 2026 |
J |
jnl |
CoRR
Haosen Ge, Hamsa Bastani, Osbert Bastani
|
| 2026 |
A* |
conf |
AAAI
Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani
|
| 2026 |
J |
jnl |
Manag. Sci.
Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri
|
| 2026 |
J |
jnl |
CoRR
Stephen Mell, Steve Zdancewic, Osbert Bastani
|
| 2026 |
J |
jnl |
CoRR
Ramya Ramalingam, Osbert Bastani, Aaron Roth
|
| 2026 |
J |
jnl |
CoRR
Natalie Maus, Yimeng Zeng, Haydn Thomas Jones, Yining Huang, Gaurav Ng Goel, Alden Rose, Kyurae Kim, Hyun-Su Lee, Marcelo Der Torossian Torres, Fangping Wan, Cesar de la Fuente-Nunez, Mark Yatskar, Osbert Bastani, Jacob R. Gardner
|
| 2026 |
J |
jnl |
Commun. ACM
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
|
| 2026 |
J |
jnl |
CoRR
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
|
| 2026 |
J |
jnl |
CoRR
William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Yecheng Jason Ma, Dinesh Jayaraman
|
| 2026 |
J |
jnl |
CoRR
Hamsa Bastani, Osbert Bastani, Bryce McLaughlin
|
| 2025 |
J |
jnl |
CoRR
Stephen Mell, Botong Zhang, David Mell, Shuo Li, Ramya Ramalingam, Nathan Yu, Steve Zdancewic, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
|
| 2025 |
J |
jnl |
CoRR
Botong Zhang, Shuo Li, Ignacio Hounie, Osbert Bastani, Dongsheng Ding, Alejandro Ribeiro
|
| 2025 |
J |
jnl |
IEEE Micro
Alexander Shypula, Aman Madaan, Yimeng Zeng, Uri Alon, Jacob R. Gardner, Milad Hashemi, Graham Neubig, Parthasarathy Ranganathan, Osbert Bastani, Amir Yazdanbakhsh
|
| 2025 |
J |
jnl |
CoRR
Hamsa Bastani, Osbert Bastani, Bryce McLaughlin
|
| 2025 |
J |
jnl |
CoRR
Sagnik Anupam, Davis Brown, Shuo Li, Eric Wong, Hamed Hassani, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani
|
| 2025 |
A* |
conf |
ICLR
Botong Zhang, Shuo Li, Osbert Bastani
|
| 2025 |
A* |
conf |
ICML
Michael S. Yao, James C. Gee, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Michael S. Yao, James C. Gee, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Lianghuan Huang, Shuo Li, Sagnik Anupam, Insup Lee, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Alexander Shypula, Shuo Li, Botong Zhang, Vishakh Padmakumar, Kayo Yin, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Michael S. Yao, Osbert Bastani, Alma Andersson, Tommaso Biancalani, Aïcha BenTaieb, Claudia Iriondo
|
| 2025 |
J |
jnl |
CoRR
Sagnik Anupam, Alexander Shypula, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Yimeng Zeng, Natalie Maus, Haydn Thomas Jones, Jeffrey Tao, Fangping Wan, Marcelo Der Torossian Torres, Cesar de la Fuente-Nunez, Ryan Marcus, Osbert Bastani, Jacob R. Gardner
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Stephen Mell, Konstantinos Kallas, Steve Zdancewic, Osbert Bastani
|
| 2025 |
J |
jnl |
CoRR
Lianghuan Huang, Sagnik Anupam, Insup Lee, Shuo Li, Osbert Bastani
|
| 2025 |
— |
conf |
NeuS
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
|
| 2025 |
A* |
conf |
ICML
Haosen Ge, Hamsa Bastani, Osbert Bastani
|
| 2025 |
A* |
conf |
ICLR
Yecheng Jason Ma, Joey Hejna, Chuyuan Fu, Dhruv Shah, Jacky Liang, Zhuo Xu, Sean Kirmani, Peng Xu, Danny Driess, Ted Xiao, Osbert Bastani, Dinesh Jayaraman, Wenhao Yu, Tingnan Zhang, Dorsa Sadigh, Fei Xia
|
| 2025 |
A* |
conf |
ICLR
Wentao Guo, Jikai Long, Yimeng Zeng, Zirui Liu, Xinyu Yang, Yide Ran, Jacob R. Gardner, Osbert Bastani, Christopher De Sa, Xiaodong Yu, Beidi Chen, Zhaozhuo Xu
|
| 2024 |
J |
jnl |
CoRR
Stephen Mell, Steve Zdancewic, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Botong Zhang, Shuo Li, Osbert Bastani
|
| 2024 |
— |
conf |
Robotics: Science and Systems
Alexander Khazatsky, Karl Pertsch, Suraj Nair, Ashwin Balakrishna, Sudeep Dasari, Siddharth Karamcheti, Soroush Nasiriany, Mohan Kumar Srirama, Lawrence Yunliang Chen, Kirsty Ellis, Peter David Fagan, Joey Hejna, Masha Itkina, Marion Lepert, Yecheng Jason Ma, Patrick Tree Miller, Jimmy Wu, Suneel Belkhale, Shivin Dass, Huy Ha, Arhan Jain, Abraham Lee, Youngwoon Lee, Marius Memmel, Sungjae Park, Ilija Radosavovic, Kaiyuan Wang, Albert Zhan, Kevin Black, Cheng Chi, Kyle Beltran Hatch, Shan Lin, Jingpei Lu, Jean Mercat, Abdul Rehman, Pannag R. Sanketi, Archit Sharma, Cody Simpson, Quan Vuong, Homer Rich Walke, Blake Wulfe, Ted Xiao, Jonathan Heewon Yang, Arefeh Yavary, Tony Z. Zhao, Christopher Agia, Rohan Baijal, Mateo Guaman Castro, Daphne Chen, Qiuyu Chen, Trinity Chung, Jaimyn Drake, Ethan Paul Foster, Jensen Gao, David Antonio Herrera, Minho Heo, Kyle Hsu, Jiaheng Hu, Donovon Jackson, Charlotte Le, Yunshuang Li, Roy Lin, Zehan Ma, Abhiram Maddukuri, Suvir Mirchandani, Daniel Morton, Tony Nguyen, Abigail O'Neill, Rosario Scalise, Derick Seale, Victor Son, Stephen Tian, Emi Tran, Andrew E. Wang, Yilin Wu, Annie Xie, Jingyun Yang, Patrick Yin, Yunchu Zhang, Osbert Bastani, Glen Berseth, Jeannette Bohg, Ken Goldberg, Abhinav Gupta, Abhishek Gupta, Dinesh Jayaraman, Joseph J. Lim, Jitendra Malik, Roberto Martín-Martín, Subramanian Ramamoorthy, Dorsa Sadigh, Shuran Song, Jiajun Wu, Michael C. Yip, Yuke Zhu, Thomas Kollar, Sergey Levine, Chelsea Finn
|
| 2024 |
— |
conf |
Robotics: Science and Systems
Yecheng Jason Ma, William Liang, Hung-Ju Wang, Yuke Zhu, Linxi Fan, Osbert Bastani, Dinesh Jayaraman
|
| 2024 |
J |
jnl |
CoRR
Yecheng Jason Ma, William Liang, Hung-Ju Wang, Sam Wang, Yuke Zhu, Linxi Fan, Osbert Bastani, Dinesh Jayaraman
|
| 2024 |
Misc |
conf |
CoRL
William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Dinesh Jayaraman, Yecheng Jason Ma
|
| 2024 |
A* |
conf |
ICLR
Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, Anima Anandkumar
|
| 2024 |
J |
jnl |
CoRR
William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Dinesh Jayaraman, Yecheng Jason Ma
|
| 2024 |
J |
jnl |
CoRR
Michael S. Yao, Allison Chae, Charles E. Kahn Jr., Walter R. Witschey, James C. Gee, Hersh Sagreiya, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani
|
| 2024 |
A* |
conf |
NeurIPS
Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Halley Young, Yimeng Zeng, Jacob R. Gardner, Osbert Bastani
|
| 2024 |
A* |
conf |
ICLR
Alexander Shypula, Aman Madaan, Yimeng Zeng, Uri Alon, Jacob R. Gardner, Yiming Yang, Milad Hashemi, Graham Neubig, Parthasarathy Ranganathan, Osbert Bastani, Amir Yazdanbakhsh
|
| 2024 |
A* |
conf |
NeurIPS
Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding
|
| 2024 |
J |
jnl |
CoRR
Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding
|
| 2024 |
A* |
conf |
ICRA
Abby O'Neill, Abdul Rehman, Abhiram Maddukuri, Abhishek Gupta, Abhishek Padalkar, Abraham Lee, Acorn Pooley, Agrim Gupta, Ajay Mandlekar, Ajinkya Jain, Albert Tung, Alex Bewley, Alexander Herzog, Alex Irpan, Alexander Khazatsky, Anant Rai, Anchit Gupta, Andrew E. Wang, Anikait Singh, Animesh Garg, Aniruddha Kembhavi, Annie Xie, Anthony Brohan, Antonin Raffin, Archit Sharma, Arefeh Yavary, Arhan Jain, Ashwin Balakrishna, Ayzaan Wahid, Ben Burgess-Limerick, Beomjoon Kim, Bernhard Schölkopf, Blake Wulfe, Brian Ichter, Cewu Lu, Charles Xu, Charlotte Le, Chelsea Finn, Chen Wang, Chenfeng Xu, Cheng Chi, Chenguang Huang, Christine Chan, Christopher Agia, Chuer Pan, Chuyuan Fu, Coline Devin, Danfei Xu, Daniel Morton, Danny Driess, Daphne Chen, Deepak Pathak, Dhruv Shah, Dieter Büchler, Dinesh Jayaraman, Dmitry Kalashnikov, Dorsa Sadigh, Edward Johns, Ethan Paul Foster, Fangchen Liu, Federico Ceola, Fei Xia, Feiyu Zhao, Freek Stulp, Gaoyue Zhou, Gaurav S. Sukhatme, Gautam Salhotra, Ge Yan, Gilbert Feng, Giulio Schiavi, Glen Berseth, Gregory Kahn, Guanzhi Wang, Hao Su, Haoshu Fang, Haochen Shi, Henghui Bao, Heni Ben Amor, Henrik I. Christensen, Hiroki Furuta, Homer Walke, Hongjie Fang, Huy Ha, Igor Mordatch, Ilija Radosavovic, Isabel Leal, Jacky Liang, Jad Abou-Chakra, Jaehyung Kim, Jaimyn Drake, Jan Peters, Jan Schneider, Jasmine Hsu, Jeannette Bohg, Jeffrey T. Bingham, Jeffrey Wu, Jensen Gao, Jiaheng Hu, Jiajun Wu, Jialin Wu, Jiankai Sun, Jianlan Luo, Jiayuan Gu, Jie Tan, Jihoon Oh, Jimmy Wu, Jingpei Lu, Jingyun Yang, Jitendra Malik, João Silvério, Joey Hejna, Jonathan Booher, Jonathan Tompson, Jonathan Yang, Jordi Salvador, Joseph J. Lim, Junhyek Han, Kaiyuan Wang, Kanishka Rao, Karl Pertsch, Karol Hausman, Keegan Go, Keerthana Gopalakrishnan, Ken Goldberg, Kendra Byrne, Kenneth Oslund, Kento Kawaharazuka, Kevin Black, Kevin Lin, Kevin Zhang, Kiana Ehsani, Kiran Lekkala, Kirsty Ellis, Krishan Rana, Krishnan Srinivasan, Kuan Fang, Kunal Pratap Singh, Kuo-Hao Zeng, Kyle Hatch, Kyle Hsu, Laurent Itti, Lawrence Yunliang Chen, Lerrel Pinto, Li Fei-Fei, Liam Tan, Linxi Jim Fan, Lionel Ott, Lisa Lee, Luca Weihs, Magnum Chen, Marion Lepert, Marius Memmel, Masayoshi Tomizuka, Masha Itkina, Mateo Guaman Castro, Max Spero, Maximilian Du, Michael Ahn, Michael C. Yip, Mingtong Zhang, Mingyu Ding, Minho Heo, Mohan Kumar Srirama, Mohit Sharma, Moo Jin Kim, Naoaki Kanazawa, Nicklas Hansen, Nicolas Heess, Nikhil J. Joshi, Niko Sünderhauf, Ning Liu, Norman Di Palo, Nur Muhammad (Mahi) Shafiullah, Oier Mees, Oliver Kroemer, Osbert Bastani, Pannag R. Sanketi, Patrick Tree Miller, Patrick Yin, Paul Wohlhart, Peng Xu, Peter David Fagan, Peter Mitrano, Pierre Sermanet, Pieter Abbeel, Priya Sundaresan, Qiuyu Chen, Quan Vuong, Rafael Rafailov, Ran Tian, Ria Doshi, Roberto Martín-Martín, Rohan Baijal, Rosario Scalise, Rose Hendrix, Roy Lin, Runjia Qian, Ruohan Zhang, Russell Mendonca, Rutav Shah, Ryan Hoque, Ryan Julian, Samuel Bustamante-Gomez, Sean Kirmani, Sergey Levine, Shan Lin, Sherry Moore, Shikhar Bahl, Shivin Dass, Shubham D. Sonawani, Shuran Song, Sichun Xu, Siddhant Haldar, Siddharth Karamcheti, Simeon Adebola, Simon Guist, Soroush Nasiriany, Stefan Schaal, Stefan Welker, Stephen Tian, Subramanian Ramamoorthy, Sudeep Dasari, Suneel Belkhale, Sungjae Park, Suraj Nair, Suvir Mirchandani, Takayuki Osa, Tanmay Gupta, Tatsuya Harada, Tatsuya Matsushima, Ted Xiao, Thomas Kollar, Tianhe Yu, Tianli Ding, Todor Davchev, Tony Z. Zhao, Travis Armstrong, Trevor Darrell, Trinity Chung, Vidhi Jain, Vincent Vanhoucke, Wei Zhan, Wenxuan Zhou, Wolfram Burgard, Xi Chen, Xiaolong Wang, Xinghao Zhu, Xinyang Geng, Xiyuan Liu, Liangwei Xu, Xuanlin Li, Yao Lu, Yecheng Jason Ma, Yejin Kim, Yevgen Chebotar, Yifan Zhou, Yifeng Zhu, Yilin Wu, Ying Xu, Yixuan Wang, Yonatan Bisk, Yoonyoung Cho, Youngwoon Lee, Yuchen Cui, Yue Cao, Yueh-Hua Wu, Yujin Tang, Yuke Zhu, Yunchu Zhang, Yunfan Jiang, Yunshuang Li, Yunzhu Li, Yusuke Iwasawa, Yutaka Matsuo, Zehan Ma, Zhuo Xu, Zichen Jeff Cui, Zichen Zhang, Zipeng Lin
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Stephen Mell, Steve Zdancewic, Osbert Bastani
|
| 2024 |
A* |
conf |
ICLR
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Osbert Bastani
|
| 2024 |
A |
conf |
ITCS
Haosen Ge, Hamsa Bastani, Osbert Bastani
|
| 2024 |
A* |
conf |
ICML
Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Haosen Ge, Hamsa Bastani, Osbert Bastani
|
| 2024 |
— |
conf |
NAACL-HLT
Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
|
| 2024 |
J |
jnl |
CoRR
Ramya Ramalingam, Sangdon Park, Osbert Bastani
|
| 2024 |
A* |
conf |
EMNLP
Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
|
| 2024 |
J |
jnl |
CoRR
Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
|
| 2024 |
A* |
conf |
ICRA
Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs
|
| 2024 |
J |
jnl |
CoRR
Yecheng Jason Ma, Joey Hejna, Ayzaan Wahid, Chuyuan Fu, Dhruv Shah, Jacky Liang, Zhuo Xu, Sean Kirmani, Peng Xu, Danny Driess, Ted Xiao, Jonathan Tompson, Osbert Bastani, Dinesh Jayaraman, Wenhao Yu, Tingnan Zhang, Dorsa Sadigh, Fei Xia
|
| 2024 |
J |
jnl |
CoRR
Wentao Guo, Jikai Long, Yimeng Zeng, Zirui Liu, Xinyu Yang, Yide Ran, Jacob R. Gardner, Osbert Bastani, Christopher De Sa, Xiaodong Yu, Beidi Chen, Zhaozhuo Xu
|
| 2023 |
A* |
conf |
USENIX Security Symposium
Sangdon Park, Osbert Bastani, Taesoo Kim
|
| 2023 |
A* |
conf |
CVPR
Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
|
| 2023 |
A |
conf |
INTERSPEECH
Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris
|
| 2023 |
J |
jnl |
CoRR
Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, Anima Anandkumar
|
| 2023 |
A* |
conf |
ASE
Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
|
| 2023 |
J |
jnl |
CoRR
Natalie Maus, Yimeng Zeng, Daniel Allen Anderson, Phillip M. Maffettone, Aaron Solomon, Peyton Greenside, Osbert Bastani, Jacob R. Gardner
|
| 2023 |
A* |
conf |
ICML
Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman
|
| 2023 |
J |
jnl |
CoRR
Yecheng Jason Ma, William Liang, Vaidehi Som, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman
|
| 2023 |
— |
conf |
L4DC
Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman
|
| 2023 |
J |
jnl |
CoRR
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
|
| 2023 |
A* |
conf |
ICML
Adam Khakhar, Stephen Mell, Osbert Bastani
|
| 2023 |
J |
jnl |
CoRR
Adam Khakhar, Stephen Mell, Osbert Bastani
|
| 2023 |
— |
conf |
CAV (1)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
|
| 2023 |
J |
jnl |
CoRR
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
|
| 2023 |
J |
jnl |
CoRR
Haosen Ge, Hamsa Bastani, Osbert Bastani
|
| 2023 |
A* |
conf |
ICML
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
|
| 2023 |
J |
jnl |
CoRR
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
|
| 2023 |
J |
jnl |
CoRR
Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
|
| 2023 |
— |
conf |
CAV (1)
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
|
| 2023 |
J |
jnl |
CoRR
Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman
|
| 2023 |
J |
jnl |
CoRR
Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
|
| 2023 |
A |
conf |
AISTATS
Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani
|
| 2023 |
J |
jnl |
CoRR
Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs
|
| 2023 |
A* |
conf |
ICLR
Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang
|
| 2022 |
— |
conf |
Principles of Systems Design
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
|
| 2022 |
J |
jnl |
CoRR
Sangdon Park, Osbert Bastani, Taesoo Kim
|
| 2022 |
J |
jnl |
CoRR
Vashist Avadhanula, Omar Abdul Baki, Hamsa Bastani, Osbert Bastani, Caner Gocmen, Daniel Haimovich, Darren Hwang, Dima Karamshuk, Thomas J. Leeper, Jiayuan Ma, Gregory Macnamara, Jake Mullett, Christopher Palow, Sung Park, Varun S. Rajagopal, Kevin Schaeffer, Parikshit Shah, Deeksha Sinha, Nicolás Stier Moses, Peng Xu
|
| 2022 |
A* |
conf |
AAAI
Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman
|
| 2022 |
— |
conf |
ACL (2)
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
|
| 2022 |
J |
jnl |
CoRR
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
|
| 2022 |
J |
jnl |
CoRR
Tsai-Hsuan Chung, Vahid Rostami, Hamsa Bastani, Osbert Bastani
|
| 2022 |
Misc |
conf |
CoRL
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
|
| 2022 |
J |
jnl |
CoRR
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
|
| 2022 |
J |
jnl |
CoRR
Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani
|
| 2022 |
— |
conf |
TERMGRAPH@FSCD
Stephen Mell, Osbert Bastani, Steve Zdancewic
|
| 2022 |
A* |
conf |
NeurIPS
Halley Young, Maxwell Du, Osbert Bastani
|
| 2022 |
A* |
conf |
NeurIPS
Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani
|
| 2022 |
A* |
conf |
ICLR
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
|
| 2022 |
A* |
conf |
NeurIPS
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
|
| 2022 |
J |
jnl |
CoRR
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
|
| 2022 |
A* |
conf |
NeurIPS
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
|
| 2022 |
J |
jnl |
CoRR
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
|
| 2022 |
A* |
conf |
NeurIPS
Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu
|
| 2022 |
J |
jnl |
CoRR
Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu
|
| 2022 |
J |
jnl |
CoRR
Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani
|
| 2022 |
A* |
conf |
ICML
Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani
|
| 2022 |
— |
conf |
CAV (2)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
|
| 2022 |
J |
jnl |
CoRR
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
|
| 2022 |
J |
jnl |
CoRR
Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani
|
| 2022 |
A* |
conf |
ICML
Soham Dan, Osbert Bastani, Dan Roth
|
| 2022 |
J |
jnl |
CoRR
Soham Dan, Osbert Bastani, Dan Roth
|
| 2022 |
J |
jnl |
CoRR
Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang
|
| 2022 |
A* |
conf |
ICML
Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
|
| 2021 |
A |
conf |
AISTATS
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
|
| 2021 |
A |
conf |
AISTATS
Min Wen, Osbert Bastani, Ufuk Topcu
|
| 2021 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
|
| 2021 |
A* |
conf |
NeurIPS
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
|
| 2021 |
J |
jnl |
CoRR
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
|
| 2021 |
A* |
conf |
NeurIPS
Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman
|
| 2021 |
— |
conf |
EMNLP (Findings)
Soham Dan, Osbert Bastani, Dan Roth
|
| 2021 |
A* |
conf |
ICML
Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri
|
| 2021 |
A* |
conf |
NeurIPS
Alexis Ross, Himabindu Lakkaraju, Osbert Bastani
|
| 2021 |
A* |
conf |
ICCV
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
|
| 2021 |
A* |
conf |
ICLR
Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
|
| 2021 |
A* |
conf |
NeurIPS
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
|
| 2021 |
J |
jnl |
CoRR
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
|
| 2021 |
J |
jnl |
CoRR
Kan Xu, Hamsa Bastani, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
|
| 2021 |
— |
conf |
Robotics: Science and Systems
Osbert Bastani, Shuo Li
|
| 2021 |
C |
conf |
ACC
Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Wanqiao Xu, Kan Xu, Hamsa Bastani, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Michael J. Cafarella, Tim Kraska, Sam Madden
|
| 2021 |
— |
conf |
Onward!
Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden
|
| 2021 |
J |
jnl |
CoRR
Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
|
| 2021 |
A* |
conf |
PLDI
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
|
| 2020 |
C |
conf |
AIES
Himabindu Lakkaraju, Osbert Bastani
|
| 2020 |
J |
jnl |
CoRR
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
|
| 2020 |
J |
jnl |
CoRR
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
|
| 2020 |
A |
conf |
AISTATS
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
|
| 2020 |
J |
jnl |
CoRR
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
|
| 2020 |
J |
jnl |
CoRR
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
|
| 2020 |
J |
jnl |
CoRR
Alexis Ross, Himabindu Lakkaraju, Osbert Bastani
|
| 2020 |
A* |
conf |
ICML
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
|
| 2020 |
— |
conf |
xxAI@ICML
Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama
|
| 2020 |
A* |
conf |
NeurIPS
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
|
| 2020 |
J |
jnl |
CoRR
Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee
|
| 2020 |
A* |
conf |
ICLR
Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
|
| 2020 |
J |
jnl |
CoRR
Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
|
| 2020 |
— |
conf |
CAV (2)
Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
|
| 2020 |
A* |
conf |
ICRA
Shuo Li, Osbert Bastani
|
| 2020 |
A* |
conf |
ICML
Himabindu Lakkaraju, Nino Arsov, Osbert Bastani
|
| 2020 |
J |
jnl |
CoRR
Himabindu Lakkaraju, Nino Arsov, Osbert Bastani
|
| 2020 |
A |
conf |
AISTATS
Osbert Bastani
|
| 2020 |
A* |
conf |
ICLR
Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
|
| 2019 |
J |
jnl |
CoRR
Himabindu Lakkaraju, Osbert Bastani
|
| 2019 |
A* |
conf |
NeurIPS
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
|
| 2019 |
A |
conf |
ECOOP
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
|
| 2019 |
J |
jnl |
CoRR
Min Wen, Osbert Bastani, Ufuk Topcu
|
| 2019 |
J |
jnl |
CoRR
Carolyn Kim, Osbert Bastani
|
| 2019 |
A* |
conf |
ICML
Halley Young, Osbert Bastani, Mayur Naik
|
| 2019 |
J |
jnl |
CoRR
Halley Young, Osbert Bastani, Mayur Naik
|
| 2019 |
— |
conf |
DeepRLStructPred@ICLR
Halley Young, Osbert Bastani, Mayur Naik
|
| 2019 |
A |
conf |
IROS
Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar
|
| 2019 |
J |
jnl |
CoRR
Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar
|
| 2019 |
J |
jnl |
CoRR
Wenbo Zhang, Osbert Bastani
|
| 2019 |
J |
jnl |
CoRR
Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik
|
| 2019 |
— |
conf |
NSV@CAV
Sadra Sadraddini, Shen Shen, Osbert Bastani
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
|
| 2019 |
— |
conf |
ESEC/SIGSOFT FSE
Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
|
| 2019 |
J |
jnl |
CoRR
Shuo Li, Osbert Bastani
|
| 2019 |
J |
jnl |
CoRR
Osbert Bastani
|
| 2019 |
J |
jnl |
CoRR
Osbert Bastani
|
| 2019 |
J |
jnl |
CoRR
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
|
| 2018 |
A* |
conf |
PLDI
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
|
| 2018 |
A* |
conf |
PLDI
Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig
|
| 2018 |
A* |
conf |
NeurIPS
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
|
| 2018 |
J |
jnl |
CoRR
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
|
| 2018 |
J |
jnl |
CoRR
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
|
| 2017 |
J |
jnl |
CoRR
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
|
| 2017 |
A* |
conf |
NDSS
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
|
| 2017 |
— |
— |
Osbert Bastani
|
| 2017 |
J |
jnl |
CoRR
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
|
| 2017 |
J |
jnl |
CoRR
Osbert Bastani, Carolyn Kim, Hamsa Bastani
|
| 2017 |
J |
jnl |
CoRR
Osbert Bastani, Carolyn Kim, Hamsa Bastani
|
| 2017 |
A* |
conf |
PLDI
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
|
| 2016 |
J |
jnl |
CoRR
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
|
| 2016 |
— |
conf |
NIPS
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
|
| 2016 |
J |
jnl |
CoRR
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
|
| 2016 |
— |
conf |
SIGSOFT FSE
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
|
| 2016 |
J |
jnl |
CoRR
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
|
| 2015 |
— |
conf |
MobileDeLi
Osbert Bastani, Saswat Anand, Alex Aiken
|
| 2015 |
A |
conf |
OOPSLA
Osbert Bastani, Saswat Anand, Alex Aiken
|
| 2015 |
A* |
conf |
POPL
Osbert Bastani, Saswat Anand, Alex Aiken
|
| 2013 |
— |
conf |
TAC
Gabor Angeli, Arun Tejasvi Chaganty, Angel X. Chang, Kevin Reschke, Julie Tibshirani, Jean Wu, Osbert Bastani, Keith Siilats, Christopher D. Manning
|
| 2013 |
— |
conf |
ICLR (Workshop)
Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng
|
| 2012 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Liangliang Xiao, Osbert Bastani, I-Ling Yen
|
| 2011 |
J |
jnl |
CoRR
Osbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas
|