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 ...