CSAIL Technical Reports (July 1, 2003 - present): Recent submissions

Now showing items 142-144 of 776

    • Sound Input Filter Generation for Integer Overflow Errors 

      Long, Fan; Sidiroglou-Douskos, Stelios; Kim, Deokhwan; Rinard, Martin (2013-08-06)
      We present a system, SIFT, for generating input filters that nullify integer overflow errors associated with critical program sites such as memory allocation or block copy sites. SIFT uses a static program analysis to ...

    • Conceptual Design of Software: A Research Agenda 

      Jackson, Daniel (2013-08-08)
      A research agenda in software design is outlined, focusing on the role of concepts. The notions of concepts as "abstract affordances" and of conceptual integrity are discussed, and a series of small examples of conceptual ...

    • Jigsaw: Scalable Software-Defined Caches (Extended Version) 

      Beckmann, Nathan; Sanchez, Daniel (2013-09-01)
      Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...