Swarat Chaudhuri

According to our database1, Swarat Chaudhuri authored at least 75 papers between 2003 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Searching a Database of Source Codes Using Contextualized Code Search.
Proc. VLDB Endow., 2020

Meta-Meta-Classification for One-Shot Learning.
CoRR, 2020

Learning Differentiable Programs with Admissible Neural Heuristics.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives.
IEEE Robotics Autom. Lett., 2019

Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning.
CoRR, 2019

Neural query expansion for code search.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

Optimization and abstraction: a synergistic approach for analyzing neural network robustness.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Imitation-Projected Programmatic Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Control Regularization for Reduced Variance Reinforcement Learning.
Proceedings of the 36th International Conference on Machine Learning, 2019

Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.
Proceedings of the 7th International Conference on Learning Representations, 2019

2018
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework.
IEEE Robotics Autom. Mag., 2018

An incremental constraint-based framework for task and motion planning.
Int. J. Robotics Res., 2018

Synthesis of Differentiable Functional Programs for Lifelong Learning.
CoRR, 2018

Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives.
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

HOUDINI: Lifelong Learning as Program Synthesis.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Program splicing.
Proceedings of the 40th International Conference on Software Engineering, 2018

Programmatically Interpretable Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018

Neural Sketch Learning for Conditional Program Generation.
Proceedings of the 6th International Conference on Learning Representations, 2018

Comparator Automata in Quantitative Verification.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

Automata vs Linear-Programming Discounted-Sum Inclusion.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).
Dagstuhl Reports, 2017

Bayesian Sketch Learning for Program Synthesis.
CoRR, 2017

Finding Likely Errors with Bayesian Specifications.
CoRR, 2017

Data-Driven Program Completion.
CoRR, 2017

Neural Attribute Machines for Program Generation.
CoRR, 2017

Bayesian specification learning for finding API usage errors.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Component-based synthesis of table consolidation and transformation tasks from examples.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Incremental Task and Motion Planning: A Constraint-Based Approach.
Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Synthesizing transformations on hierarchically structured data.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Task and Motion Policy Synthesis as Liveness Games.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).
CoRR, 2015

Grading the Graders: Motivating Peer Graders in a MOOC.
Proceedings of the 24th International Conference on World Wide Web, 2015

Recursive Games for Compositional Program Synthesis.
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Synthesizing data structure transformations from input-output examples.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014
Consistency analysis of decision-making programs.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Bridging boolean and quantitative synthesis using smoothed proof search.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

A constraint-based approach to solving games on infinite graphs.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Test-driven repair of data races in structured parallel programs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

SMT-based synthesis of integrated task and motion plans from plan outlines.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Learning to Grade Student Programs in a Massive Open Online Course.
Proceedings of the 2014 IEEE International Conference on Data Mining, 2014

Optimal Guard Synthesis for Memory Safety.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
A Semantics for Approximate Program Transformations
CoRR, 2013

Robustness Analysis of Networked Systems.
Proceedings of the Verification, 2013

Isolation for nested task parallelism.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Regular Real Analysis.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Robustness Analysis of String Transducers.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Extraction of statistically significant malware behaviors.
Proceedings of the Annual Computer Security Applications Conference, 2013

2012
Continuity and robustness of programs.
Commun. ACM, 2012

Euler: A System for Numerical Optimization of Programs.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Software model checking using languages of nested trees.
ACM Trans. Program. Lang. Syst., 2011

A Study of Android Application Security.
Proceedings of the 20th USENIX Security Symposium, 2011

Proving programs robust.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Path-based inductive synthesis for program inversion.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Delegated isolation.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Smoothing a Program Soundly and Robustly.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Temporal Reasoning for Procedural Programs.
Proceedings of the Verification, 2010

Continuity analysis of programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Smooth interpretation.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Model Checking of Linearizability of Concurrent List Implementations.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Symbolic pruning of concurrent program executions.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Parallel programming with object assemblies.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008
Subcubic algorithms for recursive state machines.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Dynamic inference of likely data preconditions over predicates by tree learning.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007
Model Checking on Trees with Path Equivalences.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Instrumenting C Programs with Nested Word Monitors.
Proceedings of the Model Checking Software, 2007

2006
A fixpoint calculus for local and global program flows.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Branching Pushdown Tree Automata.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Languages of Nested Trees.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
On-the-Fly Reachability and Cycle Detection for Recursive State Machines.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003
Compression of Partially Ordered Strings.
Proceedings of the CONCUR 2003, 2003


  Loading...