| 2025 | NeurIPS | Why Diffusion Models Don’t Memorize: The Role of Implicit Dynamical Regularization in Training |
| 2025 | NeurIPS | 1000 Layer Networks for Self-Supervised RL: Scaling Depth Can Enable New Goal-Reaching Capabilities |
| 2025 | NeurIPS | Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free |
| 2025 | NeurIPS | Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond) |
| 2025 | OzCHI | The Cassandra Method: Using Dystopian Visions to Inform Responsible HCI Design and Evaluation |
| 2025 | OzCHI | Bleed Between the Lines: Barriers and Approaches to Personalisation in Menstrual Tracking for Marginalised Users |
| 2025 | PASC | Toward More Usable, Reproducible, and Sustainable Scientific Software: The Impact of User-Centered Design in Research Software Development |
| 2025 | PEARC | Secure API-Driven Research Automation to Accelerate Scientific Discovery |
| 2025 | PEARC | Toward an Education Hub Linking Research Data and Compute to Learning Workflows in the National Data Platform |
| 2025 | PEARC | Analyzing GPU Utilization in HPC Workloads: Insights from Large-Scale Systems |
| 2025 | PEARC | FAIR-CS: Framework for Interdisciplinary Research Collaborations in Online Computing Programs |
| 2025 | PEARC | Posits Solve the ``Light Leak' Problem in Computer Graphics |
| 2025 | PEARC | ML Field Planner: Analyzing and Optimizing ML Pipelines For Field Research |
| 2025 | PEARC | Automating HPC Software Compilation, Deployment, and Error Resolution through an LLM-based Multi-Agent System |
| 2025 | PEARC | T3-CIDERS: Train-the-Trainer and Community Building to Increase Cyberinfrastructure Adoption in Cybersecurity Research and Education |
| 2025 | PEARC | Text Representations for Property Prediction of Organic Molecules Using RoBERTa |
| 2025 | PEARC | OpenSHMEM Performance on Bluefield-3 Data Processing Units (DPUs) |
| 2025 | PEARC | Real-time Scientific Visualization and Interactive Steering for High-Performance Computing Simulations |
| 2025 | PEARC | A Pre-Processing Framework for Securing LLM-RAG Interfaces Against Information Leakage |
| 2025 | PEARC | Combating Underutilization with the Jobstats Job Monitoring Platform |
| 2025 | PLDI | AWDIT: An Optimal Weak Database Isolation Tester |
| 2025 | PLDI | Practical Type Inference with Levels |
| 2025 | PLDI | Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic |
| 2025 | PLDI | Principal Type Inference under a Prefix: A Fresh Look at Static Overloading |
| 2025 | PLDI | Tree Borrows |
| 2025 | PLDI | Destabilizing Iris |
| 2025 | POPL | Relaxed Memory Concurrency Re-executed |
| 2025 | POPL | Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops |
| 2025 | POPL | TensorRight: Automated Verification of Tensor Graph Rewrites |
| 2025 | POPL | Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings |