PhD Dissertation Proposal Defense
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: Bryn Reimer, Machine Learning for Molecules
In our work, we show that common data-splitting mechanisms thought to be a good proxy for out-of-distribution performance have significant cross-split overlap.
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: 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: 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.
PhD Dissertation Proposal: Qizheng Yang, Serving Deep Learning Models at the Quality-Cost Frontier
This thesis investigates how to design high-throughput, cost-efficient inference serving systems that adapt to time-varying workloads.
PhD Dissertation Proposal: Ashish Singh, Side-Information Guided Open-World Novelty Detection
In this thesis, I address this challenge across several computer vision problems by developing methods that adapt standard models to the open world.