View Document Preview and Link Document Date: 2012-12-28 19:34:50 Open Document File Size: 287,91 KB Share Result on Facebook
Company MIT Press / Andrew / Oracle / Infosys / Microsoft / / Currency pence / USD / / / Facility Cambridge University / / IndustryTerm tricky bitvector algorithms / computational devices / synthesis technology / brute-force search / bitvector algorithms / probabilistic algorithms / bitvector algorithm / datastructures and algorithms / search technique / intelligent tutoring systems / inter-disciplinary technologies / candidate solution / search problem / synthesis algorithm / computing / inductive synthesis technology / graph algorithms / search space / search algorithm / / Organization Cambridge University / MIT / / Person Sumit Gulwani / A. Sumit Gulwani Gulwani / Ben Qual Ben Qual Carl / Rico Malvar / Malik Malik / Ben Qual Carl Qual Carl / S. George Necula Necula / Adam Smith Smith / Carl Qual Carl Qual / S. Gulwani / V / G. Peter Lee Lee / Ben Zorn / Morgan Kaufmann / / Position teacher / / ProgrammingLanguage LaTeX / / PublishedMedium Machine Learning / Communications of the ACM / / Technology encryption / graph algorithms / artificial intelligence / underlying synthesis algorithm / search algorithm / A. Bitvector Algorithms Bitvector algorithms / synthesizing bitvector algorithms / smartphones / tricky bitvector algorithms / inter-disciplinary technologies / bitvector algorithms / bitvector algorithm / machine learning / DSL / Flash / inductive synthesis technology / 1 These algorithms / synthesis technology / / URL http / SocialTag 
Synthesis From Examples: Interaction Models and Algorithms (Invited Talk Paper) Sumit Gulwani Microsoft Research Redmond, WA, USA