Collaborated with:M.Sridharan K.Sen C.Schlesinger J.Jeannin C.Loncaric Johannes Bader Andrew Scott M.Pradel J.Cambronero H.Li S.Kim A.M.Dan M.T.Vechev Julie L. Newcomb Sifei Luan D.Yang Celeste Barnaby E.Andreasen C.S.Gordon F.Tip
Talks about:type (3) code (3) search (2) learn (2) fix (2) recommend (1) framework (1) structur (1) retrofit (1) reachabl (1)
Person: Satish Chandra 0001
DBLP: 0001:Satish_Chandra
Contributed to:
2019
2017
2016
2016
20172019Wrote 7 papers:
- ESEC-FSE-2019-CambroneroLKS0 #code search #learning
- When deep learning met code search (JC, HL, SK, KS, SC0), pp. 964–974.
- CAV-2017-DanS0JV #analysis
- Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts (AMD, MS, SC0, JBJ, MTV), pp. 521–541.
- ECOOP-2016-AndreasenGCSTS #approach #type system
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems (EA, CSG, SC0, MS, FT, KS), p. 26.
- OOPSLA-2016-Loncaric0SS #fault #framework #type inference
- A practical framework for type inference error explanation (CL, SC0, CS, MS), pp. 781–799.
- Onward-2017-Newcomb0JSS #automation #calculus #internet
- I¿¿¿: a calculus for internet of things automation (JLN, SC0, JBJ, CS, MS), pp. 119–133.
- OOPSLA-2019-BaderSP0 #automation #debugging #learning #named
- Getafix: learning to fix bugs automatically (JB, AS, MP, SC0), p. 27.
- OOPSLA-2019-LuanYBS0 #code search #named #recommendation
- Aroma: code recommendation via structural code search (SL, DY, CB, KS, SC0), p. 28.