Swarat Chaudhuri

Eric Zhan , Jennifer J Sun , Ann Kennedy , Yisong Yue
arXiv preprint arXiv:2107.13132

Chenxi Yang , Swarat Chaudhuri
arXiv preprint arXiv:2203.07671

Shlok Sobti , Rahul Shome , Swarat Chaudhuri , Lydia E Kavraki
Smpte Journal 6928 -6934

Cameron Voloshin , Hoang Le , Swarat Chaudhuri , Yisong Yue
Advances in Neural Information Processing Systems 35 17690 -17702

Greg Anderson , Swarat Chaudhuri , Isil Dillig
arXiv preprint arXiv:2209.14148

Jennifer J Sun , Megan Tjandrasuwita , Atharva Sehgal , Armando Solar-Lezama
arXiv preprint arXiv:2210.05050

Zayne Sprague , Kaj Bostrom , Swarat Chaudhuri , Greg Durrett
arXiv preprint arXiv:2211.00614

Megan Tjandrasuwita , Jennifer J Sun , Ann Kennedy , Swarat Chaudhuri
arXiv preprint arXiv:2106.06114

Ameesh Shah , Cameron Voloshin , Chenxi Yang , Abhinav Verma
arXiv preprint arXiv:2404.11578

Ulrich Aïvodji , Greg Anderson , Ross Anderson , Sergul Aydore

Lazar Valkov , Akash Srivastava , Swarat Chaudhuri , Charles Sutton
arXiv preprint arXiv:2306.06545

Yeming Wen , Pengcheng Yin , Kensen Shi , Henryk Michalewski
arXiv preprint arXiv:2402.08073

Suguman Bansal , Swarat Chaudhuri , Moshe Y Vardi
Logical Methods in Computer Science 18

Swarat Chaudhuri , Moshe Y Vardi

Yu Feng , Ruben Martins , Jacob Van Geffen , Isil Dillig
ACM SIGPLAN Notices 52 ( 6) 422 -436

Navid Yaghmazadeh , Christian Klinger , Isil Dillig , Swarat Chaudhuri
ACM SIGPLAN Notices 51 ( 6) 508 -521

Yue Wang , Swarat Chaudhuri , Lydia E Kavraki
arXiv preprint arXiv:1801.09780

Kaj Bostrom , Zayne Sprague , Swarat Chaudhuri , Greg Durrett
arXiv preprint arXiv:2201.06028

Arkabandhu Chowdhury , Mingchao Jiang , Swarat Chaudhuri , Chris Jermaine
arXiv: Computer Vision and Pattern Recognition

Anders Miltner , Adrian Trejo Nuñez , Ana Brendel , Swarat Chaudhuri
Proceedings of the ACM on Programming Languages 6 ( POPL) 1 -29