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