| AI-powered virtual tissues from spatial proteomics for clinical diagnostics and biomedical discovery | Artificial Intelligence in Molecular Medicine Lab (AIMM) |
| Towards Self-Recovery and Metadata Privacy in Social Vault Recovery with Apollo | Decentralized and Distributed Systems Lab (DEDIS) |
| Dava Movement-Aware GPU Sharing for Data-Intensive Systems | Data-Intensive Applications and Systems (DIAS) |
| Demystifying CXL Memory Bandwidth Expansion for Analytical Workloads | Data-Intensive Applications and Systems (DIAS) |
| Efficient Scheduling for Multiple Database Systems on Shared Hardware | Data-Intensive Applications and Systems (DIAS) |
| Harmonizing Data Systems, LLMs, and Vectors | Data-Intensive Applications and Systems (DIAS) |
| HPCache: Memory-Efficient OLAP through Proportional Caching | Data-Intensive Applications and Systems (DIAS) |
| Prodasys: PRincipled resource Optimization through declarative DAta SYStems | Data-Intensive Applications and Systems (DIAS) |
| Taming Heterogeneity in the AI-driven Data Landscape | Data-Intensive Applications and Systems (DIAS) |
| The Effectiveness of Compression for GPU-Accelerated Queries on Out-of-Memory Datasets | Data-Intensive Applications and Systems (DIAS) |
| Static Typing Meets Adaptive Optimization: A Unified Approach to Recursive Queries | Data-Intensive Applications and Systems (DIAS)/ Programming Methods Lab (LAMP) |
| Accelerating SSD Steady-State Analysis using a WAF-based Performance Interface | Dependable Systems Lab (DSLAB) |
| Fast End-to-End Performance Simulation of Accelerated Hardware–Software Stacks | Dependable Systems Lab (DSLAB) |
| Performance Interfaces for PCIe Topologies | Dependable Systems Lab (DSLAB) |
| The Case for Energy Clarity | Dependable Systems Lab (DSLAB) |
| Making SMT-Based Verification Less Frustrating | Dependable Systems Lab (DSLAB)/ Systems and Formalisms lab (SYSTEMF) |
| Practical Verification of System-Software Components Written in Standard C | Dependable Systems Lab (DSLAB) / Systems and Formalisms lab (SYSTEMF) |
| Beyond Binary Trees: Finding General Hierarchies | lnformation and Network Dynamics (INDY) |
| Data-Driven Learning of Contact Networks for Targeted Vaccination in Outbreaks | lnformation and Network Dynamics (INDY2) |
| Ranking Items from Discrete Ratings: The Cost of Unknown User Thresholds | lnformation and Network Dynamics (INDY1) |
| Anomaly Anything: Unseen Visual Anomaly Generation | Intelligent Maintenance and Operations Systems (IMOS) |
| Autoformalization and Theorem Proving | Automated Reasoning and Analysis (LARA) |
| From Markov to Laplace: How Mamba In-Context Learns Markov Chains | Lab for Information in Networked Systems (LINX) |
| Joint Consistency: A Unified Test-Time Aggregation Framework With Pairwise Comparisons | Lab for Information in Networked Systems (LINX) |
| SCRIBE: Structured Chain Reasoning for Interactive Behavior Explanations using Tool Calling | Machine Learning for Education (ML4ED) |
| Meta-RL Induces Exploration in Language Agents | Machine Learning for Biomedicine (MLBio) |
| Tissue Reassembly using Generative AI | Machine Learning for Biomedicine (MLBio) |
| Fault Detection in Data Center Network | Network Architecture Laboratory (NAL) |
| Flow/Path Performance Consistency | Network Architecture Laboratory (NAL) |
| Optimal Silicon Efficiency in Servers | Parallel Systems Architecture Laboratory (PARSA) |
| PolyRack: Servers for the Post-Moore Era | Parallel Systems Architecture Laboratory (PARSA) |
| Single-Address-Space FaaS with Jord | Parallel Systems Architecture Laboratory (PARSA) |
| The Interplay between Quantization and Sparsity | Parallel Systems Architecture Laboratory (PARSA) |
| Uncovering FPGA Routing Convergence Paradox | Parallel Systems Architecture Laboratory (PARSA) |
| Specialization of softmax attention heads: insights from the high-dimensional single-location model | Statistical Physics of Computation Laboratory (SPOC) |
| Single-Head Attention in High Dimensions: A Theory of Generalization, Weights Spectra, and Scaling Laws | Statistical Physics of Computation Laboratory (SPOC) |
| Denoising Score Matching with Random Features: Insights on Diffusion Models from Precise Learning Curves | Statistical Mechanics of Inference in Large Systems (SMILS) |
| Nash Equilibria in Games with Playerwise Concave Coupling Constraints: Existence and Computation | Systems Control And Multiagent Optimization Research Lab (SYCAMORE) |
| Bootstrapping a verified compiler for an imperative language in Rocq | Systems and Formalisms Lab (SYSTEMF) |
| Interactive symbolic execution of concurrent programs in a theorem prover | Systems and Formalisms Lab (SYSTEMF) and
Verification and Computer Architecture Lab (VCA) |
| Deep learning for measuring behavior | UPAMATHIS |
| Skill learning and modeling sensorimotor circuits | UPAMATHIS |
| Geometric Computing Lab Demo | Geometric Computing Laboratory (GCM) |
