Journal of the ACM, Volume 71

Volume 71, Number 1, February 2024

Invited Article: Distributed Computing

• 
  Sean Ovens:
  The Space Complexity of Consensus from Swap. 1:1-1:26

Invited Article: Programming Languages

• 
  Dario Stein, Sam Staton:
  Probabilistic Programming with Exact Conditions. 2:1-2:53

Formal Verification

• 
  Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal:
  Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. 3:1-3:59

Algorithmic Game Theory

• 
  Bhaskar Ray Chaudhury, Jugal Garg, Kurt Mehlhorn:
  EFX Exists for Three Agents. 4:1-4:27

Economics and Computation

• 
  Paul Dütting, Zhe Feng, Harikrishna Narasimhan, David C. Parkes, Sai Srivatsa Ravindranath:
  Optimal Auctions through Deep Learning: Advances in Differentiable Economics. 5:1-5:53

Database Theory

• 
  Xiao Hu, Yufei Tao:
  Parallel Acyclic Joins: Optimal Algorithms and Cyclicity Separation. 6:1-6:44

Volume 71, Number 2, April 2024

INVITED ARTICLE: Logic and Computation

• 
  Moritz Lichter, Pascal Schweitzer:
  Choiceless Polynomial Time with Witnessed Symmetric Choice. 7:1-7:70

INVITED ARTICLE: Database Theory

• 
  Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang:
  Convergence of datalog over (Pre-) Semirings. 8:1-8:55

Algorithmic Game Theory

• 
  Yuqing Kong:
  Dominantly Truthful Peer Prediction Mechanisms with a Finite Number of Tasks. 9:1-9:49

Algorithms and Combinatorial Optimization

• 
  Vincent Cohen-Addad, Debarati Das, Evangelos Kipouridis, Nikos Parotsidis, Mikkel Thorup:
  Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor. 10:1-10:41

Algebraic Complexity Theory

• 
  Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard:
  Faster Modular Composition. 11:1-11:79

Distributed Computing

• 
  Shang-En Huang, Seth Pettie, Leqi Zhu:
  Byzantine Agreement with Optimal Resilience via Statistical Fraud Detection. 12:1-12:37

Artificial Intelligence

• 
  Maria-Florina Balcan, Travis Dick, Tuomas Sandholm, Ellen Vitercik:
  Learning to Branch: Generalization Guarantees and Limits of Data-Independent Discretization. 13:1-13:73

Programming Languages and Logic

• 
  Arthur Oliveira Vale, Zhong Shao, Yixuan Chen:
  A Compositional Theory of Linearizability. 14:1-14:107

Sketching and Streaming Algorithms

• 
  Chi-Ning Chou, Alexander Golovnev, Madhu Sudan, Santhoshini Velusamy:
  Sketching Approximability of All Finite CSPs. 15:1-15:74

Logic and Computation

• 
  Javier Esparza, Rubén Rubio, Salomon Sickert:
  Efficient Normalization of Linear Temporal Logic. 16:1-16:42

Volume 71, Number 3, June 2024

INVITED ARTICLE: Distributed Computing

• 
  Michael Dinitz, Jeremy T. Fineman, Seth Gilbert, Calvin Newport:
  Smoothed Analysis of Information Spreading in Dynamic Networks. 17

Complexity Theory

• 
  Noga Ron-Zewi, Ron Rothblum:
  Local Proofs Approaching the Witness Length. 18

Sequential Decision Making

• 
  Nika Haghtalab, Tim Roughgarden, Abhishek Shetty:
  Smoothed Analysis with Adaptive Adversaries. 19

Quantum Complexity and Quantum Cryptography

• 
  Takashi Yamakawa, Mark Zhandry:
  Verifiable Quantum Advantage without Structure. 20

Structural Graph Theory

• 
  Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Pierre Simon, Stéphan Thomassé, Szymon Torunczyk:
  Twin-Width IV: Ordered Graphs and Matrices. 21

Algebraic Complexity

• 
  Vishwas Bhargava, Sumanta Ghosh, Zeyu Guo, Mrinal Kumar, Chris Umans:
  Fast Multivariate Multipoint Evaluation over All Finite Fields. 22

Cryptography, Cryptoanalysis

• 
  Itai Dinur, Nathan Keller, Ohad Klein:
  Fine-grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR. 23

Algorithms

• 
  Jason M. Altschuler, Sinho Chewi:
  Faster High-accuracy Log-concave Sampling via Algorithmic Warm Starts. 24