Daniel Perelman
Daniel Perelman
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Type-directed completion of partial expressions
D Perelman, S Gulwani, T Ball, D Grossman
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1042012
Test-Driven Synthesis
D Perelman, S Gulwani, D Grossman, P Provost
Proceedings of the 35rd ACM SIGPLAN conference on Programming Language …, 2014
962014
Code hunt: searching for secret code for fun
N Tillmann, J Bishop, RN Horspool, D Perelman, T Xie
Proceedings of the 7th International Workshop on Search-Based Software …, 2014
352014
The system can't perform the operation now. Try again later.
Articles 1–3