| 2017 | SIGCSE | The Code Mangler: Evaluating Coding Ability Without Writing any Code |
| 2017 | SIGCSE | Interactions of Individual and Pair Programmers with an Intelligent Tutoring System for Computer Science |
| 2017 | SIGCSE | Building a Statewide Computer Science Teacher Pipeline |
| 2017 | SIGCSE | Generating Hints and Feedback for Hilbert-style Axiomatic Proofs |
| 2017 | SIGCSE | Understanding Student Interactions in Capstone Courses to Improve Learning Experiences |
| 2017 | SIGCSE | Exploring the Pair Programming Process: Characteristics of Effective Collaboration |
| 2017 | SIGCSE | Improving Students' Learning and Achievement in CS Classrooms through Computational Creativity Exercises that Integrate Computational and Creative Thinking |
| 2017 | SIGCSE | Deconstructing the Discussion Forum: Student Questions and Computer Science Learning |
| 2017 | SIGCSE | iSnap: Towards Intelligent Tutoring in Novice Programming Environments |
| 2017 | SIGCSE | Evaluation and Impact of a Required Computational Thinking Course for Architecture Students |
| 2017 | SIGCSE | Exam Wrappers: Not a Silver Bullet |
| 2017 | SIGCSE | Student Perspectives of Team-Based Learning in a CS Course: Summary of Qualitative Findings |
| 2017 | SIGCSE | Infrastructure for Continuous Assessment of Retained Relevant Knowledge |
| 2017 | SIGCSE | Computing with CORGIS: Diverse, Real-world Datasets for Introductory Computing |
| 2017 | SIGIR | BitFunnel: Revisiting Signatures for Search |
| 2017 | SIGMETRICS | Accelerating Performance Inference over Closed Systems by Asymptotic Methods |
| 2017 | SIGMETRICS | Security Game with Non-additive Utilities and Multiple Attacker Resources |
| 2017 | SIGMOD | Parallelizing Sequential Graph Computations |
| 2017 | SOCC | SLAQ: Quality-driven Scheduling for Distributed Machine Learning |
| 2017 | SOCC | Occupy the Cloud: Distributed Computing for the 99% |
| 2017 | SODA | Subquadratic Algorithms for the Diameter and the Sum of Pairwise Distances in Planar Graphs |
| 2017 | SODA | A (2 + Є) Approximation for Maximum Weight Matching in the Semi-Streaming Model |
| 2017 | SOSP | DeepXplore: Automated Whitebox Testing of Deep Learning Systems |
| 2017 | SOSP | The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web |
| 2017 | SOSR | Concise Encoding of Flow Attributes in SDN Switches |
| 2017 | SPAA | Randomized Composable Coresets for Matching and Vertex Cover |
| 2017 | SPAA | Distributed Partial Clustering |
| 2017 | STOC | Explicit, Almost Optimal, Epsilon-Balanced Codes |
| 2017 | STOC | A Weighted Linear Matroid Parity Algorithm |
| 2017 | STOC | Deciding Parity Games in Quasipolynomial Time |