| AI-powered virtual tissues from spatial proteomics for clinical diagnostics and biomedical discovery | Artificial Intelligence in Molecular Medicine (AIMM) |
| Test-Time View Selection for Multi-Modal Decision Making | Artificial Intelligence in Molecular Medicine (AIMM) |
| Semiparametric Triple Difference Estimators | Chair of Business Analystics (BAN) |
| Deep Geometric Learning for Engineering Design | CVLab |
| Learning Structured 3D Shape Representations for Design and Optimization | CVLab |
| Dalton: Learned Partitioning for Distributed Data Streams | Data-Intensive Applications and Systems (DIAS) |
| Declarative Concurrent Data Structures | Data-Intensive Applications and Systems (DIAS) |
| Efficient scheduling for multiple database systems on shared hardware | Data-Intensive Applications and Systems (DIAS) |
| HPCache: Memory-Efficient OLAP through Proportional Caching | Data-Intensive Applications and Systems (DIAS) |
| Proteus: taming heterogeneity through virtualization & JIT adaptivity | Data-Intensive Applications and Systems (DIAS) |
| Adaptive Datalog / Recursive Query Optimization | Data-Intensive Applications and Systems (DIAS) / Programming Methods Lab (LAMP) |
| E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online Voting | Decentralized Distributed Systems Laboratory (DEDIS) |
| QuePaxa: Escaping the Tyranny of Timeouts in Consensus | Decentralized Distributed Systems Laboratory (DEDIS) |
| Performance Interfaces For Hardware Accelerators | Dependable Systems Lab (DSLAB) |
| The Case of Energy Clarity | Dependable Systems Lab (DSLAB) |
| Transparent Multicore Scaling of Single-threaded Network Functions | Dependable Systems Lab (DSLAB) |
| Practical Verification of System-Software Components Written in Standard C | Dependable Systems Lab (DSLAB) / Systems and Formalisms Lab (SYSTEMF) |
| InkSight: Offline-to-Online Handwriting Conversion by Learning to Read and Write | Google DeepMind |
| SURGEON: Performant, Flexible, and Accurate Re-Hosting via Transplantation | HexHive |
| type++: Prohibiting Type Confusion Through Inline Type Information | HexHive |
| Finding General Hierarchies | Information and Network Dynamics (INDY) |
| This Too Shall Pass: Removing Stale Observations in Dynamic Bayesian Optimization | Information and Network Dynamics 2 (INDY2) |
| Fast Proxy Experiment Design for Causal Effect Identification | Information and Network Dynamics 2 (INDY2) / Chair of Business Analystics (BAN) |
| From Markov to Laplace: How Mamba In-Context Learns Markov Chains | Information in Networked Systems (LINX) |
| Enhancing Multilingual LLM Pretraining with Model-Based Data Selection | Machine Learning and Optimization Laboratory (MLO) |
| Large (Vision) Language Models are Unsupervised In-Context Learners | Machine Learning for Biomedicine (MLBIO) |
| Tissue Reassembly Using Generative AI | Machine Learning for Biomedicine (MLBIO) |
| Deep learning for measuring behavior | Mathis Group |
| Skill learning and modeling sensorimotor circuits | Mathis Group |
| IIBLAST: Accelerating Commercial FPGA Compilation | Parallel Systems Architecture Lab (PARSA) |
| Rack-Scale Servers for the Post-Moore Era | Parallel Systems Architecture Lab (PARSA) |
| Rebooting virtual memory with Midgard | Parallel Systems Architecture Lab (PARSA) |
| The Interplay between Quantization and Sparsity | Parallel Systems Architecture Lab (PARSA) |
| Fast, Flexible, and Practical Kernel Extensions | Robust Scalable Systems Software Lab (RS3Lab) |
| Handling Latency in Tiered Memory | Robust Scalable Systems Software Lab (RS3Lab) |
| Monarch: A Fuzzing Framework for Distributed File Systems | Robust Scalable Systems Software Lab (RS3Lab) |
| Accelerating MoE Model Inference with Expert Sharding | Scalable Computing Systems (SaCS) |
| Revisiting Ensembling in One-Shot Federated Learning | Scalable Computing Systems (SaCS) |
| A Phase Transition between Positional and Semantic Learning in a Solvable Model of Dot-Product Attention | Statistical Physics of Computations (SPOC) |
| Bayes-optimal learning of an extensive-width neural network from quadratically many samples | Statistical Physics of Computations (SPOC) |
| Diagrammatic notations: a wishlist | Systems and Formalisms Lab (SYSTEMF) |
| A Language for Microarchitectural Security Evaluation | Verification and Computer Architecture (VCA) |
| Demo | Geometric Computing Laboratory (GCM) |
