doi dblp Using program synthesis for social recommendations Alvin Cheung | Armando Solar-Lezama | Samuel Madden 21st ACM International Conference on Information and Knowledge Management, CIKM'12, Maui, HI, USA, October 29 - November 02, 2012