@inproceedings{synasc12,
  author = {Sumit Gulwani},
  title = {Synthesis from Examples: Interaction Models and Algorithms},
  booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
  year =  {2012},
  note = {{Invited talk paper}},
}