| 2025 | SIGIR | WARP: An Efficient Engine for Multi-Vector Retrieval |
| 2025 | SIGIR-AP | Adversarial Attacks against Neural Ranking Models via In-Context Learning |
| 2025 | SIGIR-AP | ScaleFormer: Span Representation Cumulation for Long-Context Transformer |
| 2025 | SIGMETRICS | Adversarial Network Optimization under Bandit Feedback: Maximizing Utility in Non-Stationary Multi-Hop Networks |
| 2025 | SIGMOD | LpBound: Pessimistic Cardinality Estimation Using ℓp-Norms of Degree Sequences |
| 2025 | SIGMOD | Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? |
| 2025 | SIGSPATIAL | One Model, Many Cities: A Transferable Social Relationship Inference Framework for Human Mobility Data |
| 2025 | SIGSPATIAL | XXLTraffic: Expanding and Extremely Long Traffic Forecasting beyond Test Adaptation |
| 2025 | SOCC | Valet: Efficient Data Placement on Modern SSDs |
| 2025 | SOSP | From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly |
| 2025 | SPIRE | Smallest Suffixient Sets as a Repetitiveness Measure |
| 2025 | SPLASH | Incremental Bidirectional Typing via Order Maintenance |
| 2025 | SPLASH | Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials |
| 2025 | SPLASH | HeapBuffers: Why Not Just Using a Binary Serialization Format for Your Managed Memory? |
| 2025 | SPLASH | Revamping Verilog Semantics for Foundational Verification |
| 2025 | SPLASH | From Linearity to Borrowing |
| 2025 | SPLC | Pick Me: Judging Sample Quality with Binary Decision Diagrams |
| 2025 | SPLC | Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry |
| 2025 | SPLC | Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems |
| 2025 | SPLC | Software Variability as a New Dimension of Computational Thinking: an Exploration |
| 2025 | SportsHCI | Into the Zone: Demo of Glancable Ambient LED-Goggles to Assist Runners with Maintaining Heart Rate Zones |
| 2025 | SportsHCI | Sound-Assisted Climbing: Exploring bouldering performance through auditory guidance |
| 2025 | SportsHCI | Investigating How Recreational Cyclists Engage with Sport Tracking Technologies to Prepare for Endurance Events |
| 2025 | SportsHCI | An Investigation into Alternative Ways of Menstrual Cycle Tracking in Professional Sports |
| 2025 | SportsHCI | At the Speed of the Heart: Evaluating Physiologically-Adaptive Visualizations for Supporting Engagement in Biking Exergaming in Virtual Reality |
| 2025 | TACAS | Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM |
| 2025 | TACAS | Unsatisfiability Proofs for Horn Solving |
| 2025 | TEI | On the design of technosacred spaces |
| 2025 | The Web Conference | Behavioral Homophily in Social Media via Inverse Reinforcement Learning: A Reddit Case Study |
| 2025 | UAI | A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction |