CSAIL Digital Archive: Recent submissions

Now showing items 88-90 of 807

    • Prophet: Automatic Patch Generation via Learning from Successful Human Patches 

      Long, Fan; Rinard, Martin (2015-05-26)
      We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a large code database that contains many past successful human patches. It defines the probabilistic model ...

    • Automatic Discovery and Patching of Buffer and Integer Overflow Errors 

      Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin (2015-05-26)
      We present Targeted Automatic Patching (TAP), an automatic buffer and integer overflow discovery and patching system. Starting with an application and a seed input that the application processes correctly, TAP dynamically ...

    • Simit: A Language for Physical Simulation 

      Kjolstad, Fredrik; Kamil, Shoaib; Ragan-Kelley, Jonathan; Levin, David I.W.; Sueda, Shinjiro; e.a. (2015-05-26)
      Using existing programming tools, writing high-performance simulation code is labor intensive and requires sacrificing readability and portability. The alternative is to prototype simulations in a high-level language like ...