Swarat Chaudhuri
Swarat Chaudhuri
Associate Professor of Computer Science, Rice University
Verified email at rice.edu - Homepage
TitleCited byYear
A study of android application security.
W Enck, D Octeau, PD McDaniel, S Chaudhuri
USENIX security symposium 2, 2, 2011
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
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
Proving programs robust
S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
Continuity analysis of programs
S Chaudhuri, S Gulwani, R Lublinerman
37th Symposium on Principles of Programming Languages (POPL), 57-70, 2010
Incremental Task and Motion Planning: A Constraint-Based Approach.
NT Dantam, ZK Kingston, S Chaudhuri, LE Kavraki
Robotics: Science and systems 12, 00052, 2016
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
Subcubic algorithms for recursive state machines
S Chaudhuri
Symposium on Principles of Programming Languages (POPL), 159-169, 2008
A constraint-based approach to solving games on infinite graphs
T Beyene, S Chaudhuri, C Popeea, A Rybalchenko
ACM SIGPLAN Notices 49 (1), 221-233, 2014
Path-based inductive synthesis for program inversion
S Srivastava, S Gulwani, S Chaudhuri, JS Foster
ACM SIGPLAN Notices 46 (6), 492-503, 2011
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference for Learning Representations (ICLR), 2018
Continuity and robustness of programs
S Chaudhuri, S Gulwani, R Lublinerman
Communications of the ACM 55 (8), 107-115, 2012
Model checking of linearizability of concurrent list implementations
P Černı, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur
International Conference on Computer Aided Verification, 465-479, 2010
Symbolic pruning of concurrent program executions
C Wang, S Chaudhuri, A Gupta, Y Yang
Proceedings of the the 7th joint meeting of the European software …, 2009
Languages of nested trees
R Alur, S Chaudhuri, P Madhusudan
International Conference on Computer Aided Verification, 329-342, 2006
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
Smooth interpretation
S Chaudhuri, A Solar-Lezama
ACM Sigplan Notices 45 (6), 279-291, 2010
A fixpoint calculus for local and global program flows
R Alur, S Chaudhuri, P Madhusudan
ACM SIGPLAN Notices 41 (1), 153-165, 2006
Model checking on trees with path equivalences
R Alur, P Černı, S Chaudhuri
International Conference on Tools and Algorithms for the Construction and …, 2007
Delegated isolation
R Lublinerman, J Zhao, Z Budimlić, S Chaudhuri, V Sarkar
ACM SIGPLAN Notices 46 (10), 885-902, 2011
The system can't perform the operation now. Try again later.
Articles 1–20