| 2017 | EuroSys | SGXBOUNDS: Memory Safety for Shielded Execution |
| 2017 | EuroSys | Mosaic: Processing a Trillion-Edge Graph on a Single Machine |
| 2017 | FAST | Algorithms and Data Structures for Efficient Free Space Reclamation in WAFL |
| 2017 | FAST | Application Crash Consistency and Performance with CCFS |
| 2017 | FOCS | A dichotomy theorem for nonuniform CSPs |
| 2017 | FOCS | The Matching Problem in General Graphs is in Quasi-NC |
| 2017 | FOCS | The Proof of CSP Dichotomy Conjecture |
| 2017 | FoSSaCS | Cyclic Arithmetic Is Equivalent to Peano Arithmetic |
| 2017 | FoSSaCS | Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System |
| 2017 | FSE | The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance |
| 2017 | FSE | Cooperative Kernels: GPU Multitasking for Blocking Algorithms |
| 2017 | FSE | Understanding Misunderstandings in Source Code |
| 2017 | FSE | Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility |
| 2017 | FSE | Discovering Relational Specifications |
| 2017 | FSE | Automatically Diagnosing and Repairing Error Handling Bugs in C |
| 2017 | FSE | Fairness Testing: Testing Software for Discrimination |
| 2017 | GLSVLSI | LightNN: Filling the Gap between Conventional Deep Neural Networks and Binarized Networks |
| 2017 | GRAPP | Transposition Based Blendshape Direct Manipulation |
| 2017 | GRAPP | Fast Capture of Spectral Image Series |
| 2017 | HICSS | Moral Hazards and Effects of IT-enabled Monitoring Systems in Online Labor Markets |
| 2017 | HICSS | The Social Factory: Connecting People, Machines and Data in Manufacturing for Context-Aware Exception Escalation |
| 2017 | HICSS | Social Affordances of Mixed Reality Learning Environments: A case from the Science through Technology Enhanced Play Project (STEP) |
| 2017 | HICSS | Public-Private Collaboration in the Emergence of a National Electronic Identification Policy: The Case of NemID in Denmark |
| 2017 | HICSS | Probabilistic Forecasting and Simulation of Electricity Markets via Online Dictionary Learning |
| 2017 | HICSS | The Feasibility of Incentivizing Participation in an Online Social Network Weight Loss Program |
| 2017 | HICSS | Cultural Differences between Germany and the United States in Landing Page Design |
| 2017 | HICSS | The More the Merrier? The Effects of Community Feedback on Idea Quality in Innovation Contests |
| 2017 | HICSS | Uncovering the Nature of Platform-based Business Models: An Empirical Taxonomy |
| 2017 | HICSS | Present but unreachable: reducing persistent latent secrets in HotSpot JVM |
| 2017 | HPDC | COS: A Parallel Performance Model for Dynamic Variations in Processor Speed, Memory Speed, and Thread Concurrency |