Journal: Journal of the ACM

Volume 60, Issue 6

40 -- 0Ran Raz. Tensor-Rank and Lower Bounds for Arithmetic Formulas
41 -- 0Frédéric Chazal, Leonidas J. Guibas, Steve Y. Oudot, Primoz Skraba. Persistence-Based Clustering in Riemannian Manifolds
42 -- 0Dániel Marx. Tractable Hypergraph Properties for Constraint Satisfaction and Conjunctive Queries
43 -- 0Vadim Lyubashevsky, Chris Peikert, Oded Regev. On Ideal Lattices and Learning with Errors over Rings
44 -- 0Omar Fawzi, Patrick Hayden, Pranab Sen. From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking
45 -- 0Christopher J. Hillar, Lek-Heng Lim. Most Tensor Problems Are NP-Hard

Volume 60, Issue 5

30 -- 0Victor Vianu. Editorial: JACM redux
31 -- 0Ho Yee Cheung, Tsz Chiu Kwok, Lap Chi Lau. Fast matrix rank algorithms and applications
32 -- 0Andrei A. Bulatov, Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum, Colin McQuillan. The expressibility of functions on the boolean domain, with applications to counting CSPs
33 -- 0Nitin Saxena, C. Seshadhri. From sylvester-gallai configurations to rank bounds: Improved blackbox identity test for depth-3 circuits
34 -- 0Andrei A. Bulatov. The complexity of the counting constraint satisfaction problem
35 -- 0Pierre Fraigniaud, Amos Korman, David Peleg. Towards a complexity theory for local distributed computing
36 -- 0Zdenek Dvorak, Daniel Král, Robin Thomas. Testing first-order properties for subclasses of sparse graphs
37 -- 0Phokion G. Kolaitis, Swastik Kopparty. Random graphs and the parity quantifier
38 -- 0Victor Vianu. Invited article foreword
39 -- 0Mika Göös, Juho Hirvonen, Jukka Suomela. Lower bounds for local approximation

Volume 60, Issue 4

23 -- 0Guillem Godoy, Omer Giménez. The HOM problem is decidable
24 -- 0Georg Gottlob, Gianluigi Greco. Decomposing combinatorial auctions and set packing problems
25 -- 0Noga Alon, Raphael Yuster. Matrix sparsification and nested dissection over arbitrary fields
26 -- 0Yuval Peres, Dmitry Sotnikov, Benny Sudakov, Uri Zwick. 2) time with high probability
27 -- 0Victor Vianu. Invited articles foreword
28 -- 0Marcelo Arenas, Jorge Pérez 0001, Juan L. Reutter. Data exchange beyond complete data
29 -- 0James Laird. Game semantics for a polymorphic programming language

Volume 60, Issue 3

16 -- 0Michael Drmota, Wojciech Szpankowski. A Master Theorem for Discrete Divide and Conquer Recurrences
17 -- 0Navin Goyal, Neil Olver, F. Bruce Shepherd. The VPN Conjecture Is True
18 -- 0Anindya Banerjee, David A. Naumann, Stan Rosenberg. Local Reasoning for Global Invariants, Part I: Region Logic
19 -- 0Anindya Banerjee, David A. Naumann. Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
20 -- 0Naoki Kobayashi 0001. Model Checking Higher-Order Programs
21 -- 0Victor Vianu. Invited Article Foreword
22 -- 0Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency

Volume 60, Issue 2

7 -- 0Spyros Angelopoulos, Pascal Schweitzer. Paging and list update under bijective analysis
8 -- 0Maria-Florina Balcan, Avrim Blum, Anupam Gupta. Clustering under approximation stability
9 -- 0Leonid A. Levin. Forbidden information
10 -- 0Vladimir Kolmogorov, Stanislav Zivny. The complexity of conservative valued CSPs
11 -- 0Chryssis Georgiou, Seth Gilbert, Rachid Guerraoui, Dariusz R. Kowalski. Asynchronous gossip
12 -- 0Avrim Blum, Katrina Ligett, Aaron Roth. A learning theory approach to noninteractive database privacy
13 -- 0C. Seshadhri, Ali Pinar, Tamara G. Kolda. An in-depth analysis of stochastic Kronecker graphs
14 -- 0Victor Vianu. Invited article foreword
15 -- 0Tom J. Ameloot, Frank Neven, Jan Van den Bussche. Relational transducers for declarative networking

Volume 60, Issue 1

1 -- 0Thomas Dueholm Hansen, Peter Bro Miltersen, Uri Zwick. Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor
2 -- 0Atish Das Sarma, Danupon Nanongkai, Gopal Pandurangan, Prasad Tetali. Distributed Random Walks
3 -- 0Aram Wettroth Harrow, Ashley Montanaro. Testing Product States, Quantum Merlin-Arthur Games and Tensor Optimization
4 -- 0Tugkan Batu, Lance Fortnow, Ronitt Rubinfeld, Warren D. Smith, Patrick White. Testing Closeness of Discrete Distributions
5 -- 0Victor Vianu. Invited Article Foreword
6 -- 0Jaroslaw Byrka, Fabrizio Grandoni, Thomas Rothvoß, Laura Sanità. Steiner Tree Approximation via Iterative Randomized Rounding