| 2023 | MobiCom | AgriTera: Accurate Non-Invasive Fruit Ripeness Sensing via Sub-Terahertz Wireless Signals |
| 2023 | MobiCom | The Underwater Backscatter Channel: Theory, Link Budget, and Experimental Validation |
| 2023 | MobiHoc | Scalable Multi-Modal Learning for Cross-Link Channel Prediction in Massive IoT Networks |
| 2023 | MobileHCI | Exploring Real-Time Collaborative Heart Rate Displays for Cycling Partners |
| 2023 | MobileHCI | Integrating Real-Time Health Status into Everyday Objects: A Design Case Study on Enhancing Diabetic Health Monitoring with Artistic Creations |
| 2023 | MobileHCI | Attentive Notifications: Minimizing Distractions of Mobile Notifications through Gaze Tracking |
| 2023 | MobileHCI | Exploring Visual Signifier Characteristics to Improve the Perception of Affordances of In-Place Touch Inputs |
| 2023 | MobileHCI | The Loop and Reasons to Break It: Investigating Infinite Scrolling Behaviour in Social Media Applications and Reasons to Stop |
| 2023 | MobileHCI | Drawing Connections: Designing Situated Links for Immersive Maps |
| 2023 | MobileHCI | Frappé: An Ultra Lightweight Mobile UI Framework for Rapid API-based Prototyping and Environmental Deployment |
| 2023 | NanoCom | In Silico Model for Tumor Diagnosis based on Bloodstream Penetrating Extracellular Vesicles |
| 2023 | NeurIPS | Privacy Auditing with One (1) Training Run |
| 2023 | NeurIPS | Are Emergent Abilities of Large Language Models a Mirage? |
| 2023 | NSDI | CausalSim: A Causal Framework for Unbiased Trace-Driven Simulation |
| 2023 | NSDI | Building Flexible, Low-Cost Wireless Access Networks With Magma |
| 2023 | NSDI | LeakyScatter: A Frequency-Agile Directional Backscatter Network Above 100 GHz |
| 2023 | NSDI | DOTE: Rethinking (Predictive) WAN Traffic Engineering |
| 2023 | OSDI | Triangulating Python Performance Issues with SCALENE |
| 2023 | OSDI | Ensō: A Streaming Interface for NIC-Application Communication |
| 2023 | PLDI | Mosaic: An Interoperable Compiler for Tensor Algebra |
| 2023 | PLDI | CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives |
| 2023 | PLDI | Synthesizing MILP Constraints for Efficient and Robust Optimization |
| 2023 | PLDI | An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits |
| 2023 | PLDI | Covering All the Bases: Type-Based Verification of Test Input Generators |
| 2023 | PLOS | Process Composition with Typed Unix Pipes |
| 2023 | PODC | A Near-Optimal Deterministic Distributed Synchronizer |
| 2023 | PODC | Word-Size RMR Tradeoffs for Recoverable Mutual Exclusion |
| 2023 | PODS | Extremal Fitting Problems for Conjunctive Queries |
| 2023 | PPoPP | Provably Fast and Space-Efficient Parallel Biconnectivity |
| 2023 | QRS | AndrAS: Automated Attack Surface Extraction for Android Applications |