Doctoral Theses: Recent submissions

Now showing items 151-153 of 23243

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

    • Succinct Cryptography via Propositional Proofs 

      Mathialagan, Surya (Massachusetts Institute of Technology, 2025-05)
      The goal in modern cryptography is to obtain security while minimizing the use of computational resources. In recent years, we have been incredibly successful in our pursuit for efficiency, even for cryptographic tasks ...

    • Statistical and Algorithmic Thresholds in Spin Glasses 

      Huang, Brice (Massachusetts Institute of Technology, 2025-05)
      This thesis studies spin glasses, disordered complex systems originating in statistical physics. Such systems model optimization, sampling, and inference problems from probability and statistics, which are of fundamental ...