ติดตาม
Swarat Chaudhuri
Swarat Chaudhuri
UT Austin, Google Deepmind
ยืนยันอีเมลแล้วที่ cs.utexas.edu - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
A study of android application security.
W Enck, D Octeau, PD McDaniel, S Chaudhuri
USENIX security symposium 2 (2), 1-38, 2011
13902011
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
11282018
Programmatically Interpretable Reinforcement Learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
Proceedings of the 35th International Conference on Machine Learning (ICML …, 2018
4782018
Synthesizing data structure transformations from input-output examples
JK Feser, S Chaudhuri, I Dillig
Symposium on Programming Language Design and Implementation (PLDI), 229-239, 2015
4152015
Incremental task and motion planning: A constraint-based approach.
NT Dantam, ZK Kingston, S Chaudhuri, LE Kavraki
Robotics: Science and systems 12, 00052, 2016
2592016
Component-based synthesis of table consolidation and transformation tasks from examples
Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri
ACM SIGPLAN Notices 52 (6), 422-436, 2017
2232017
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference for Learning Representations (ICLR), 2018
180*2018
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
1792018
Proving programs robust
S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
1732011
Continuity analysis of programs
S Chaudhuri, S Gulwani, R Lublinerman
37th Symposium on Principles of Programming Languages (POPL), 57-70, 2010
1312010
Optimization and abstraction: a synergistic approach for analyzing neural network robustness
G Anderson, S Pailoor, I Dillig, S Chaudhuri
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
1222019
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
1192014
Neurosymbolic programming
S Chaudhuri, K Ellis, O Polozov, R Singh, A Solar-Lezama, Y Yue
Foundations and Trends® in Programming Languages 7 (3), 158-243, 2021
1142021
Imitation-projected programmatic reinforcement learning
A Verma, HM Le, Y Yue, S Chaudhuri
Neural Information Processing Systems (NeurIPS), 15726--15737, 2019
1142019
SMT-based synthesis of integrated task and motion plans from plan outlines
S Nedunuri, S Prabhu, M Moll, S Chaudhuri, LE Kavraki
2014 IEEE International Conference on Robotics and Automation (ICRA), 655-662, 2014
1112014
Subcubic algorithms for recursive state machines
S Chaudhuri
Symposium on Principles of Programming Languages (POPL), 159-169, 2008
1102008
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
G Anderson, A Verma, I Dillig, S Chaudhuri
Neural Information Processing Systems (NeurIPS), 2020
1002020
Houdini: Lifelong learning as program synthesis
L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri
Neural Information Processing Systems (NeurIPS), 2018
1002018
Control regularization for reduced variance reinforcement learning
R Cheng, A Verma, G Orosz, S Chaudhuri, Y Yue, J Burdick
International Conference on Machine Learning, 1141-1150, 2019
972019
Continuity and robustness of programs
S Chaudhuri, S Gulwani, R Lublinerman
Communications of the ACM 55 (8), 107-115, 2012
942012
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20