Now showing items 1-1 of 1

    • Program synthesis from execution traces and demonstrations 

      Yessenov, Kuat T (MIT International Center for Air Transportation (ICAT), 2016)
      In this thesis, we introduce an architecture for programming productivity tools that relies on a database of execution traces. Our database enables a novel user interaction model for a programmer assistant based on short ...