| 2025 | EAAMO | Fair Decisions through Plurality: Results from a Crowdfunding Platform |
| 2025 | EAAMO | Digital Pulse of Development: Constructing Poverty Metrics from Social Media Discourse |
| 2025 | EC | Swap Regret and Correlated Equilibria Beyond Normal-Form Games |
| 2025 | EICS | Augmenting graphical modeling workbenches with semantic-aware interactive features |
| 2025 | EMNLP | InterIDEAS: Philosophical Intertextuality via LLMs |
| 2025 | EMNLP | Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions |
| 2025 | EMNLP | Infini-gram mini: Exact n-gram Search at the Internet Scale with FM-Index |
| 2025 | ESOP | First-Person Choreographic Programming with Continuation-Passing Communications |
| 2025 | ETRA | A Framework for Leveraging LLMs for Scene Analysis and Cognitive Processing |
| 2025 | ETRA | Emotions Shape Effort-Reward Choices: Positive Valence Decreases Effort, Except Under High Arousal |
| 2025 | ETRA | PupilSense: A Novel Application for Webcam-Based Pupil Diameter Estimation |
| 2025 | ETRA | Combining Intuitive Gaze-Based Control with EEG-Based Detection of Motor Imagery and Quasi-Movements |
| 2025 | ETRA | Estimating the level of ability of English learners using eye movement features during text reading |
| 2025 | EuroSys | CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion |
| 2025 | EuroSys | SpInfer: Leveraging Low-Level Sparsity for Efficient Large Language Model Inference on GPUs |
| 2025 | FAccT | External Evaluation of Discrimination Mitigation Efforts in Meta's Ad Delivery |
| 2025 | FAccT | "You Cannot Sound Like GPT": Signs of language discrimination and resistance in computer science publishing |
| 2025 | FAccT | A Framework for Auditing Chatbots for Dialect-Based Quality-of-Service Harms |
| 2025 | FOGA | Diversity-Preserving Exploitation of Crossover |
| 2025 | FOGA | A Fixed-Parameter Tractable GA for Data Clustering |
| 2025 | FoSSaCS | Sharing and Linear Logic with Restricted Access |
| 2025 | FoSSaCS | Model-checking real-time systems: revisiting the alternating automaton route |
| 2025 | GoodIT | An Assessment of LLM-Based Auditing and Validation for Web Accessibility |
| 2025 | GRAPP | Backface Distance Fields: Relaxing Signed Distance Fields |
| 2025 | GRAPP | Single-Exemplar Lighting Style Transfer via Emissive Texture Synthesis and Optimization |
| 2025 | GRAPP | Exploring Seated Locomotion Techniques in Virtual Reality for People with Limited Mobility |
| 2025 | HotStorage | ByteExpress: A High-Performance and Traffic-Efficient Inline Transfer of Small Payloads over NVMe |
| 2025 | HPDC | Out-of-Core Parallel Spatial Join Outperforming In-Memory Systems: A BFS-DFS Hybrid Approach |
| 2025 | HUCAPP | Exploring Extended Reality (XR) in Teaching AI: A Comparative Study of XR and Desktop Environments |
| 2025 | HUCAPP | Effective Mitigation of Cognitive Load in Complex Mixed Reality Tasks |