Journal: Journal of the ACM

Volume 68, Issue 6

0 -- 0Jonathan Sterling, Robert Harper. Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
0 -- 0Vincent Cohen-Addad, Andreas Emil Feldmann, David Saulpic. Near-linear Time Approximation Schemes for Clustering in Doubling Metrics
0 -- 0Stephen Bates, Anastasios Angelopoulos, Lihua Lei, Jitendra Malik, Michael I. Jordan. Distribution-free, Risk-controlling Prediction Sets
0 -- 0Weiming Feng, Heng Guo 0001, Yitong Yin, Chihao Zhang 0001. k-SAT Solutions in the Local Lemma Regime
0 -- 0Matthias Függer, Thomas Nowak, Manfred Schwarz. Tight Bounds for Asymptotic and Approximate Consensus

Volume 68, Issue 5

0 -- 0Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz. Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
0 -- 0Michael Blondin, Matthias Englert, Alain Finkel, Stefan Göller, Christoph Haase, Ranko Lazic 0001, Pierre McKenzie, Patrick Totzke. The Reachability Problem for Two-Dimensional Vector Addition Systems with States
0 -- 0Alkida Balliu, Sebastian Brandt 0002, Juho Hirvonen, Dennis Olivetti, Mikaël Rabie, Jukka Suomela. Lower Bounds for Maximal Matchings and Maximal Independent Sets

Volume 68, Issue 4

0 -- 0Vincent Cohen-Addad, Éric Colin de Verdière, Dániel Marx, Arnaud de Mesmay. Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs
0 -- 0Sébastien Bubeck, Ronen Eldan, Yin Tat Lee. Kernel-based Methods for Bandit Convex Optimization
0 -- 0Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander A. Razborov. Clique Is Hard on Average for Regular Resolution
0 -- 0Libor Barto, Jakub Bulín, Andrei A. Krokhin, Jakub Oprsal. Algebraic Approach to Promise Constraint Satisfaction
0 -- 0Peter G. Harrison, Julianna Bor. Response Time Distribution in a Tandem Pair of Queues with Batch Processing
0 -- 0Albert Atserias, Anuj Dawar, Joanna Ochremiak. On the Power of Symmetric Linear Programs
0 -- 0Éva Tardos. Invited Article Foreword
0 -- 0Thodoris Lykouris, Sergei Vassilvitskii. Competitive Caching with Machine Learned Advice
0 -- 0Moses Ganardi, Artur Jez, Markus Lohrey. Balancing Straight-line Programs

Volume 68, Issue 3

0 -- 0Arnab Bhattacharyya 0001, Édouard Bonnet, László Egri, Suprovat Ghoshal, Karthik C. S., Bingkai Lin, Pasin Manurangsi, Dániel Marx. Parameterized Intractability of Even Set and Shortest Vector Problem
0 -- 0Yun Zeng, Jian Tan, Cathy H. Xia. Fork and Join Queueing Networks with Heavy Tails: Scaling Dimension and Throughput Limit
0 -- 0Maksymilian Mika, Marek Szykula. The Frobenius and Factor Universality Problems of the Kleene Star of a Finite Set of Words
0 -- 0Yi-Jun Chang, Seth Pettie, Thatchaphol Saranurak, Hengjie Zhang. Near-optimal Distributed Triangle Enumeration via Expander Decompositions
0 -- 0Mahdi Boroujeni, Soheil Ehsani, Mohammad Ghodsi, MohammadTaghi Hajiaghayi, Saeed Seddighin. Approximating Edit Distance in Truly Subquadratic Time: Quantum and MapReduce
0 -- 0Yannai A. Gonczarowski, S. Matthew Weinberg. The Sample Complexity of Up-to-ε Multi-dimensional Revenue Maximization
0 -- 0Éva Tardos. Invited Article Foreword
0 -- 0Nico Döttling, Sanjam Garg. Identity-based Encryption from the Diffie-Hellman Assumption

Volume 68, Issue 2

0 -- 0Marthe Bonamy, Édouard Bonnet, Nicolas Bousquet, Pierre Charbit, Panos Giannopoulos, Eun Jung Kim 0002, Pawel Rzazewski, Florian Sikora, Stéphan Thomassé. EPTAS and Subexponential Algorithm for Maximum Clique on Disk and Unit Ball Graphs
0 -- 0Shaddin Dughmi, Jason D. Hartline, Robert D. Kleinberg, Rad Niazadeh. Bernoulli Factories and Black-box Reductions in Mechanism Design
0 -- 0Artur Czumaj, Peter Davies. Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks
0 -- 0Chi Jin, Praneeth Netrapalli, Rong Ge 0001, Sham M. Kakade, Michael I. Jordan. On Nonconvex Optimization for Machine Learning: Gradients, Stochasticity, and Saddle Points
0 -- 0Iddo Tzameret, Stephen A. Cook. Uniform, Integral, and Feasible Proofs for the Determinant Identities
0 -- 0Éva Tardos. Invited Articles Foreword
0 -- 0Ronald Cramer, Léo Ducas, Benjamin Wesolowski. Mildly Short Vectors in Cyclotomic Ideal Lattices in Quantum Polynomial Time

Volume 68, Issue 1

0 -- 0Wojciech Czerwinski, Slawomir Lasota 0001, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki. The Reachability Problem for Petri Nets Is Not Elementary
0 -- 0Leszek Gasieniec, Grzegorz Stachowiak. Enhanced Phase Clocks, Population Protocols, and Fast Space Optimal Leader Election
0 -- 0Nicolas Tabareau, Éric Tanter, Matthieu Sozeau. The Marriage of Univalence and Parametricity
0 -- 0Andrzej S. Murawski, Nikos Tzevelekos. Game Semantics for Interface Middleweight Java
0 -- 0Éva Tardos. Invited Article Foreword
0 -- 0Michael B. Cohen, Yin Tat Lee, Zhao Song 0002. Solving Linear Programs in the Current Matrix Multiplication Time
0 -- 0Johan Håstad. On Small-depth Frege Proofs for Tseitin for Grids