Doctoral Theses: Recent submissions

Now showing items 109-111 of 23203

    • Automatic Integration and Differentiation of Probabilistic Programs 

      Lew, Alex K. (Massachusetts Institute of Technology, 2025-05)
      This thesis addresses the challenge of automating fundamental operations from probability theory and calculus on probability distributions defined by higher-order probabilistic programs. It does this by developing a suite ...

    • Minimizer-space computation 

      Ekim, Barış C. (Massachusetts Institute of Technology, 2025-05)
      As the volume of DNA sequencing data increases, the need for algorithmic advances to efficiently handle the data arises. One such concept is minimizers, which are genomic substrings that allow for reduced representations ...

    • Performant and Resilient Service Composition for Modern Cloud Applications 

      Li, Tianyu (Massachusetts Institute of Technology, 2025-05)
      Modern cloud applications are often distributed systems composed from vendor-provided building blocks (e.g., object storage services, container orchestration services). Consequently, distributed fault-tolerance is a central ...