Travelled to:1 × Austria
1 × Hungary
1 × India
1 × Ireland
1 × Italy
1 × South Africa
1 × Spain
1 × Switzerland
15 × USA
2 × Canada
2 × United Kingdom
3 × China
3 × France
Collaborated with:M.Sridharan S.Sinha S.Thummalapenta M.G.Nanda J.R.Larus E.Torlak R.Bodík E.Yahav T.W.Reps N.Singhania V.Sarkar S.Barman S.H.Jensen K.Sen ∅ V.Sinha G.Bruns A.Rountev N.Sinha D.Saha F.Tip S.Heule S.J.Fink G.Yorsh B.Sengupta C.Grothoff P.Godefroid C.Palm B.Richards A.Rogers P.Devaki W.Choi G.C.Necula D.Gopinath S.Khurshid R.Yandrapally H.D.T.Nguyen D.Qi A.Roychoudhury I.Dillig T.Dillig V.A.Saraswat R.Komondoor G.Ramalingam J.Field K.Bhargavan P.J.McCann C.A.Gunter K.V.Lakshmi J.Dolby M.Schäfer M.Siff T.Ball K.Kunchithapadam A.Bhattacharya D.Culler P.Dhoolia V.K.Nandivada M.Gupta D.Schmidt P.Balachandran A.Loginov S.Fink N.Rinetzky S.Gnanasundaram D.D.Nagaraj S.Sathishkumar A.K.Das S.Mangipudi J.Galenson D.Kimelman N.Tung C.Rodarmor C.S.Gordon J.Jeannin C.Schlesinger Y.Choi
Talks about:program (6) analysi (6) type (6) test (6) autom (5) javascript (4) memori (4) distribut (3) generat (3) object (3)
Person: Satish Chandra
DBLP: Chandra:Satish
Contributed to:
2015
2015
2015
2015
2014
2014
20142013
2012
201220122012201120112010
2010
2009
200820082008
20082006
2005
200520042002200220012000
1999
199919971996
19942016Wrote 39 papers:
- ESEC-FSE-2015-HeuleSC #modelling #named
- Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
- ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named #platform
- MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.
- ICST-2015-JensenTSC #generative #testing
- Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
- Onward-2015-BarmanBCTBC #interactive #synthesis #tool support #towards
- Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.
- SAS-2015-ChoiCNS #javascript #layout #named #type system
- SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.
- FSE-2014-Chandra
- Are you getting traction? tales from the tech transfer trenches (SC), p. 5.
- ICSE-2014-GopinathKSC #data-driven
- Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.
- ISSTA-2014-YandrapallyTSC #automation #robust #testing #using
- Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.
- ICSE-2013-NguyenQRC #analysis #named #program repair #semantics
- SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
- ICSE-2013-ThummalapentaDSCGNS #automation #case study #industrial #performance #testing
- Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
- ICSE-2013-ThummalapentaLSSC #generative #testing #web
- Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
- CAV-2012-SinhaSCS
- Alternate and Learn: Finding Witnesses without Looking All over (NS, NS, SC, MS), pp. 599–615.
- ECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to
- Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.
- FSE-2012-ThummalapentaSDSCDM #testing
- Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.
- ICSE-2012-ThummalapentaSSC #automation #testing
- Automating test automation (ST, SS, NS, SC), pp. 881–891.
- ESEC-FSE-2011-SahaNDNSC #fault #locality #source code
- Fault localization for data-centric programs (DS, MGN, PD, VKN, VS, SC), pp. 157–167.
- ICSE-2011-ChandraTBB #debugging
- Angelic debugging (SC, ET, SB, RB), pp. 121–130.
- ICSE-2010-NandaGSCSB #tool support
- Making defect-finding tools work for you (MGN, MG, SS, SC, DS, PB), pp. 99–108.
- ICSE-2010-TorlakC #detection #effectiveness #interprocedural
- Effective interprocedural resource leak detection (ET, SC), pp. 535–544.
- POPL-2010-BodikCGKTBR #nondeterminism #programming
- Programming with angelic nondeterminism (RB, SC, JG, DK, NT, SB, CR), pp. 339–352.
- PLDI-2009-ChandraFS #approach #named
- Snugglebug: a powerful approach to weakest preconditions (SC, SJF, MS), pp. 363–374.
- ISMM-2008-DilligDYC #automation #java #resource management
- The CLOSER: automating resource management in java (ID, TD, EY, SC), pp. 1–10.
- ISSTA-2008-LoginovYCFRN #analysis #safety #verification
- Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
- POPL-2008-YorshYC #generative #precise #summary
- Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
- PPoPP-2008-ChandraSSB #analysis #data type #distributed #locality #type inference
- Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
- ICSE-2006-SenguptaCS #development #distributed #research
- A research agenda for distributed software development (BS, SC, VS), pp. 731–740.
- OOPSLA-2005-NandaGC #type system
- Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.
- TACAS-2005-KomondoorRCF #comprehension #dependent type
- Dependent Types for Program Understanding (RK, GR, SC, JF), pp. 157–173.
- OOPSLA-2004-NandaCS #execution #web #web service
- Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.
- FSE-2002-BrunsC #analysis #points-to
- Searching for points-to analysis (GB, SC), pp. 61–70.
- ICSE-2002-ChandraGP #case study #industrial #model checking
- Software model checking in practice: an industrial case study (SC, PG, CP), pp. 431–441.
- POPL-2001-BhargavanCMG #automaton #monitoring #network #what
- What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.
- PLDI-2000-RouhtevC #analysis #points-to #scalability
- Off-line variable substitution for scaling points-to analysis (AR, SC), pp. 47–56.
- ESEC-FSE-1999-SiffCBKR #c
- Coping with Type Casts in C (MS, SC, TB, KK, TWR), pp. 180–198.
- PASTE-1999-ChandraR #c #physics #type checking
- Physical Type Checking for C (SC, TWR), pp. 66–75.
- PPoPP-1997-ChandraL #communication #distributed #memory management #optimisation #source code
- Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory (SC, JRL), pp. 100–111.
- PLDI-1996-ChandraRL #memory management #named #protocol
- Teapot: Language Support for Writing Memory Coherence Protocols (SC, BR, JRL), pp. 237–248.
- ASPLOS-1994-ChandraLR #message passing #question #source code
- Where is Time Spent in Message-Passing and Shared-Memory Programs? (SC, JRL, AR), pp. 61–73.
- OOPSLA-2016-ChandraGJSSTC #compilation #javascript #type inference
- Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.