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

  • 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 ...
  • Park, Jun-geun; Teller, Seth (2014-08-26)
    Indoor localization -- a device's ability to determine its location within an extended indoor environment -- is a fundamental enabling capability for mobile context-aware applications. Many proposed applications assume ...
  • Achour, Sara; Rinard, Martin (2014-08-19)
    We present Topaz, a new task-based language for computations that execute on approximate computing platforms that may occasionally produce arbitrarily inaccurate results. The Topaz implementation maps approximate tasks ...
  • Cadambe, Viveck R.; Lynch, Nancy; Medard, Muriel; Musial, Peter (2014-08-01)
    This paper considers the communication and storage costs of emulating atomic (linearizable) multi-writer multi-reader shared memory in distributed message-passing systems. The paper contains three main contributions: (1) ...
  • Ding, Yufei; Ansel, Jason; Veeramachaneni, Kalyan; Shen, Xipeng; O'Reilly, Una-May; Amarasinghe, Saman (2014-06-23)
    Empirical autotuning is increasingly being used in many domains to achieve optimized performance in a variety of different execution environments. A daunting challenge faced by such autotuners is input sensitivity, where ...