Swarat Chaudhuri
机构: Professor of Computer Science, The University of Texas at Austin
主页: utexas.edu
每年引用次数
引用次数
引用: 7,020
H-指数: 38
I10-指数 : 71
出版物: 112
A study of android application security
Damien Octeau , William Enck , Patrick McDaniel , Swarat Chaudhuri
usenix security symposium 21 -21
1,344
2011
Languages of nested trees
Rajeev Alur , Swarat Chaudhuri , P. Madhusudan
Lecture Notes in Computer Science 329 -342
41
2006
Task and motion policy synthesis as liveness games
Neil T. Dantam , Lydia E. Kavraki , Swarat Chaudhuri , Yue Wang
international conference on automated planning and scheduling 536 -540
20
2016
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)
Sampath Kannan , Swarat Chaudhuri , Rupak Majumdar , Michael J. Wooldridge
Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms" 7 ( 3) 27 -32
1
2017
Neural Sketch Learning for Conditional Program Generation
Chris Jermaine , Vijayaraghavan Murali , Swarat Chaudhuri , Letao Qi
international conference on learning representations
124
2018
Branching pushdown tree automata
Rajeev Alur , Swarat Chaudhuri
Lecture Notes in Computer Science 393 -404
2006
Programmatically Interpretable Reinforcement Learning
Vijayaraghavan Murali , Rishabh Singh , Pushmeet Kohli , Swarat Chaudhuri
arXiv: Learning
282
2018
HOUDINI: Lifelong Learning as Program Synthesis
Charles Sutton , Dipak Chaudhari , Swarat Chaudhuri , Lazar Valkov
neural information processing systems 31 8687 -8698
62
2018
Control Regularization for Reduced Variance Reinforcement Learning
Gabor Orosz , Richard Cheng , Joel W. Burdick , Yisong Yue
international conference on machine learning 1141 -1150
63
2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
Richard G. Baraniuk , Swarat Chaudhuri , Ankit B. Patel , Joshua J. Michalenko
arXiv: Learning
25
2019
Imitation-Projected Programmatic Reinforcement Learning.
Yisong Yue , Swarat Chaudhuri , Hoang M. Le , Abhinav Verma
arXiv: Learning
48
2019
Meta-Meta-Classification for One-Shot Learning.
Chris Jermaine , Dipak Chaudhari , Swarat Chaudhuri , Arkabandhu Chowdhury
arXiv: Learning
3
2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
Isil Dillig , Swarat Chaudhuri , Abhinav Verma , Greg Anderson
arXiv: Learning
38
2020
Learning Differentiable Programs with Admissible Neural Heuristics
Yisong Yue , Swarat Chaudhuri , Eric Zhan , Abhinav Verma
neural information processing systems 33 4940 -4952
23
2020
SMT-based synthesis of integrated task and motion plans from plan outlines
Srinivas Nedunuri , Sailesh Prabhu , Mark Moll , Swarat Chaudhuri
international conference on robotics and automation 655 -662
53
2014
Temporal reasoning for procedural programs
Rajeev Alur , Swarat Chaudhuri
verification, model checking and abstract interpretation 5944 45 -60
18
2010
Path-based inductive synthesis for program inversion
Saurabh Srivastava , Sumit Gulwani , Swarat Chaudhuri , Jeffrey S. Foster
programming language design and implementation 46 ( 6) 492 -503
53
2011
Incremental Task and Motion Planning: A Constraint-Based Approach
Neil T. Dantam , Zachary K. Kingston , Swarat Chaudhuri , Lydia E. Kavraki
robotics science and systems 12
192
2016
An incremental constraint-based framework for task and motion planning
Neil T Dantam , Zachary K Kingston , Swarat Chaudhuri , Lydia E Kavraki
The International Journal of Robotics Research 37 ( 10) 1134 -1151
120
2018
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
Kengo Kido , Swarat Chaudhuri , Ichiro Hasuo
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015 37 11 -22
2015
Isil Dillig Chris Jermaine Lydia E. Kavraki Rajeev Alur Abhinav Verma Vijayaraghavan Murali Yisong Yue Neil T. Dantam Armando Solar-Lezama Sumit Gulwani Thomas Reps Madhusudan Parthasarathy Patrick McDaniel William Enck Damien Octeau Dipak Chaudhari Rishabh Singh Petar Tsankov Martin Vechev Matthew Mirman