CMU CSD PhD Blog https://www.cs.cmu.edu/~csd-phd-blog Zola en Tue, 24 Feb 2026 00:00:00 +0000 Quantum Hypothesis Testing with Simple Measurements Tue, 24 Feb 2026 00:00:00 +0000 William He https://www.cs.cmu.edu/~csd-phd-blog/2026/single-qubits/ https://www.cs.cmu.edu/~csd-phd-blog/2026/single-qubits/ Verified CNF Encodings Fri, 09 Jan 2026 00:00:00 +0000 James Gallicchio https://www.cs.cmu.edu/~csd-phd-blog/2026/verified-cnf-encodings/ https://www.cs.cmu.edu/~csd-phd-blog/2026/verified-cnf-encodings/ Correctness of Compilation Sun, 04 Jan 2026 00:00:00 +0000 Matias Scharager https://www.cs.cmu.edu/~csd-phd-blog/2026/full-abs-comp-corr/ https://www.cs.cmu.edu/~csd-phd-blog/2026/full-abs-comp-corr/ TidalDecode: A Fast and Accurate LLM Decoding with Position Persistent Sparse Attention Sun, 14 Dec 2025 00:00:00 +0000 Zhihao Zhang https://www.cs.cmu.edu/~csd-phd-blog/2025/tidaldecode/ https://www.cs.cmu.edu/~csd-phd-blog/2025/tidaldecode/ LithOS: An Operating System for Efficient Machine Learning on GPUs Tue, 09 Dec 2025 00:00:00 +0000 Patrick H. Coppock https://www.cs.cmu.edu/~csd-phd-blog/2025/lithos/ https://www.cs.cmu.edu/~csd-phd-blog/2025/lithos/ SuffixDecoding: Extreme Speculative Decoding for Emerging AI Applications Thu, 04 Dec 2025 00:00:00 +0000 Gabriele Oliaro https://www.cs.cmu.edu/~csd-phd-blog/2025/suffix-decoding/ https://www.cs.cmu.edu/~csd-phd-blog/2025/suffix-decoding/ Computer Assisted Mathematics: A Case Study in Discrete Geometry Thu, 06 Nov 2025 00:00:00 +0000 Bernardo Subercaseaux https://www.cs.cmu.edu/~csd-phd-blog/2025/sat-for-math/ https://www.cs.cmu.edu/~csd-phd-blog/2025/sat-for-math/ Breaking Through the Memory Wall of Transactional Database Systems with Processing-in-Memory Sat, 01 Nov 2025 00:00:00 +0000 Hyoungjoo Kim https://www.cs.cmu.edu/~csd-phd-blog/2025/breaking-transaction-pim/ https://www.cs.cmu.edu/~csd-phd-blog/2025/breaking-transaction-pim/ On Noisy Evaluation in Federated Hyperparameter Tuning Tue, 28 Oct 2025 00:00:00 +0000 Kevin Kuo https://www.cs.cmu.edu/~csd-phd-blog/2025/noisy-eval-fl-hpo/ https://www.cs.cmu.edu/~csd-phd-blog/2025/noisy-eval-fl-hpo/ From Representation Engineering to Circuit Breaking: Toward Transparent and Safer AI Mon, 20 Oct 2025 00:00:00 +0000 Andy Zou https://www.cs.cmu.edu/~csd-phd-blog/2025/representation-engineering/ https://www.cs.cmu.edu/~csd-phd-blog/2025/representation-engineering/ Formal Foundations for Intermittent Concurrency Fri, 10 Oct 2025 00:00:00 +0000 Myra Dotzel https://www.cs.cmu.edu/~csd-phd-blog/2025/intermittent-concurrency/ https://www.cs.cmu.edu/~csd-phd-blog/2025/intermittent-concurrency/ Prudentia: Are Your Favorite Online Services Playing Fair? Wed, 20 Aug 2025 00:00:00 +0000 Adithya Abraham Philip https://www.cs.cmu.edu/~csd-phd-blog/2025/prudentia-fairness/ https://www.cs.cmu.edu/~csd-phd-blog/2025/prudentia-fairness/ Explicit Lossless Vertex Expanders Mon, 30 Jun 2025 00:00:00 +0000 Jun-Ting Hsieh https://www.cs.cmu.edu/~csd-phd-blog/2025/lossless-expanders/ https://www.cs.cmu.edu/~csd-phd-blog/2025/lossless-expanders/ The NeurIPS 2024 Paper-Reviewer Assignment Algorithm Thu, 05 Jun 2025 00:00:00 +0000 Yixuan Xu https://www.cs.cmu.edu/~csd-phd-blog/2025/neurips2024-paper-assignment/ https://www.cs.cmu.edu/~csd-phd-blog/2025/neurips2024-paper-assignment/ Amortized Analysis as a Cost-Aware Abstraction Function Wed, 14 May 2025 00:00:00 +0000 Harrison Grodin https://www.cs.cmu.edu/~csd-phd-blog/2025/amortized-abstraction/ https://www.cs.cmu.edu/~csd-phd-blog/2025/amortized-abstraction/ Holon Approach to Holistic Database Optimization Tue, 06 May 2025 00:00:00 +0000 William Zhang https://www.cs.cmu.edu/~csd-phd-blog/2025/holon/ https://www.cs.cmu.edu/~csd-phd-blog/2025/holon/ Connecting Automatic and Interactive Theorem Proving Fri, 02 May 2025 00:00:00 +0000 Joshua Clune https://www.cs.cmu.edu/~csd-phd-blog/2025/atp-itp-connection/ https://www.cs.cmu.edu/~csd-phd-blog/2025/atp-itp-connection/ Fair allocations and Nash social welfare Fri, 02 May 2025 00:00:00 +0000 Madhusudhan Reddy Pittu https://www.cs.cmu.edu/~csd-phd-blog/2025/fair-allocation-nash-welfare/ https://www.cs.cmu.edu/~csd-phd-blog/2025/fair-allocation-nash-welfare/ Leveraging Symmetries in Strategic Games Fri, 02 May 2025 00:00:00 +0000 Emanuel Tewolde https://www.cs.cmu.edu/~csd-phd-blog/2025/symmetries-in-games/ https://www.cs.cmu.edu/~csd-phd-blog/2025/symmetries-in-games/ Grounding Neural Inference with Satisfiability Modulo Theories: Leveraging Theory Solvers for Machine Learning Mon, 28 Apr 2025 00:00:00 +0000 Saranya Vijayakumar https://www.cs.cmu.edu/~csd-phd-blog/2025/learningmodulo/ https://www.cs.cmu.edu/~csd-phd-blog/2025/learningmodulo/ Classical generalization theory is more predictive in foundation models than in conventional deep networks Mon, 28 Apr 2025 00:00:00 +0000 Victor Akinwande https://www.cs.cmu.edu/~csd-phd-blog/2025/pac-bayes-foundation-models/ https://www.cs.cmu.edu/~csd-phd-blog/2025/pac-bayes-foundation-models/ Winding numbers: a topological tool for geometry processing Wed, 26 Mar 2025 00:00:00 +0000 Nicole Feng https://www.cs.cmu.edu/~csd-phd-blog/2025/winding-numbers/ https://www.cs.cmu.edu/~csd-phd-blog/2025/winding-numbers/ Compiler-Assisted Malloc for Automatically Reducing Data Movement Tue, 18 Mar 2025 00:00:00 +0000 Valerie Choung https://www.cs.cmu.edu/~csd-phd-blog/2025/compiler-analysis-malloc/ https://www.cs.cmu.edu/~csd-phd-blog/2025/compiler-analysis-malloc/ Safe Pareto improvements: Making everyone better off without taking chances Tue, 11 Mar 2025 00:00:00 +0000 Caspar Oesterheld https://www.cs.cmu.edu/~csd-phd-blog/2025/safe-pareto-improvements/ https://www.cs.cmu.edu/~csd-phd-blog/2025/safe-pareto-improvements/ Usefulness of LLMs as an Author Checklist Assistant for Scientific Papers: NeurIPS'24 Experiment Tue, 21 Jan 2025 00:00:00 +0000 Alexander Goldberg https://www.cs.cmu.edu/~csd-phd-blog/2025/llm-checklist-assistant/ https://www.cs.cmu.edu/~csd-phd-blog/2025/llm-checklist-assistant/ Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs Thu, 19 Dec 2024 00:00:00 +0000 Mingkuan Xu https://www.cs.cmu.edu/~csd-phd-blog/2024/atlas/ https://www.cs.cmu.edu/~csd-phd-blog/2024/atlas/ The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining Thu, 12 Dec 2024 00:00:00 +0000 Sam Arch https://www.cs.cmu.edu/~csd-phd-blog/2024/udf-outlining/ https://www.cs.cmu.edu/~csd-phd-blog/2024/udf-outlining/ Tight Lower Bound for Directed Cut Sparsification Wed, 11 Dec 2024 00:00:00 +0000 Honghao Lin https://www.cs.cmu.edu/~csd-phd-blog/2024/directed-cut-sketch/ https://www.cs.cmu.edu/~csd-phd-blog/2024/directed-cut-sketch/ Contiguitas: The Pursuit of Physical Memory Contiguity in Datacenters Fri, 06 Dec 2024 00:00:00 +0000 Kaiyang Zhao https://www.cs.cmu.edu/~csd-phd-blog/2024/contiguitas/ https://www.cs.cmu.edu/~csd-phd-blog/2024/contiguitas/ Optimizing and Characterizing High-Throughput Low-Latency LLM Inference in MLCEngine Wed, 27 Nov 2024 00:00:00 +0000 Ruihang Lai https://www.cs.cmu.edu/~csd-phd-blog/2024/low-latency-llm-serving/ https://www.cs.cmu.edu/~csd-phd-blog/2024/low-latency-llm-serving/ Encoding Cardinality Constraints in Automated Reasoning Tue, 26 Nov 2024 00:00:00 +0000 Joseph Reeves https://www.cs.cmu.edu/~csd-phd-blog/2024/cardinality-constraints/ https://www.cs.cmu.edu/~csd-phd-blog/2024/cardinality-constraints/ NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities Fri, 06 Sep 2024 00:00:00 +0000 Nuno Sabino https://www.cs.cmu.edu/~csd-phd-blog/2024/nodemedic-fine/ https://www.cs.cmu.edu/~csd-phd-blog/2024/nodemedic-fine/ YOSO Randomness Generation with Worst-Case Corruptions Mon, 02 Sep 2024 00:00:00 +0000 Elisaweta Masserova https://www.cs.cmu.edu/~csd-phd-blog/2024/yoso-randomness-generation/ https://www.cs.cmu.edu/~csd-phd-blog/2024/yoso-randomness-generation/ Modeling BBRv1's Interactions with Loss-Bassed Congestion Control Mon, 26 Aug 2024 00:00:00 +0000 Ranysha Ware https://www.cs.cmu.edu/~csd-phd-blog/2024/modeling-bbr/ https://www.cs.cmu.edu/~csd-phd-blog/2024/modeling-bbr/ miniCodeProps: a Benchmark for Proving Code Properties Fri, 23 Aug 2024 00:00:00 +0000 Evan Lohn https://www.cs.cmu.edu/~csd-phd-blog/2024/mini-code-props/ https://www.cs.cmu.edu/~csd-phd-blog/2024/mini-code-props/ Mariposa: the Butterfly Effect in SMT-based Program Verification Tue, 06 Aug 2024 00:00:00 +0000 Yi Zhou https://www.cs.cmu.edu/~csd-phd-blog/2024/mariposa/ https://www.cs.cmu.edu/~csd-phd-blog/2024/mariposa/ Oblivious Maps for Trusted Execution Environments Mon, 05 Aug 2024 00:00:00 +0000 Afonso Tinoco https://www.cs.cmu.edu/~csd-phd-blog/2024/oblivious-maps/ https://www.cs.cmu.edu/~csd-phd-blog/2024/oblivious-maps/ Efficient Anonymous Blocklisting Wed, 31 Jul 2024 00:00:00 +0000 Orestis Chardouvelis https://www.cs.cmu.edu/~csd-phd-blog/2024/anonymous-blocklisting/ https://www.cs.cmu.edu/~csd-phd-blog/2024/anonymous-blocklisting/ Maximal Extractable Value in Ethereum Thu, 27 Jun 2024 00:00:00 +0000 Junxi Song https://www.cs.cmu.edu/~csd-phd-blog/2024/max-extractable-value/ https://www.cs.cmu.edu/~csd-phd-blog/2024/max-extractable-value/ Measuring and Exploiting Network Usable Information Fri, 21 Jun 2024 00:00:00 +0000 Meng-Chieh Lee https://www.cs.cmu.edu/~csd-phd-blog/2024/network-usable-information/ https://www.cs.cmu.edu/~csd-phd-blog/2024/network-usable-information/ Piano: Extremely Simple, Single-Server Private Information Retrieval Thu, 16 May 2024 00:00:00 +0000 Mingxun Zhou https://www.cs.cmu.edu/~csd-phd-blog/2024/piano-private-information-retrieval/ https://www.cs.cmu.edu/~csd-phd-blog/2024/piano-private-information-retrieval/ Precise Data Center Traffic Engineering with Constrained Hardware Resources Fri, 10 May 2024 00:00:00 +0000 Shawn Chen https://www.cs.cmu.edu/~csd-phd-blog/2024/precise-traffic-engineering/ https://www.cs.cmu.edu/~csd-phd-blog/2024/precise-traffic-engineering/ Understanding Setup Times Wed, 08 May 2024 00:00:00 +0000 Jalani Williams https://www.cs.cmu.edu/~csd-phd-blog/2024/understanding-setup/ https://www.cs.cmu.edu/~csd-phd-blog/2024/understanding-setup/ T2FPV: Dataset and Method for Correcting First-Person View Errors in Pedestrian Trajectory Prediction Sun, 05 May 2024 00:00:00 +0000 Benjamin Stoler https://www.cs.cmu.edu/~csd-phd-blog/2024/t2fpv/ https://www.cs.cmu.edu/~csd-phd-blog/2024/t2fpv/ Boot: accelerating training data generation for self-driving database management systems Wed, 24 Apr 2024 00:00:00 +0000 Wan Shen Lim https://www.cs.cmu.edu/~csd-phd-blog/2024/boot/ https://www.cs.cmu.edu/~csd-phd-blog/2024/boot/ Better streaming algorithms for Maximum Directed Cut via 'snapshots' Thu, 11 Apr 2024 00:00:00 +0000 Noah G. Singer https://www.cs.cmu.edu/~csd-phd-blog/2024/streaming-csps/ https://www.cs.cmu.edu/~csd-phd-blog/2024/streaming-csps/ Integrating Static and Data-Driven Resource Analyses for Programs Sat, 16 Mar 2024 00:00:00 +0000 Long Pham https://www.cs.cmu.edu/~csd-phd-blog/2024/hybrid-resource-analysis/ https://www.cs.cmu.edu/~csd-phd-blog/2024/hybrid-resource-analysis/ Baleen: ML admission & prefetching for flash caches Fri, 12 Jan 2024 00:00:00 +0000 Daniel Lin-Kit Wong https://www.cs.cmu.edu/~csd-phd-blog/2023/baleen-ml-flash-caching/ https://www.cs.cmu.edu/~csd-phd-blog/2023/baleen-ml-flash-caching/ Mimir: Finding cost-efficient storage configurations in the public cloud Fri, 15 Dec 2023 00:00:00 +0000 Hojin Park https://www.cs.cmu.edu/~csd-phd-blog/2023/mimir/ https://www.cs.cmu.edu/~csd-phd-blog/2023/mimir/ Transfer Learning within a Heterogeneous Graph Tue, 31 Oct 2023 00:00:00 +0000 Minji Yoon https://www.cs.cmu.edu/~csd-phd-blog/2023/ktn/ https://www.cs.cmu.edu/~csd-phd-blog/2023/ktn/ FIFO is Better than LRU: the Power of Lazy Promotion and Quick Demotion Wed, 20 Sep 2023 00:00:00 +0000 Juncheng Yang https://www.cs.cmu.edu/~csd-phd-blog/2023/fifo-lru/ https://www.cs.cmu.edu/~csd-phd-blog/2023/fifo-lru/ Verus: A tool for verified systems code in Rust Thu, 03 Aug 2023 00:00:00 +0000 Travis Hance https://www.cs.cmu.edu/~csd-phd-blog/2023/rust-verification-with-verus/ https://www.cs.cmu.edu/~csd-phd-blog/2023/rust-verification-with-verus/ Provably-Safe Sandboxing with WebAssembly Tue, 25 Jul 2023 00:00:00 +0000 Jay Bosamiya https://www.cs.cmu.edu/~csd-phd-blog/2023/provably-safe-sandboxing-wasm/ https://www.cs.cmu.edu/~csd-phd-blog/2023/provably-safe-sandboxing-wasm/ Code Conversion in Distributed Storage Systems Wed, 19 Jul 2023 00:00:00 +0000 Francisco Maturana https://www.cs.cmu.edu/~csd-phd-blog/2023/convertible-codes/ https://www.cs.cmu.edu/~csd-phd-blog/2023/convertible-codes/ The Quantum Physicist's Method of Resource Analysis Tue, 06 Jun 2023 00:00:00 +0000 David M Kahn https://www.cs.cmu.edu/~csd-phd-blog/2023/quantum-physicists-method/ https://www.cs.cmu.edu/~csd-phd-blog/2023/quantum-physicists-method/ Robustness between the worst and average case Fri, 21 Apr 2023 00:00:00 +0000 Leslie Rice https://www.cs.cmu.edu/~csd-phd-blog/2023/intermediate-robustness/ https://www.cs.cmu.edu/~csd-phd-blog/2023/intermediate-robustness/ Classification with Strategically Withheld Data Tue, 21 Feb 2023 00:00:00 +0000 Hanrui Zhang https://www.cs.cmu.edu/~csd-phd-blog/2023/withheld/ https://www.cs.cmu.edu/~csd-phd-blog/2023/withheld/ Designing Data Structures for Collaborative Apps Fri, 17 Feb 2023 00:00:00 +0000 Matthew Weidner https://www.cs.cmu.edu/~csd-phd-blog/2023/collaborative-data-design/ https://www.cs.cmu.edu/~csd-phd-blog/2023/collaborative-data-design/ Time-Traveling Simulation for Security Tue, 06 Dec 2022 00:00:00 +0000 Justin Raizes https://www.cs.cmu.edu/~csd-phd-blog/2022/timetraveling-simulation/ https://www.cs.cmu.edu/~csd-phd-blog/2022/timetraveling-simulation/ Kangaroo: Caching billions of tiny objects on flash Mon, 02 May 2022 00:00:00 +0000 Sara McAllister https://www.cs.cmu.edu/~csd-phd-blog/2022/kangaroo/ https://www.cs.cmu.edu/~csd-phd-blog/2022/kangaroo/ Cases2Beds: A Case Study in Actionable Intelligence Highlights Thu, 06 Jan 2022 00:00:00 +0000 Ananya Joshi https://www.cs.cmu.edu/~csd-phd-blog/2022/casestobeds/ https://www.cs.cmu.edu/~csd-phd-blog/2022/casestobeds/