Travelled to:1 × Canada
1 × Hungary
1 × United Kingdom
4 × USA
Collaborated with:S.Gulwani A.Solar-Lezama X.W.0006 L.D'Antoni I.Dillig R.Samanta Jeevana Priya Inala D.Giannakopoulou C.S.Pasareanu P.Godefroid H.Peleg M.Vaughn Ke Wang 0022 Z.Su Shengwei An S.Misailovic R.Singh Z.Xu R.Krosnick D.Rayside Z.Benjamin J.P.Near A.Milicevic D.Jackson
Talks about:exampl (8) program (7) use (7) data (6) synthesi (4) learn (4) spreadsheet (3) transform (3) abstract (3) synthes (3)
Person: Rishabh Singh
DBLP: Singh:Rishabh
Contributed to:
2015
2014
20132012
2012
20112010
2009
201720172016
20162017
2016201820182020Wrote 19 papers:
- CAV-2015-SinghG #predict #programming
- Predicting a Correct Program in Programming by Example (RS, SG), pp. 398–414.
- VMCAI-2014-SinghSXKS #composition #modelling #sketching #synthesis #using
- Modular Synthesis of Sketches Using Models (RS, RS, ZX, RK, ASL), pp. 395–414.
- PLDI-2013-SinghGS #automation #feedback #generative #programming
- Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
- CAV-2012-SinghG
- Synthesizing Number Transformations from Input-Output Examples (RS, SG), pp. 634–651.
- CAV-2012-SinghS #named #programming
- SPT: Storyboard Programming Tool (RS, ASL), pp. 738–743.
- VLDB-2012-SinghG #learning #semantics #string
- Learning Semantic String Transformations from Examples (RS, SG), pp. 740–751.
- ESEC-FSE-2011-SinghS #data type
- Synthesizing data structure manipulations from storyboards (RS, ASL), pp. 289–299.
- CAV-2010-SinghGP #abstraction #component #interface #learning
- Learning Component Interfaces with May and Must Abstractions (RS, DG, CSP), pp. 527–542.
- ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity
- Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.
- ASE-2017-GodefroidPS #fuzzing #machine learning
- Learn&Fuzz: machine learning for input fuzzing (PG, HP, RS), pp. 50–59.
- ESEC-FSE-2017-DAntoniSV #named
- NoFAQ: synthesizing command repairs from examples (LD, RS, MV), pp. 582–592.
- CAV-2016-DAntoniSS #named #program repair
- Qlose: Program Repair with Quantitative Objectives (LD, RS, RS), pp. 383–401.
- OOPSLA-2016-WangGS #named #spreadsheet #using
- FIDEX: filtering spreadsheet data using examples (XW0, SG, RS), pp. 195–213.
- OOPSLA-2017-WangDS #automaton #finite #synthesis #using
- Synthesis of data completion scripts using finite tree automata (XW0, ID, RS), p. 26.
- POPL-2016-SinghG #data type #spreadsheet #using
- Transforming spreadsheet data types using examples (RS, SG), pp. 343–356.
- PLDI-2018-WangSS #data-driven #feedback #generative #programming
- Search, align, and repair: data-driven feedback generation for introductory programming exercises (KW0, RS, ZS), pp. 481–495.
- POPL-2018-InalaS #named #spreadsheet #using #web
- WebRelate: integrating web data with spreadsheets using examples (JPI, RS), p. 28.
- POPL-2018-WangDS #abstraction #refinement #synthesis #using
- Program synthesis using abstraction refinement (XW0, ID, RS), p. 30.
- POPL-2020-AnSMS #relational #synthesis #using
- Augmented example-based synthesis using relational perturbation properties (SA, RS, SM, RS), p. 24.