| 2017 | Preserving Distances in Very Faulty Graphs. | Greg Bodwin, Fabrizio Grandoni, Merav Parter, Virginia Vassilevska Williams |
| 2017 | Testing Core Membership in Public Goods Economies. | Greg Bodwin |
| 2017 | Streaming Communication Protocols. | Lucas Boczkowski, Iordanis Kerenidis, Frdric Magniez |
| 2017 | Efficient Construction of Probabilistic Tree Embeddings. | Guy E. Blelloch, Yan Gu, Yihan Sun |
| 2017 | Directed Hamiltonicity and Out-Branchings via Generalized Laplacians. | Andreas Bjrklund, Petteri Kaski, Ioannis Koutis |
| 2017 | Simple Greedy Algorithms for Fundamental Multidimensional Graph Problems. | Vittorio Bil, Ioannis Caragiannis, Angelo Fanelli, Michele Flammini, Gianpiero Monaco |
| 2017 | Dynamic Beats Fixed: On Phase-Based Algorithms for File Migration. | Marcin Bienkowski, Jaroslaw Byrka, Marcin Mucha |
| 2017 | Finding Detours is Fixed-Parameter Tractable. | Ivona Bezkov, Radu Curticapean, Holger Dell, Fedor V. Fomin |
| 2017 | Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. | Raphal Berthon, Mickael Randour, Jean-Franois Raskin |
| 2017 | General Bounds for Incremental Maximization. | Aaron Bernstein, Yann Disser, Martin Gro |
| 2017 | Deterministic Partially Dynamic Single Source Shortest Paths in Weighted Graphs. | Aaron Bernstein |
| 2017 | Characterizing Definability in Decidable Fixpoint Logics. | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
| 2017 | Interactive Oracle Proofs with Constant Rate and Query Complexity. | Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner |
| 2017 | Deleting and Testing Forbidden Patterns in Multi-Dimensional Arrays. | Omri Ben-Eliezer, Simon Korman, Daniel Reichman |
| 2017 | Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols. | Amanda Belleville, David Doty, David Soloveichik |
| 2017 | An Efficient Strongly Connected Components Algorithm in the Fault Tolerant Model. | Surender Baswana, Keerti Choudhary, Liam Roditty |
| 2017 | Admissiblity in Concurrent Games. | Nicolas Basset, Gilles Geeraerts, Jean-Franois Raskin, Ocan Sankur |
| 2017 | *-Liftings for Differential Privacy. | Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub |
| 2017 | Exploring the Complexity of Layout Parameters in Tournaments and Semi-Complete Digraphs. | Florian Barbero, Christophe Paul, Michal Pilipczuk |
| 2017 | Bisimulation Metrics for Weighted Automata. | Borja Balle, Pascale Gourdeau, Prakash Panangaden |
| 2017 | Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps. | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri |
| 2017 | Definability by Horn Formulas and Linear Time on Cellular Automata. | Nicolas Bacquey, Etienne Grandjean, Frdric Olive |
| 2017 | A New Holant Dichotomy Inspired by Quantum Computation. | Miriam Backens |
| 2017 | On the Metric-Based Approximate Minimization of Markov Chains. | Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2017 | Selling Complementary Goods: Dynamics, Efficiency and Revenue. | Moshe Babaioff, Liad Blumrosen, Noam Nisan |