The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026 but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

Computer Science (CS): Recent submissions

Now showing items 103-104 of 104

    • Credible Compilation * 

      Rinard, Martin C. (2003-01)
      This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple proof checker can then verify that the program ...

    • Bit-Packing Optimization for StreamIt 

      Agrawal, Kunal; Amarasinghe, Saman P.; Wong, Weng Fai (2003-01)
      StreamIt is a language specifically designed for modern streaming applications. A certain important class of these applications operates on streams of bits. This paper presents the motivation for a bit-packing optimization ...