Osbert Bastani
Impact in
- Software top 2%
- Software Testing and Debugging Techniques
- Health Informatics top 5%
Papers in
-
- Reinforcement Learning in Robotics 14
- Adversarial Robustness in Machine Learning 10
- Topic Modeling 7
- Explainable Artificial Intelligence (XAI) 7
-
- Software Engineering Research 14
- Co-authors
- Himabindu Lakkaraju (2 shared papers)Işıl Dillig (7 shared papers)Yu Feng (6 shared papers)Alex Aiken (9 shared papers)Saswat Anand (6 shared papers)Ruben Martins (3 shared papers)Armando Solar-Lezama (7 shared papers)Shuo Li (4 shared papers)
- Journals
- ACM SIGPLAN Notices (5 papers)Proceedings of the ACM on Programming Languages (5 papers)IEEE Micro (1 paper)ACM Transactions on Embedded Computing Systems (1 paper)Genome biology (1 paper)
- Partner nations
- United StatesIndiaCanada
In The Last Decade
Osbert Bastani
57 papers receiving 848 citations
Peers
Comparison fields: 5 of 78
- Software 283
- Health Informatics 36
- Signal Processing 154
- Artificial Intelligence 453
- Information Systems 230
Countries citing papers authored by Osbert Bastani
This map shows the geographic impact of Osbert Bastani's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Osbert Bastani with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Osbert Bastani more than expected).
Fields of papers citing papers by Osbert Bastani
This network shows the impact of papers produced by Osbert Bastani. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Osbert Bastani. The network helps show where Osbert Bastani may publish in the future.
Co-authors
The 25 scholars most cited alongside Osbert Bastani, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 60 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2020 | 137 | |
| 2 | 2017 | 64 | |
| 3 | 2018 | 63 | |
| 4 | 2019 | 44 | |
| 5 | 2020 | 44 | |
| 6 | 2017 | 33 | |
| 7 | 2014 | 32 | |
| 8 | 2016 | 32 | |
| 9 | 2018 | 30 | |
| 10 | Verifiable Reinforcement Learning via Policy Extraction | 2018 | 24 |
| 11 | 2020 | 23 | |
| 12 | 2024 | 22 | |
| 13 | 2021 | 22 | |
| 14 | 2019 | 22 | |
| 15 | 2021 | 21 | |
| 16 | 2021 | 20 | |
| 17 | 2021 | 18 | |
| 18 | 2025 | 17 | |
| 19 | 2018 | 17 | |
| 20 | 2022 | 15 |
About Osbert Bastani
Osbert Bastani is a scholar working on Artificial Intelligence, Information Systems, Software, Signal Processing and Computational Theory and Mathematics, having authored 60 papers that have together received 870 indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (14 papers), Software Engineering Research (14 papers), Reinforcement Learning in Robotics (14 papers), Adversarial Robustness in Machine Learning (10 papers), Advanced Malware Detection Techniques (8 papers), Topic Modeling (7 papers), Explainable Artificial Intelligence (XAI) (7 papers) and Formal Methods in Verification (6 papers). The work is most often cited by research in Software (283 citations), Health Informatics (36 citations), Signal Processing (154 citations), Artificial Intelligence (453 citations) and Information Systems (230 citations). Osbert Bastani has collaborated with scholars based in United States, India and Canada. Frequent co-authors include Himabindu Lakkaraju, Işıl Dillig, Yu Feng, Alex Aiken, Saswat Anand, Ruben Martins, Armando Solar-Lezama, Shuo Li, Xin Zhang and Rahul Sharma. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages, IEEE Micro, ACM Transactions on Embedded Computing Systems and Genome biology.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.