Travelled to:1 × Austria
1 × Canada
1 × Hungary
1 × Italy
1 × Portugal
1 × The Netherlands
13 × USA
2 × Spain
3 × United Kingdom
Collaborated with:R.Alur A.Solar-Lezama I.Dillig R.Lublinerman P.Madhusudan P.Cerný S.Gulwani M.Y.Vardi V.Sarkar S.Sankaranarayanan A.Gupta ∅ J.Zhao Z.Budimlic J.K.Feser T.Dillig M.Clochard A.Farzan Z.Kincaid R.Samanta J.V.Deshmukh V.Murali C.Jermaine S.Bansal T.A.Beyene C.Popeea A.Rybalchenko S.NavidPour S.Srivastava J.S.Foster C.Wang Y.Yang F.Ivancic K.Etessami N.Yaghmazadeh Christian Klinger G.Anderson Shankara Pailoor R.Surendran R.Raman J.M.Mellor-Crummey A.Radhakrishna D.Zufferey Y.Feng R.Martins Jacob Van Geffen
Talks about:program (12) synthesi (4) analysi (4) robust (4) data (4) transform (3) structur (3) parallel (3) smooth (3) optim (3)
Person: Swarat Chaudhuri
DBLP: Chaudhuri:Swarat
Facilitated 2 volumes:
EdEdContributed to:
201520142014
2014
2013
2013
201320122011
201120112011201020102010201020092009
20082008
200720062006200520172018201620172019Wrote 31 papers:
- PLDI-2015-FeserCD #data type
- Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.
- CAV-2014-DilligDC #memory management #safety #synthesis
- Optimal Guard Synthesis for Memory Safety (TD, ID, SC), pp. 491–507.
- PLDI-2014-SurendranRCMS #parallel #source code #testing
- Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
- POPL-2014-BeyeneCPR #approach #constraints #game studies #graph #infinity
- A constraint-based approach to solving games on infinite graphs (TAB, SC, CP, AR), pp. 221–234.
- POPL-2014-ChaudhuriCS #proving #synthesis #using
- Bridging boolean and quantitative synthesis using smoothed proof search (SC, MC, ASL), pp. 207–220.
- POPL-2014-ChaudhuriFK #analysis #consistency #source code
- Consistency analysis of decision-making programs (SC, AF, ZK), pp. 555–568.
- LICS-2013-ChaudhuriSV #analysis
- Regular Real Analysis (SC, SS, MYV), pp. 509–518.
- OOPSLA-2013-ZhaoLBCS #parallel
- Isolation for nested task parallelism (JZ, RL, ZB, SC, VS), pp. 571–588.
- VMCAI-2013-SamantaDC #analysis #robust
- Robustness Analysis of Networked Systems (RS, JVD, SC), pp. 229–247.
- CAV-2012-ChaudhuriS #named #optimisation #source code
- Euler: A System for Numerical Optimization of Programs (SC, ASL), pp. 732–737.
- CAV-2011-ChaudhuriS #robust
- Smoothing a Program Soundly and Robustly (SC, ASL), pp. 277–292.
- ESEC-FSE-2011-ChaudhuriGLN #proving #robust #source code
- Proving programs robust (SC, SG, RL, SN), pp. 102–112.
- OOPSLA-2011-LublinermanZBCS
- Delegated isolation (RL, JZ, ZB, SC, VS), pp. 885–902.
- PLDI-2011-SrivastavaGCF #induction #synthesis
- Path-based inductive synthesis for program inversion (SS, SG, SC, JSF), pp. 492–503.
- CAV-2010-CernyRZCA #concurrent #implementation #model checking
- Model Checking of Linearizability of Concurrent List Implementations (PC, AR, DZ, SC, RA), pp. 465–479.
- PLDI-2010-ChaudhuriS
- Smooth interpretation (SC, ASL), pp. 279–291.
- POPL-2010-ChaudhuriGL #analysis #source code
- Continuity analysis of programs (SC, SG, RL), pp. 57–70.
- VMCAI-2010-AlurC #reasoning #source code
- Temporal Reasoning for Procedural Programs (RA, SC), pp. 45–60.
- ESEC-FSE-2009-WangCGY #concurrent
- Symbolic pruning of concurrent program executions (CW, SC, AG, YY), pp. 23–32.
- OOPSLA-2009-LublinermanCC #parallel #programming
- Parallel programming with object assemblies (RL, SC, PC), pp. 61–80.
- ISSTA-2008-SankaranarayananCIG #learning
- Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.
- POPL-2008-Chaudhuri #algorithm #recursion #state machine
- Subcubic algorithms for recursive state machines (SC), pp. 159–169.
- TACAS-2007-AlurCC #model checking
- Model Checking on Trees with Path Equivalences (RA, PC, SC), pp. 664–678.
- CAV-2006-AlurCM
- Languages of Nested Trees (RA, SC, PM), pp. 329–342.
- POPL-2006-AlurCM #calculus #fixpoint
- A fixpoint calculus for local and global program flows (RA, SC, PM), pp. 153–165.
- TACAS-2005-AlurCEM #detection #on the fly #reachability #recursion #state machine
- On-the-Fly Reachability and Cycle Detection for Recursive State Machines (RA, SC, KE, PM), pp. 61–76.
- ESEC-FSE-2017-MuraliCJ #api #fault #learning #specification
- Bayesian specification learning for finding API usage errors (VM, SC, CJ), pp. 151–162.
- CAV-2018-BansalCV #automaton
- Automata vs Linear-Programming Discounted-Sum Inclusion (SB, SC, MYV), pp. 99–116.
- PLDI-2016-YaghmazadehKDC
- Synthesizing transformations on hierarchically structured data (NY, CK, ID, SC), pp. 508–521.
- PLDI-2017-FengMGDC #component #synthesis
- Component-based synthesis of table consolidation and transformation tasks from examples (YF, RM, JVG, ID, SC), pp. 422–436.
- PLDI-2019-AndersonPDC #abstraction #approach #network #optimisation #robust
- Optimization and abstraction: a synergistic approach for analyzing neural network robustness (GA, SP, ID, SC), pp. 731–744.