Search results for "Swarat Chaudhuri"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	Software model checking using languages of nested trees.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
1	Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster	Path-based inductive synthesis for program inversion.	PLDI	2011	DBLP DOI BibTeX RDF
1	William Enck, Damien Octeau, Patrick McDaniel, Swarat Chaudhuri	A Study of Android Application Security.	USENIX Security Symposium	2011	DBLP BibTeX RDF
1	Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar	Delegated isolation.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Swarat Chaudhuri, Armando Solar-Lezama	Smoothing a Program Soundly and Robustly.	CAV	2011	DBLP DOI BibTeX RDF
1	Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour	Proving programs robust.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Swarat Chaudhuri, Armando Solar-Lezama	Smooth interpretation.	PLDI	2010	DBLP DOI BibTeX RDF	parameter synthesis, program smoothing, continuity
1	Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman	Continuity analysis of programs.	POPL	2010	DBLP DOI BibTeX RDF	stability, robustness, uncertainty, program analysis, continuity, errors, sensitivity, perturbations, proof rules
1	Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur	Model Checking of Linearizability of Concurrent List Implementations.	CAV	2010	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri	Temporal Reasoning for Procedural Programs.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný	Parallel programming with object assemblies.	OOPSLA	2009	DBLP DOI BibTeX RDF	irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions
1	Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang	Symbolic pruning of concurrent program executions.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	concurrency, sat, pruning, partial order reduction
1	Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta	Dynamic inference of likely data preconditions over predicates by tree learning.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, verification, decision trees, sat, software specification
1	Swarat Chaudhuri	Subcubic algorithms for recursive state machines.	POPL	2008	DBLP DOI BibTeX RDF	CFL-reachability, cubic bottleneck, recursive state machines, transitive closure, interprocedural analysis, context-free languages, pushdown systems
1	Rajeev Alur, Pavol Cerný, Swarat Chaudhuri	Model Checking on Trees with Path Equivalences.	TACAS	2007	DBLP DOI BibTeX RDF
1	Swarat Chaudhuri, Rajeev Alur	Instrumenting C Programs with Nested Word Monitors.	SPIN	2007	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
1	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	Languages of Nested Trees.	CAV	2006	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri	Branching Pushdown Tree Automata.	FSTTCS	2006	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan	On-the-Fly Reachability and Cycle Detection for Recursive State Machines.	TACAS	2005	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis	Compression of Partially Ordered Strings.	CONCUR	2003	DBLP DOI BibTeX RDF

Publications of "Swarat Chaudhuri" ( http://dblp.L3S.de/Authors/Swarat_Chaudhuri )