Justin Thaler
TitleCited byYear
Practical verified computation with streaming interactive proofs
G Cormode, M Mitzenmacher, J Thaler
Proceedings of the 3rd Innovations in Theoretical Computer Science …, 2012
1682012
Time-optimal interactive proofs for circuit evaluation
J Thaler
Annual Cryptology Conference, 71-89, 2013
1062013
Verifiable Computation with Massively Parallel Interactive Proofs.
J Thaler, M Roberts, M Mitzenmacher, H Pfister
HotCloud, 2012
712012
Faster algorithms for privately releasing marginals
J Thaler, J Ullman, S Vadhan
International Colloquium on Automata, Languages, and Programming, 810-821, 2012
632012
Verifying computations with streaming interactive proofs
G Cormode, J Thaler, K Yi
Proceedings of the VLDB Endowment 5 (1), 25-36, 2011
592011
Reliably learning the relu in polynomial time
S Goel, V Kanade, A Klivans, J Thaler
arXiv preprint arXiv:1611.10258, 2016
512016
Dual lower bounds for approximate degree and Markov–Bernstein inequalities
M Bun, J Thaler
Information and Computation 243, 2-25, 2015
392015
Streaming graph computations with a helpful advisor
G Cormode, M Mitzenmacher, J Thaler
Algorithmica 65 (2), 409-442, 2013
362013
Doubly-efficient zkSNARKs without trusted setup
RS Wahby, I Tzialla, A Shelat, J Thaler, M Walfish
2018 IEEE Symposium on Security and Privacy (SP), 926-943, 2018
332018
Faster private release of marginals on small databases
K Chandrasekaran, J Thaler, J Ullman, A Wan
Proceedings of the 5th conference on Innovations in theoretical computer …, 2014
322014
Full accounting for verifiable outsourcing
RS Wahby, Y Ji, AJ Blumberg, A Shelat, J Thaler, M Walfish, T Wies
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
302017
Hierarchical heavy hitters with the space saving algorithm
M Mitzenmacher, T Steinke, J Thaler
2012 Proceedings of the Fourteenth Workshop on Algorithm Engineering and …, 2012
302012
Verifiable Stream Computation and Arthur--Merlin Communication
A Chakrabarti, G Cormode, A McGregor, J Thaler, S Venkatasubramanian
SIAM Journal on Computing 48 (4), 1265-1299, 2019
27*2019
Hardness amplification and the approximate degree of constant-depth circuits
M Bun, J Thaler
International Colloquium on Automata, Languages, and Programming, 268-280, 2015
272015
Annotations in data streams
A Chakrabarti, G Cormode, A McGregor, J Thaler
ACM Transactions on Algorithms (TALG) 11 (1), 7, 2014
252014
Parallel peeling algorithms
J Jiang, M Mitzenmacher, J Thaler
ACM Transactions on Parallel Computing (TOPC) 3 (1), 7, 2016
242016
The polynomial method strikes back: Tight quantum query bounds via dual polynomials
M Bun, R Kothari, J Thaler
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing …, 2018
232018
Variable selection is hard
D Foster, H Karloff, J Thaler
Conference on Learning Theory, 696-709, 2015
212015
Semi-streaming algorithms for annotated graph streams
J Thaler
arXiv preprint arXiv:1407.3462, 2014
212014
Attribute-Efficient Learning and Weight-Degree Tradeoffs for Polynomial Threshold Functions.
RA Servedio, LY Tan, J Thaler
COLT 23, 14.1-14.19, 2012
212012
The system can't perform the operation now. Try again later.
Articles 1–20