Follow
Swarat Chaudhuri
Swarat Chaudhuri
Professor of Computer Science, UT Austin; Visiting Researcher, Google Deepmind
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)| 979-8-3503-4950-4/24/$31.00© 2024 IEEE| DOI: 10.1109/SaTML59370. 2024.00043
U Aïvodji, G Anderson, R Anderson, S Aydore, A Azize, D Basu, ...
A constraint-based approach to solving games on infinite graphs
T Beyene, S Chaudhuri, C Popeea, A Rybalchenko
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1122014
A fixpoint calculus for local and global program flows
R Alur, S Chaudhuri, P Madhusudan
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
512006
A language-agent approach to formal theorem-proving
A Thakur, Y Wen, S Chaudhuri
arXiv preprint arXiv:2310.04353, 2023
102023
A Probabilistic Framework for Modular Continual Learning
L Valkov, A Srivastava, S Chaudhuri, C Sutton
The Twelfth International Conference on Learning Representations (ICLR), 2024, 2024
2024
A sampling-based motion planning framework for complex motor actions
S Sobti, R Shome, S Chaudhuri, LE Kavraki
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
62021
A semantics for approximate program transformations
E Westbrook, S Chaudhuri
arXiv preprint arXiv:1304.5531, 2013
142013
A study of android application security.
W Enck, D Octeau, PD McDaniel, S Chaudhuri
USENIX security symposium 2 (2), 2011
13892011
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
K Kido, S Chaudhuri, I Hasuo
International Conference on Verification, Model Checking, and Abstract …, 2015
52015
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)
K Kido, S Chaudhuri, I Hasuo
arXiv preprint arXiv:1511.00825, 2015
2015
Ai2: Safety and robustness certification of neural networks with abstract interpretation
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
2018 IEEE symposium on security and privacy (SP), 3-18, 2018
10272018
An incremental constraint-based framework for task and motion planning
NT Dantam, ZK Kingston, S Chaudhuri, LE Kavraki
The International Journal of Robotics Research 37 (10), 1134-1151, 2018
1622018
Automata vs linear-programming discounted-sum inclusion
S Bansal, S Chaudhuri, MY Vardi
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
102018
Automating Mechanism Design with Program Synthesis
SK Narayanasamy, S Chaudhuri, M Vardi, P Stone
Proc. Automated Learning Agents Workshop, 2022
42022
Batched Low-Rank Adaptation of Foundation Models
Y Wen, S Chaudhuri
The Twelfth International Conference on Learning Representations (ICLR), 2024, 2024
62024
Bayesian specification learning for finding API usage errors
V Murali, S Chaudhuri, C Jermaine
Proceedings of the 2017 11th joint meeting on foundations of software …, 2017
71*2017
Bottom-up synthesis of recursive functional programs using angelic execution
A Miltner, AT Nuñez, A Brendel, S Chaudhuri, I Dillig
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
332022
Bounded policy synthesis for POMDPs with safe-reachability objectives
Y Wang, S Chaudhuri, LE Kavraki
arXiv preprint arXiv:1801.09780, 2018
432018
Branching pushdown tree automata
R Alur, S Chaudhuri
International Conference on Foundations of Software Technology and …, 2006
32006
Bridging boolean and quantitative synthesis using smoothed proof search
S Chaudhuri, M Clochard, A Solar-Lezama
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
572014
The system can't perform the operation now. Try again later.
Articles 1–20