Sanjit A. Seshia
ORCIDPublication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 220
Publications (10 Years): 220
Publications
- Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
- Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
- Amar Shah, Federico Mora, Sanjit A. Seshia
- Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
- Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
- Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
- Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry
- Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia
- Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
- Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
- Vijay Ganesh, Sanjit A. Seshia, Somesh Jha
- Sanjit A. Seshia
- Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
- Sebastian Junges, Nils Jansen, Sanjit A. Seshia
- Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
- Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
- Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
- Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
- Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
- Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
- Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia
- Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
- Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia
- Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
- Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
- Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
- Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. SeshiaHypercontracts. CoRR (2021)
- Sanjit A. Seshia
- Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. SeshiaSynthesis in Uclid5. CoRR (2020)
- Elizabeth Polgreen, Sanjit A. Seshia
- Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
- Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
- Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi
- Marcell Vazquez-Chanlatte, Sanjit A. Seshia
- Sebastian Junges, Nils Jansen, Sanjit A. Seshia
- Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
- Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
- Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
- Eric S. Kim, Murat Arcak, Sanjit A. Seshia
- Eric S. Kim, Murat Arcak, Sanjit A. Seshia
- Sanjit A. Seshia