MIT Open Access Articles: Recent submissions

Now showing items 1-3 of 55108

    • Peepco: Batch-Based Consistency Optimization 

      Kuraj, Ivan; Feser, John; Polikarpova, Nadia; Solar-Lezama, Armando (ACM, 2025-04-09)
      We present batch-based consistency, a new approach for consistency optimization that allows programmers to specialize consistency with application-level integrity properties. We implement the approach with a two-step ...

    • Finch: Sparse and Structured Tensor Programming with Control Flow 

      Ahrens, Willow; Collin, Teodoro; Patel, Radha; Deeds, Kyle; Hong, Changwan; e.a. (ACM, 2025-04-09)
      From FORTRAN to NumPy, tensors have revolutionized how we express computation. However, tensors in these, and almost all prominent systems, can only handle dense rectilinear integer grids. Real world tensors often contain ...

    • Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers 

      Conoly, Owen; Erbsen, Andres; Chlipala, Adam (ACM, 2025-06-13)
      Formal verification of software and compilers has been used to rule out large classes of security-critical issues, but risk of unintentional information leakage has received much less consideration. It is a key requirement ...