Travelled to:1 × China
1 × United Kingdom
Collaborated with:S.Gulwani D.Grossman P.Provost T.Ball S.Padhi Prateek Jain 0002 O.Polozov T.D.Millstein
Talks about:profil (2) framework (1) synthesi (1) synthes (1) partial (1) express (1) complet (1) driven (1) direct (1) flash (1)
Person: Daniel Perelman
DBLP: Perelman:Daniel
Contributed to:
20142012
2018Wrote 3 papers:
- PLDI-2014-PerelmanGGP #synthesis #testing
- Test-driven synthesis (DP, SG, DG, PP), p. 43.
- PLDI-2012-PerelmanGBG
- Type-directed completion of partial expressions (DP, SG, TB, DG), pp. 275–286.
- OOPSLA-2018-PadhiJPPGM #framework #named
- FlashProfile: a framework for synthesizing data profiles (SP, PJ0, DP, OP, SG, TDM), p. 28.