BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chaudhuri:Swarat

Facilitated 2 volumes:

CAV (1) 2016Ed
CAV (2) 2016Ed

Contributed to:

PLDI 20152015
CAV 20142014
PLDI 20142014
POPL 20142014
LICS 20132013
OOPSLA 20132013
VMCAI 20132013
CAV 20122012
CAV 20112011
ESEC/FSE 20112011
OOPSLA 20112011
PLDI 20112011
CAV 20102010
PLDI 20102010
POPL 20102010
VMCAI 20102010
ESEC/FSE 20092009
OOPSLA 20092009
ISSTA 20082008
POPL 20082008
TACAS 20072007
CAV 20062006
POPL 20062006
TACAS 20052005
ESEC/FSE 20172017
CAV (2) 20182018
PLDI 20162016
PLDI 20172017
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.