PhD Dissertation Proposal Defense
PhD Dissertation Proposal: Miguel Fuentes, Synthetic Data with Applications to Privacy and Ecology
This dissertation shows that two distinct fields - differential privacy and computational ecology - can be addressed through a unified methodological framework.
PhD Dissertation Proposal: Fadhil Kurnia, Flexible and Secure Replication of Blackbox Stateful Services at the Edge
This dissertation presents a new foundation for flexible and secure replication of blackbox stateful services.
PhD Dissertation Proposal: Boming Zhang, Reimagining Computer Science Education in the Age of Large Language Models
This dissertation addresses how computer science instructors can redesign course structures and pedagogy in response to the widespread availability of LLMs.
PhD Dissertation Proposal Defense: Sandeep Polisetty, Abstractions to Eliminate Redundancy in Training Graph Neural Networks on GPUs
In the first part of my thesis, I introduce split parallelism, a novel
abstraction that addresses the limitations of traditional data parallelism on GPUs.
PhD Dissertation Proposal: Roozbeh Bostandoost, Principled Cloud Resource Allocation: From Multi-Objective Trade-offs to Verifiable Learning-Augmented Systems
This thesis presents a comprehensive investigation into the design, implementation, and analysis of resource allocation systems for modern datacenters.
PhD Dissertation Proposal Defense: Hao Shi, Design, Implementation, and Evaluation of a Flexible Persistent Transactional WebAssembly Runtime System
This dissertation proposes integrating transactional memory directly into a WebAssembly runtime system for persistent memory programming.
PhD Dissertation Proposal: Alex Scarlatos, Creating Realistic Simulated Students: Fine-Tuning LLMs with Reinforcement Learning for Knowledge and Behavior Alignment
This thesis presents multiple approaches for aligning LLMs with realistic student behavior.
PhD Dissertation Proposal Defense: Pracheta Amaranath, The Interface of Simulation and Causal Modeling
This thesis investigates the interplay between simulation and causal inference, focusing on how causal modeling can enhance simulation and vice versa.
PhD Dissertation Proposal: Nigel Fernandez, Natural Language Processing for Scalable Educational Assessment and AI Systems
This dissertation investigates how NLP methods can enable scalable educational assessment and AI systems across key components of the educational pipeline.
PhD Dissertation Proposal Defense: Mengxue Zhang, AI-Driven Analysis, Scoring, and Generation for Open-Ended Mathematical Reasoning
This thesis addresses these limitations by developing a comprehensive framework for the automated assessment of open-ended mathematical responses.
PhD Dissertation Proposal: Joshua Russell, Algorithms for Threshold-Logic Technology Mapping
This dissertation studies the algorithmic construction of threshold-logic circuits for Boolean functions.
PhD Dissertation Proposal: Juan Altmayer Pizzorno, Efficient and Effective Test Generation and Type Inference for Python Applications
In this dissertation, I explore how lightweight dynamic analysis can be used to improve the reliability of Python software.