CSAIL Digital Archive: Recent submissions

Now showing items 118-120 of 807

    • Automatic Error Elimination by Multi-Application Code Transfer 

      Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin (2014-10-02)
      We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor ...

    • Constraint Generation for the Jeeves Privacy Language 

      Rose, Eva (2014-10-01)
      Our goal is to present a completed, semantic formalization of the Jeeves privacy language evaluation engine, based on the original Jeeves constraint semantics defined by Yang et al at POPL12, but sufficiently strong to ...

    • OpLog: a library for scaling update-heavy data structures 

      Boyd-Wickizer, Silas; Kaashoek, M. Frans; Morris, Robert; Zeldovich, Nickolai (2014-09-16)
      Existing techniques (e.g., RCU) can achieve good multi-core scaling for read-mostly data, but for update-heavy data structures only special-purpose techniques exist. This paper presents OpLog, a general-purpose library ...