| 2026 | ETAPS | Don’t Go MAD with Anomalies! Design-Time Microservice Anomaly Detection in Migration to Microservices |
| 2026 | ETAPS | Recursive Logical Relations for Intuitionistic Linear Logic Session Types |
| 2026 | ETAPS | On Deciding Constant Runtime of Linear Loops |
| 2026 | ETAPS | The Value Problem for Weighted Timed Games with Two clocks is Undecidable |
| 2026 | ETAPS | Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob |
| 2026 | FPGA | KANELÉ: Kolmogorov–Arnold Networks for Efficient LUT-based Evaluation |
| 2026 | PPoPP | Binary Compatible Critical Section Delegation |
| 2026 | PPoPP | HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff |
| 2025 | ACI | A Computer Vision Pipeline to Augment Touchscreen Tasks for Chimpanzees |
| 2025 | ACI | Exploring the Cockatoo's Engagement with Audiovisual Stimuli: An Inclusive Avian-IoT Interaction Design |
| 2025 | ACI | Using Community Notes to Enact Attitudinal Change towards Urban Wildlife |
| 2025 | ACI | Look What the Cat Tapped In: Exploring Digital Interactive Systems Designed for the Cat Cafe Experience |
| 2025 | ACM REP | Reproducibility in Applied Security Conferences: An 11-Year Review on Artifacts and Evaluation Committees |
| 2025 | ACMSE | Secure Edge Computing Reference Architecture for Data-driven Structural Health Monitoring: Lessons Learned from Implementation and Benchmarking |
| 2025 | AsiaCCS | Breaking Bad: How Compilers Break Constant-Time Implementations |
| 2025 | AsiaCCS | Adversarial Fog: Exploiting the Vulnerabilities of LiDAR Point Cloud Preprocessing Filters |
| 2025 | ASPLOS | MetaSapiens: Real-Time Neural Rendering with Efficiency-Aware Pruning and Accelerated Foveated Rendering |
| 2025 | ASPLOS | H-Houdini: Scalable Invariant Learning |
| 2025 | ASPLOS | Extended User Interrupts (xUI): Fast and Flexible Notification without Polling |
| 2025 | ASPLOS | CXLfork: Fast Remote Fork over CXL Fabrics |
| 2025 | ASPLOS | Orion: A Fully Homomorphic Encryption Framework for Deep Learning |
| 2025 | ASPLOS | SmoothE: Differentiable E-Graph Extraction |
| 2025 | AutoUI | Self-supervised Learning for Detecting Local Contextual Anomalous Gaze Patterns of Individual Drivers in Level 3 Automated Driving |
| 2025 | AutoUI | Pedestrian Planet: What YouTube Driving from 233 Countries and Territories Teaches Us About the World |
| 2025 | AutoUI | SOH Illusion: Misunderstandings of EV Battery State of Health and Methods to Promote Understanding |
| 2025 | AutoUI | Enhancing Cyclist Safety in the EU: A Study on Lateral Overtaking Distance Across Seven Scenarios Using Lab and Crowdsourced Methods |
| 2025 | AutoUI | Reconfigurable Roadways: Envisioning the Future of V2X-Driven Autonomous Urban Infrastructure through an Interactive Tabletop Simulator |
| 2025 | C&C | Content Authenticities: A Discussion on the Values of Provenance Data for Creatives and Their Audiences |
| 2025 | CHI | Lost in Magnitudes: Exploring Visualization Designs for Large Value Ranges |
| 2025 | CHI | LivingLoom: Investigating Human-Plant Symbiosis through Integrating Living Plants into (E-)Textiles |