@Article{wambse12,
  author = {Sumit Gulwani},
  title = {Synthesis from Examples},
  journal = {WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue, Infosys Labs Briefings},
  year =  {2012},
  volume = {10},
  number = {2},
  note = {{Invited talk paper}},
}