| 2024 | PEARC | Japper: A Comprehensive Framework for Streamlining Jupyter-Based Scientific Web Application Development |
| 2024 | PEARC | Benchmarking with Supernovae: A Performance Study of the FLASH Code |
| 2024 | PEARC | A Model for Managing Multi-Tenant Research Databases |
| 2024 | POPL | Parametric Subtyping for Structural Parametric Polymorphism |
| 2024 | POPL | Flan: An Expressive and Efficient Datalog Compiler for Program Analysis |
| 2024 | POPL | Total Type Error Localization and Recovery with Holes |
| 2024 | POPL | Soundly Handling Linearity |
| 2024 | POPL | Automatic Parallelism Management |
| 2024 | POPL | An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification |
| 2024 | POPL | Nominal Recursors as Epi-Recursors |
| 2024 | POPL | Modular Denotational Semantics for Effects with Guarded Interaction Trees |
| 2024 | PRICAI | A Relaxed Symmetric Non-negative Matrix Factorization Approach for Community Discovery |
| 2024 | PRICAI | IRL for Restless Multi-armed Bandits with Applications in Maternal and Child Health |
| 2024 | PRICAI | Optimal Illumination Distance Metrics for Person Re-identification |
| 2024 | PRICAI | Enhancing Multimodal Rumor Detection with Statistical Image Features and Modal Alignment via Contrastive Learning |
| 2024 | PRICAI | CogniReflect: A Deep Learning Framework for Learning Analytics |
| 2024 | RecSys | Towards Empathetic Conversational Recommender Systems |
| 2024 | RecSys | The MovieLens Beliefs Dataset: Collecting Pre-Choice Data for Online Recommender Systems |
| 2024 | RecSys | Unlocking the Hidden Treasures: Enhancing Recommendations with Unlabeled Data |
| 2024 | SAC' | Binary Folding Compression for Efficient Software Distribution |
| 2024 | SAC' | Rescuing QUIC Flows From Countermeasures Against UDP Flooding Attacks |
| 2024 | SAC' | Graph Learning-based Fleet Scheduling for Urban Air Mobility under Operational Constraints, Varying Demand & Uncertainties |
| 2024 | SAC' | An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages |
| 2024 | SAC' | The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains |
| 2024 | SAC' | VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time |
| 2024 | SACMAT | A Bargaining-Game Framework for Multi-Party Access Control |
| 2024 | SIGCOMM | Understanding the Host Network |
| 2024 | SIGCOMM | The Next Generation of BGP Data Collection Platforms |
| 2024 | SIGCOMM | Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation |
| 2024 | SIGCSE | Cultural-Centric Computational Embroidery |