Advanced Search

CSAIL Technical Reports (July 1, 2003 - present)

Research and Teaching Output of the MIT Community

CSAIL Technical Reports (July 1, 2003 - present)


The CSAIL Technical Reports series includes:

  • Articles (previous published or unpublished)
  • Ph.D., M.Eng., and S.M. theses
  • Technical Reports or memoranda
  • UROP or AUP report advised by a CSAIL member
For more information, contact

Recent Submissions

  • Borchardt, Gary; Katz, Boris; Nguyen, Hong-Linh; Felshin, Sue; Senne, Ken; Wang, Andy (2014-10-08)
    This report describes the Analyst's Assistant, a software system for language-interactive, collaborative user-system interpretation of events, specifically targeting vehicle events that can be recognized on the basis of ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Milicevic, Aleksandar; Near, Joseph P.; Kang, Eunsuk; Jackson, Daniel (2014-09-02)
    The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis and synthesis of software, but also at runtime. Solvers are available for a variety of logics ...