| 2020 | MMSys | PC-MCU: point cloud multipoint control unit for multi-user holoconferencing systems |
| 2020 | MMSys | A pipeline for multiparty volumetric video conferencing: transmission of point clouds over low latency DASH |
| 2020 | MMSys | QuRate: power-efficient mobile immersive video streaming |
| 2020 | MobiCom | Hummingbird: Energy Efficient GPS Receiver for Small Satellites |
| 2020 | MobiCom | M-Cube: a millimeter-wave massive MIMO software radio |
| 2020 | MobiCom | Sniffing visible light communication through walls |
| 2020 | Mobisys | SonicPrint: a generally adoptable and secure fingerprint biometrics in smart devices |
| 2020 | MODELS | Papyrus for gamers, let's play modeling |
| 2020 | MODELS | Model-based fleet deployment of edge computing applications |
| 2020 | MODELS | Interactive metamodel/model co-evolution using unsupervised learning and multi-objective search |
| 2020 | MODELS | Semantic comparisons of Alloy models |
| 2020 | NeurIPS | No-Regret Learning Dynamics for Extensive-Form Correlated Equilibrium |
| 2020 | NeurIPS | Improved guarantees and a multiple-descent curve for Column Subset Selection and the Nystrom method |
| 2020 | NeurIPS | Language Models are Few-Shot Learners |
| 2020 | NSDI | Learning in situ: a randomized experiment in video streaming |
| 2020 | NSDI | AmphiLight: Direct Air-Water Communication with Laser Light |
| 2020 | NSDI | Understanding, Detecting and Localizing Partial Failures in Large System Software |
| 2020 | OSDI | hXDP: Efficient Software Packet Processing on FPGA NICs |
| 2020 | OSDI | Byzantine Ordered Consensus without Byzantine Oligarchy |
| 2020 | OSDI | Virtual Consensus in Delos |
| 2020 | PADS | Precise Virtual Time Advancement for Network Emulation |
| 2020 | PASC | Performance Evaluation of a Two-Dimensional Flood Model on Heterogeneous High-Performance Computing Architectures |
| 2020 | PLDI | From folklore to fact: comparing implementations of stacks and continuations |
| 2020 | PLDI | Fast graph simplification for interleaved Dyck-reachability |
| 2020 | PLDI | From folklore to fact: comparing implementations of stacks and continuations Authors: Kavon Farvardin, John Reppy |
| 2020 | PLDI | Validating SMT solvers via semantic fusion |
| 2020 | PLDI | Armada: low-effort verification of high-performance concurrent programs |
| 2020 | PLDI | Data-driven inference of representation invariants |
| 2020 | PODS | A Framework for Adversarially Robust Streaming Algorithms |
| 2020 | QRS | Have it Your Way: Generating Customized Log Datasets with a Model-Driven Simulation Testbed |