Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 115-117 of 3794

    • Dynamically Reparameterized Light Fields 

      Isaksen, Aaron; McMillan, Leonard; Gortler, Steven J.

    • Teaching Policy to Computer Science Students 

      Blumenthal, Marjory S. (1998-12)
      Computing motivates more and more attention by policy-makers at all levels of government, and policy interests of all kind can touch on computer scienceÔøΩboth inspiring new research directions or constraining technology ...

    • Credible Compilers 

      Rinard, Martin C. (1999-03)
      This paper presents a new concept in compiler correctness: instead of proving that the compiler performs all of its transformations correctly, the compiler generates a proof that the transformed program correctly implements ...