Follow
Or Meir
Or Meir
Associate Professor of Computer Science, University of Haifa
Verified email at cs.haifa.ac.il - Homepage
Title
Cited by
Cited by
Year
High-Rate Locally Correctable and Locally Testable Codes with Sub-Polynomial Query Complexity
S Kopparty, O Meir, N Ron-Zewi, S Saraf
Journal of the ACM (JACM) 64 (2), 11, 2017
93*2017
Combinatorial construction of locally testable codes
O Meir
Proceedings of the fortieth annual ACM symposium on Theory of computing, 285-294, 2008
642008
Toward better formula lower bounds: An information complexity approach to the KRW composition conjecture
D Gavinsky, O Meir, O Weinstein, A Wigderson
Proceedings of the 46th Annual ACM Symposium on Theory of Computing, 213-222, 2014
55*2014
Toward the KRW composition conjecture: Cubic formula lower bounds via communication complexity
I Dinur, O Meir
computational complexity 27 (3), 375-462, 2018
532018
IP= PSPACE using error-correcting codes
O Meir
SIAM Journal on Computing 42 (1), 380-403, 2013
402013
Query-to-Communication Lifting Using Low-Discrepancy Gadgets
A Chattopadhyay, Y Filmus, S Koroth, O Meir, T Pitassi
39*2019
Constant rate PCPs for circuit-SAT with sublinear query complexity
E Ben-Sasson, Y Kaplan, S Kopparty, O Meir, H Stichtenoth
Journal of the ACM (JACM) 63 (4), 32, 2016
352016
Combinatorial PCPs with efficient verifiers
O Meir
computational complexity 23 (3), 355-478, 2014
33*2014
Derandomized parallel repetition via structured PCPs
I Dinur, O Meir
computational complexity 20, 207-327, 2011
33*2011
The tensor product of two good codes is not necessarily robustly testable
O Goldreich, O Meir
Information Processing Letters 112 (8-9), 351-355, 2012
30*2012
Lifting with simple gadgets and applications to circuit and proof complexity
S De Rezende, O Meir, J Nordström, T Pitassi, R Robere, M Vinyals
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 24-30, 2020
262020
Combinatorial PCPs with short proofs
O Meir
computational complexity 25 (1), 1-102, 2016
222016
Improved composition theorems for functions and relations
S Koroth, O Meir
Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2018
162018
KRW composition theorems via lifting
SF De Rezende, O Meir, J Nordström, T Pitassi, R Robere
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 43-49, 2020
152020
Toward better depth lower bounds: Two results on the multiplexor relation
O Meir
computational complexity 29 (1), 4, 2020
142020
Prediction from partial information and hindsight, with application to circuit lower bounds
O Meir, A Wigderson
computational complexity 28 (2), 145-183, 2019
122019
On the rectangle method in proofs of robustness of tensor products
O Meir
Information Processing Letters 112 (6), 257-260, 2012
12*2012
Nullstellensatz size-degree trade-offs from reversible pebbling
SF De Rezende, O Meir, J Nordström, R Robere
computational complexity 30, 1-45, 2021
102021
Input-oblivious proof systems and a uniform complexity perspective on P/poly
O Goldreich, O Meir
ACM Transactions on Computation Theory (TOCT) 7 (4), 16, 2015
72015
Shrinkage under random projections, and cubic formula lower bounds for AC0
Y Filmus, O Meir, A Tal
12th Innovations in Theoretical Computer Science Conference (ITCS 2021), 2021
62021
The system can't perform the operation now. Try again later.
Articles 1–20