Justin Thaler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
21
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CRYPTO | Twist and Shout: Faster Memory Checking Arguments via One-Hot Addressing and Increments. | Srinath Setty, Justin Thaler, Michael Zhu |
| 2026 | EuroCrypt | Sum-Check Protocol for Approximate Computations. | Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler |
| 2025 | FC | Verifying Jolt zkVM Lookup Semantics. | Carl Kwan, Quang Dao, Justin Thaler |
| 2025 | TCC | SNARK Lower Bounds via Communication Complexity. | Rishabh Bhadauria, Alexander R. Block, Prantar Ghosh, Justin Thaler |
| 2024 | CRYPTO | Field-Agnostic SNARKs from Expand-Accumulate Codes. | Alexander R. Block, Zhiyong Fang, Jonathan Katz, Justin Thaler, Hendrik Waldner, Yupeng Zhang |
| 2024 | EuroCrypt | Jolt: SNARKs for Virtual Machines via Lookups. | Arasu Arun, Srinath T. V. Setty, Justin Thaler |
| 2024 | EuroCrypt | Unlocking the Lookup Singularity with Lasso. | Srinath T. V. Setty, Justin Thaler, Riad S. Wahby |
| 2023 | ASIACRYPT | Fiat-Shamir Security of FRI and Related SNARKs. | Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac |
| 2023 | CRYPTO | Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. | Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby |
| 2021 | PODS | Relative Error Streaming Quantiles. | Graham Cormode, Zohar S. Karnin, Edo Liberty, Justin Thaler, Pavel Vesel |
| 2019 | ICALP | Sign-Rank Can Increase Under Intersection. | Mark Bun, Nikhil S. Mande, Justin Thaler |
| 2019 | SODA | Quantum algorithms and approximating polynomials for composed functions with shared inputs. | Mark Bun, Robin Kothari, Justin Thaler |
| 2018 | STOC | The polynomial method strikes back: tight quantum query bounds via dual polynomials. | Mark Bun, Robin Kothari, Justin Thaler |
| 2018 | SP | Doubly-Efficient zkSNARKs Without Trusted Setup. | Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish |
| 2017 | ALENEX | Determining Tournament Payout Structures for Daily Fantasy Sports. | Christopher Musco, Maxim Sviridenko, Justin Thaler |
| 2017 | CCS | Full Accounting for Verifiable Outsourcing. | Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies |
| 2017 | COLT | Reliably Learning the ReLU in Polynomial Time. | Surbhi Goel, Varun Kanade, Adam R. Klivans, Justin Thaler |
| 2017 | FOCS | On the Power of Statistical Zero Knowledge. | Adam Bouland, Lijie Chen, Dhiraj Holden, Justin Thaler, Prashant Nalini Vasudevan |
| 2017 | FOCS | A Nearly Optimal Lower Bound on the Approximate Degree of AC | Mark Bun, Justin Thaler |
| 2017 | IMC | A high-performance algorithm for identifying frequent items in data streams. | Daniel Anderson, Pryce Bevan, Kevin J. Lang, Edo Liberty, Lee Rhodes, Justin Thaler |
| 2016 | ICALP | Improved Bounds on the Sign-Rank of AC^0. | Mark Bun, Justin Thaler |
| 2016 | ICALP | Lower Bounds for the Approximate Degree of Block-Composed Functions. | Justin Thaler |
| 2016 | ICALP | Semi-Streaming Algorithms for Annotated Graph Streams. | Justin Thaler |
| 2016 | ICDT | A Framework for Estimating Stream Expression Cardinalities. | Anirban Dasgupta, Kevin J. Lang, Lee Rhodes, Justin Thaler |
| 2016 | PODS | Space Lower Bounds for Itemset Frequency Sketches. | Edo Liberty, Michael Mitzenmacher, Justin Thaler, Jonathan R. Ullman |
| 2015 | COLT | Variable Selection is Hard. | Dean P. Foster, Howard J. Karloff, Justin Thaler |
| 2015 | ICALP | Hardness Amplification and the Approximate Degree of Constant-Depth Circuits. | Mark Bun, Justin Thaler |
| 2015 | ISAAC | Streaming Verification in Data Analysis. | Samira Daruki, Justin Thaler, Suresh Venkatasubramanian |
| 2014 | COLT | Distribution-independent Reliable Learning. | Varun Kanade, Justin Thaler |
| 2014 | SODA | Annotations for Sparse Data Streams. | Amit Chakrabarti, Graham Cormode, Navin Goyal, Justin Thaler |
| 2014 | SPAA | Parallel peeling algorithms. | Jiayang Jiang, Michael Mitzenmacher, Justin Thaler |
| 2013 | CRYPTO | Time-Optimal Interactive Proofs for Circuit Evaluation. | Justin Thaler |
| 2013 | ICALP | Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities. | Mark Bun, Justin Thaler |
| 2012 | ALENEX | Hierarchical Heavy Hitters with the Space Saving Algorithm. | Justin Thaler, Michael Mitzenmacher, Thomas Steinke |
| 2012 | ICALP | Faster Algorithms for Privately Releasing Marginals. | Justin Thaler, Jonathan R. Ullman, Salil P. Vadhan |
| 2012 | ISIT | Continuous time channels with interference. | Ioana Ivan, Michael Mitzenmacher, Justin Thaler, Henry S. Yuen |
| 2011 | ISAAC | External-Memory Multimaps. | Elaine Angelino, Michael T. Goodrich, Michael Mitzenmacher, Justin Thaler |
| 2011 | ITA | On the zero-error capacity threshold for deletion channels. | Ian A. Kash, Michael Mitzenmacher, Justin Thaler, Jonathan R. Ullman |
| 2010 | ESA | Streaming Graph Computations with a Helpful Advisor. | Graham Cormode, Michael Mitzenmacher, Justin Thaler |