| 2026 |
J |
jnl |
CoRR
Aurelien Ghiglino, Daniel Elenius, Anirban Roy, Ramneet Kaur, Manoj Acharya, Colin Samplawski, Brian Matejek, Susmit Jha, Juan Alonso, Adam D. Cobb
|
| 2026 |
A* |
conf |
AAAI
Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
|
| 2026 |
J |
jnl |
CoRR
Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
|
| 2026 |
A* |
conf |
AAAI
Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha
|
| 2026 |
J |
jnl |
CoRR
Kristopher W. Reese, Taylor Kulp-McDowall, Michael Majurski, Timothy Blattner, Derek Juba, Peter Bajcsy, Antonio Cardone, Philippe Dessauw, Alden Dima, Anthony J. Kearsley, Melinda Kleczynski, Joel Vasanth, Walid Keyrouz, Chace Ashcraft, Neil Fendley, Ted Staley, Trevor Stout, Josh Carney, Greg Canal, William Redman, Aurora Schmidt, Cameron Hickert, William Paul, Jared Markowitz, Nathan Drenkow, David Shriver, Marissa Connor, Keltin Grimes, Marco Christiani, Hayden Moore, Jordan Widjaja, Kasimir Gabert, Uma Balakrishnan, Satyanadh Gundimada, John Jacobellis, Sandya Lakkur, Vitus Leung, Jon Roose, Casey Battaglino, Farinaz Koushanfar, Greg Fields, Xihe Gu, Yaman Jandali, Xinqiao Zhang, Tara Javidi, Akash Vartak, Tim Oates, Ben Erichson, Michael Mahoney, Rauf Izmailov, Xiangyu Zhang, Guangyu Shen, Siyuan Cheng, Shiqing Ma, Xiaofeng Wang, Haixu Tang, Di Tang, Xiaoyi Chen, Zihao Wang, Rui Zhu, Susmit Jha, Xiao Lin, Manoj Acharya, Weichao Zhou, Feisi Fu, Panagiota Kiourti, Chenyu Wang, Zijian Guo, H. M. Sabbir Ahmad, Wenchao Li, Chao Chen
|
| 2025 |
J |
jnl |
CoRR
Colin Samplawski, Adam D. Cobb, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Adam D. Cobb, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Trilok Padhi, Ramneet Kaur, Adam D. Cobb, Manoj Acharya, Anirban Roy, Colin Samplawski, Brian Matejek, Alexander M. Berenbeim, Nathaniel D. Bastian, Susmit Jha
|
| 2025 |
A* |
conf |
ICSE
Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
|
| 2025 |
B |
conf |
CAIN
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
|
| 2025 |
J |
jnl |
CoRR
Sandeep Neema, Susmit Jha, Adam Nagel, Ethan Lew, Chandrasekar Sureshkumar, Aleksa Gordic, Chase Shimmin, Hieu Nguygen, Paul Eremenko
|
| 2025 |
A* |
conf |
EMNLP
Ayush Gupta, Ramneet Kaur, Anirban Roy, Adam D. Cobb, Rama Chellappa, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Ayush Gupta, Ramneet Kaur, Anirban Roy, Adam D. Cobb, Rama Chellappa, Susmit Jha
|
| 2025 |
— |
conf |
MedInfo
Laura R. Baratta, Sunny S. Lou, Thomas George Kannampallil, Susmit Jha, Anirban Roy, Adam D. Cobb
|
| 2025 |
J |
jnl |
CoRR
Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha
|
| 2025 |
— |
ed. |
DESTION@CPSIoTWeek
Susmit Jha, Ramneet Kaur, Fangqi Liu, Hyunjee Jin, Karthik Ramani, Arun Ramamurthy, Himanshu Neema
|
| 2025 |
J |
jnl |
Trans. Mach. Learn. Res.
Brian Matejek, Ashish Gehani, Nathaniel D. Bastian, Daniel J. Clouse, Bradford J. Kline, Susmit Jha
|
| 2025 |
— |
conf |
ICCPS
Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
|
| 2025 |
J |
jnl |
CoRR
Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
|
| 2025 |
A |
conf |
UAI
Colin Samplawski, Adam D. Cobb, Manoj Acharya, Ramneet Kaur, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Colin Samplawski, Adam D. Cobb, Manoj Acharya, Ramneet Kaur, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Yi Jiang, Malyaban Bal, Brian Matejek, Susmit Jha, Adam D. Cobb, Abhronil Sengupta
|
| 2025 |
J |
jnl |
CoRR
Ayush Gupta, Anirban Roy, Rama Chellappa, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha
|
| 2025 |
— |
conf |
NeuS
Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
|
| 2025 |
J |
jnl |
CoRR
Xiao Lin, Manoj Acharya, Anirban Roy, Susmit Jha
|
| 2025 |
A |
conf |
WACV
Anirban Roy, Adam D. Cobb, Ramneet Kaur, Sumit Jha, Nathaniel D. Bastian, Alexander M. Berenbeim, Robert H. Thomson, Iain Cruickshank, Alvaro Velasquez, Susmit Jha
|
| 2024 |
J |
jnl |
CoRR
Ramneet Kaur, Colin Samplawski, Adam D. Cobb, Anirban Roy, Brian Matejek, Manoj Acharya, Daniel Elenius, Alexander M. Berenbeim, John A. Pavlik, Nathaniel D. Bastian, Susmit Jha
|
| 2024 |
J |
jnl |
CoRR
Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
|
| 2024 |
— |
conf |
MILCOM
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
|
| 2024 |
— |
conf |
SAIV
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
|
| 2024 |
J |
jnl |
CoRR
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
|
| 2024 |
A* |
conf |
AAAI
Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha
|
| 2024 |
J |
jnl |
IEEE Trans. Artif. Intell.
Ismail R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
|
| 2024 |
C |
conf |
MEMOCODE
Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez
|
| 2024 |
A* |
conf |
DAC
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
|
| 2024 |
— |
conf |
MILCOM
Alexander M. Berenbeim, Ramneet Kaur, Adam D. Cobb, Anirban Roy, Susmit Jha, Nathaniel D. Bastian
|
| 2024 |
J |
jnl |
CoRR
Adam D. Cobb, Atilim Günes Baydin, Barak A. Pearlmutter, Susmit Jha
|
| 2024 |
— |
conf |
ICAA
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
|
| 2024 |
J |
jnl |
CoRR
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
|
| 2024 |
— |
conf |
ICAA
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
|
| 2024 |
— |
conf |
NAACL-HLT (Findings)
Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen
|
| 2024 |
J |
jnl |
CoRR
Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen
|
| 2023 |
A* |
conf |
NeurIPS
Adam D. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha
|
| 2023 |
J |
jnl |
CoRR
Adam D. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha
|
| 2023 |
— |
conf |
ICCPS
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
|
| 2023 |
— |
conf |
MILCOM
Susmit Jha, Anirban Roy, Adam D. Cobb, Alexander M. Berenbeim, Nathaniel D. Bastian
|
| 2023 |
— |
conf |
MILCOM
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
|
| 2023 |
— |
conf |
ICAA
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
|
| 2023 |
— |
conf |
ICAA
Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha
|
| 2023 |
J |
jnl |
CoRR
Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha
|
| 2023 |
A* |
conf |
DAC
Susmit Jha
|
| 2023 |
J |
jnl |
CoRR
Alexander M. Berenbeim, Iain J. Cruickshank, Susmit Jha, Robert H. Thomson, Nathaniel D. Bastian
|
| 2023 |
— |
conf |
MILCOM
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
|
| 2023 |
J |
jnl |
CoRR
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
|
| 2023 |
J |
jnl |
CoRR
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
|
| 2023 |
J |
jnl |
CoRR
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
|
| 2023 |
— |
conf |
ICAA
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
|
| 2023 |
B |
conf |
ISIT
Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
|
| 2023 |
J |
jnl |
J. Mach. Learn. Res.
Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
|
| 2023 |
A* |
conf |
ICCV
Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha
|
| 2023 |
J |
jnl |
CoRR
Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha
|
| 2023 |
J |
jnl |
CoRR
Hassen Saïdi, Susmit Jha, Tuhin Sahai
|
| 2022 |
J |
jnl |
CoRR
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
|
| 2022 |
— |
conf |
MILCOM
Tarek F. Abdelzaher, Nathaniel D. Bastian, Susmit Jha, Lance M. Kaplan, Mani B. Srivastava, Venugopal V. Veeravalli
|
| 2022 |
J |
jnl |
CoRR
Adam D. Cobb, Anirban Roy, Daniel Elenius, Susmit Jha
|
| 2022 |
A* |
conf |
IJCAI
Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran
|
| 2022 |
J |
jnl |
CoRR
Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran
|
| 2022 |
A* |
conf |
CVPR
Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha
|
| 2022 |
A* |
conf |
IJCAI
Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha
|
| 2022 |
J |
jnl |
CoRR
Susmit Jha, John Rushby
|
| 2022 |
J |
jnl |
ACM Trans. Cyber Phys. Syst.
Jingtong Hu, Qi Zhu, Susmit Jha
|
| 2022 |
J |
jnl |
CoRR
Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
|
| 2022 |
A* |
conf |
ICML
Edmond Cunningham, Adam D. Cobb, Susmit Jha
|
| 2022 |
J |
jnl |
CoRR
Edmond Cunningham, Adam D. Cobb, Susmit Jha
|
| 2022 |
A* |
conf |
AAAI
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha
|
| 2022 |
A* |
conf |
ICLR
Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen
|
| 2022 |
A* |
conf |
AAAI
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
|
| 2022 |
J |
jnl |
CoRR
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
|
| 2021 |
J |
jnl |
CoRR
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
|
| 2021 |
C |
conf |
ISCAS
Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha
|
| 2021 |
J |
jnl |
CoRR
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
|
| 2021 |
J |
jnl |
CoRR
Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha
|
| 2021 |
J |
jnl |
ACM Trans. Cyber Phys. Syst.
Jingtong Hu, Qi Zhu, Susmit Jha
|
| 2021 |
A |
conf |
ACSAC
Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
|
| 2021 |
— |
conf |
CogMI
Susmit Jha, Anirban Roy
|
| 2021 |
A* |
conf |
IJCAI
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
|
| 2021 |
J |
jnl |
CoRR
Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
|
| 2021 |
J |
jnl |
CoRR
Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
|
| 2021 |
J |
jnl |
CoRR
Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen
|
| 2020 |
J |
jnl |
CoRR
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami
|
| 2020 |
J |
jnl |
CoRR
Karan Sikka, Indranil Sur, Susmit Jha, Anirban Roy, Ajay Divakaran
|
| 2020 |
A* |
conf |
AAAI
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
|
| 2020 |
Misc |
conf |
CoRL
Dawei Sun, Susmit Jha, Chuchu Fan
|
| 2020 |
J |
jnl |
CoRR
Dawei Sun, Susmit Jha, Chuchu Fan
|
| 2020 |
B |
conf |
SAFECOMP
Susmit Jha, John Rushby, Natarajan Shankar
|
| 2020 |
— |
ed. |
NFM
Ritchie Lee, Susmit Jha, Anastasia Mavridou
|
| 2020 |
A* |
conf |
ICLR
Uyeong Jang, Susmit Jha, Somesh Jha
|
| 2020 |
A* |
conf |
DAC
Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
|
| 2019 |
C |
conf |
ACC
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
|
| 2019 |
J |
jnl |
CoRR
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
|
| 2019 |
A* |
conf |
NeurIPS
Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami
|
| 2019 |
J |
jnl |
CoRR
Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami
|
| 2019 |
J |
jnl |
CoRR
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
|
| 2019 |
J |
jnl |
J. Autom. Reason.
Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
|
| 2019 |
— |
conf |
AAAI Spring Symposium: Towards Conscious AI Systems
Susmit Jha, John Rushby
|
| 2019 |
J |
jnl |
CoRR
Uyeong Jang, Susmit Jha, Somesh Jha
|
| 2019 |
— |
conf |
HSCC
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
|
| 2019 |
J |
jnl |
Formal Methods Syst. Des.
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
|
| 2019 |
J |
jnl |
CoRR
Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
|
| 2019 |
— |
conf |
NSV@CAV
Susmit Jha
|
| 2018 |
— |
conf |
Allerton
Susmit Jha, Patrick Lincoln
|
| 2018 |
— |
conf |
MILCOM
Susmit Jha, Uyeong Jang, Somesh Jha, Brian Jalaian
|
| 2018 |
— |
conf |
FORMATS
Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar
|
| 2018 |
A* |
conf |
NeurIPS
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
|
| 2018 |
— |
conf |
ADHS
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
|
| 2018 |
— |
conf |
DSN Workshops
Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
|
| 2018 |
— |
conf |
NFM
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
|
| 2018 |
J |
jnl |
J. Autom. Reason.
Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
|
| 2018 |
J |
jnl |
Computer
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
|
| 2018 |
J |
jnl |
CoRR
Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln
|
| 2018 |
A |
conf |
ICDCS
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
|
| 2017 |
J |
jnl |
Acta Informatica
Susmit Jha, Sanjit A. Seshia
|
| 2017 |
J |
jnl |
Dagstuhl Reports
Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha
|
| 2017 |
— |
conf |
NFM
Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
|
| 2017 |
J |
jnl |
CoRR
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
|
| 2017 |
J |
jnl |
CoRR
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
|
| 2017 |
B |
conf |
RV
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
|
| 2016 |
— |
conf |
NFM
Susmit Jha, Vasumathi Raman
|
| 2016 |
— |
conf |
FORMATS
Susmit Jha, Vasumathi Raman
|
| 2016 |
B |
conf |
FMCAD
Susmit Jha, Vasumathi Raman, Sanjit A. Seshia
|
| 2015 |
J |
jnl |
CoRR
Susmit Jha, Sanjit A. Seshia
|
| 2015 |
Misc |
conf |
CASES
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
|
| 2014 |
— |
conf |
SYNT
Susmit Jha, Sanjit A. Seshia
|
| 2014 |
Misc |
conf |
CASES
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
|
| 2014 |
J |
jnl |
Int. J. Bioinform. Res. Appl.
Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha
|
| 2014 |
— |
conf |
IOT
Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee
|
| 2014 |
J |
jnl |
Int. J. Bioinform. Res. Appl.
Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead
|
| 2014 |
— |
ed. |
SYNT
Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha
|
| 2013 |
J |
jnl |
CoRR
Susmit Jha, Sanjit A. Seshia
|
| 2012 |
— |
conf |
ICCABS
Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
|
| 2012 |
— |
conf |
ICCABS
Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
|
| 2012 |
J |
jnl |
Int. J. Bioinform. Res. Appl.
Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano
|
| 2011 |
A* |
conf |
PLDI
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
|
| 2011 |
Misc |
conf |
EMSOFT
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
|
| 2011 |
J |
jnl |
CoRR
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
|
| 2011 |
— |
— |
Susmit Jha
|
| 2010 |
A |
conf |
ESOP
Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
|
| 2010 |
— |
conf |
ICSE (1)
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
|
| 2010 |
— |
conf |
ICCPS
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
|
| 2009 |
A* |
conf |
CAV
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
|
| 2009 |
— |
conf |
HLDVT
Susmit Jha, Wenchao Li, Sanjit A. Seshia
|
| 2009 |
J |
jnl |
CoRR
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
|
| 2009 |
A* |
conf |
CCS
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner
|
| 2009 |
J |
jnl |
CoRR
Susmit Jha
|
| 2008 |
— |
conf |
HASE
Sumit Kumar Jha, Susmit Jha
|
| 2008 |
— |
conf |
HASE
Susmit Jha, Sumit Kumar Jha
|
| 2007 |
— |
conf |
FORMATS
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
|
| 2006 |
J |
jnl |
Trans. Comp. Sys. Biology
Susmit Jha, R. K. Shyamasundar
|