Justin Thaler

166 papers A* 18A 10B 4Misc 1Journal 110Unranked 22
YearRankTypeTitle / Venue / Authors
2025 J jnl
Proving CPU Executions in Small Space.
IACR Cryptol. ePrint Arch.
Vineet Nair, Justin Thaler, Michael Zhu
2025 — conf
SNARK Lower Bounds via Communication Complexity.
TCC (1)
Rishabh Bhadauria, Alexander R. Block, Prantar Ghosh, Justin Thaler
2025 J jnl
SNARK Lower Bounds via Communication Complexity.
IACR Cryptol. ePrint Arch.
Rishabh Bhadauria, Alexander R. Block, Prantar Ghosh, Justin Thaler
2025 J jnl
Speeding Up Sum-Check Proving.
IACR Cryptol. ePrint Arch.
Suyash Bagad, Quang Dao, Yuval Domb, Justin Thaler
2025 J jnl
Sum-check Is All You Need: An Opinionated Survey on Fast Provers in SNARK Design.
IACR Cryptol. ePrint Arch.
Justin Thaler
2025 J jnl
Sum-check protocol for approximate computations.
IACR Cryptol. ePrint Arch.
Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler
2025 J jnl
Twist and Shout: Faster memory checking arguments via one-hot addressing and increments.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler
2025 A conf
Verifying Jolt zkVM Lookup Semantics.
FC
Carl Kwan, Quang Dao, Justin Thaler
2024 J jnl
Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields.
IACR Cryptol. ePrint Arch.
Quang Dao, Justin Thaler
2024 — conf
Field-Agnostic SNARKs from Expand-Accumulate Codes.
CRYPTO (10)
Alexander R. Block, Zhiyong Fang, Jonathan Katz, Justin Thaler, Hendrik Waldner, Yupeng Zhang
2024 J jnl
Field-Agnostic SNARKs from Expand-Accumulate Codes.
IACR Cryptol. ePrint Arch.
Alexander R. Block, Zhiyong Fang, Jonathan Katz, Justin Thaler, Hendrik Waldner, Yupeng Zhang
2024 — conf
Jolt: SNARKs for Virtual Machines via Lookups.
EUROCRYPT (6)
Arasu Arun, Srinath T. V. Setty, Justin Thaler
2024 J jnl
More Optimizations to Sum-Check Proving.
IACR Cryptol. ePrint Arch.
Quang Dao, Justin Thaler
2024 J jnl
The Sum-Check Protocol over Fields of Small Characteristic.
IACR Cryptol. ePrint Arch.
Suyash Bagad, Yuval Domb, Justin Thaler
2024 — conf
Unlocking the Lookup Singularity with Lasso.
EUROCRYPT (6)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2024 J jnl
Verifying Jolt zkVM Lookup Semantics.
IACR Cryptol. ePrint Arch.
Carl Kwan, Quang Dao, Justin Thaler
2023 J jnl
BabySpartan: Lasso-based SNARK for non-uniform computation.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler
2023 — conf
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.
CRYPTO (2)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023 J jnl
Customizable constraint systems for succinct arguments.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023 — conf
Fiat-Shamir Security of FRI and Related SNARKs.
ASIACRYPT (2)
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac
2023 J jnl
Fiat-Shamir Security of FRI and Related SNARKs.
IACR Cryptol. ePrint Arch.
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac
2023 J jnl
Jolt: SNARKs for Virtual Machines via Lookups.
IACR Cryptol. ePrint Arch.
Arasu Arun, Srinath T. V. Setty, Justin Thaler
2023 J jnl
Relative Error Streaming Quantiles.
J. ACM
Graham Cormode, Zohar S. Karnin, Edo Liberty, Justin Thaler, Pavel Veselý
2023 J jnl
Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Nicolas Gailly, Rosario Gennaro, Philipp Jovanovic, Mara Mihali, Justin Thaler
2023 J jnl
Unlocking the lookup singularity with Lasso.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023 — conf
sfTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
LATINCRYPT
Matteo Campanelli, Nicolas Gailly, Rosario Gennaro, Philipp Jovanovic, Mara Mihali, Justin Thaler
2022 J jnl
(Nearly) All Cardinality Estimators Are Differentially Private.
CoRR
Charlie Dickens, Justin Thaler, Daniel Ting
2022 J jnl
Approximate Degree in Classical and Quantum Computing.
Found. Trends Theor. Comput. Sci.
Mark Bun, Justin Thaler
2022 A* conf
Order-Invariant Cardinality Estimators Are Differentially Private.
NeurIPS
Charlie Dickens, Justin Thaler, Daniel Ting
2022 J jnl
Proofs, Arguments, and Zero-Knowledge.
Found. Trends Priv. Secur.
Justin Thaler
2022 J jnl
Quantum Proofs of Proximity.
Quantum
Marcel Dall'Agnol, Tom Gur, Subhayan Roy Moulik, Justin Thaler
2022 J jnl
Relative Error Streaming Quantiles.
SIGMOD Rec.
Graham Cormode, Zohar S. Karnin, Edo Liberty, Justin Thaler, Pavel Veselý
2021 J jnl
Brakedown: Linear-time and post-quantum SNARKs for R1CS.
IACR Cryptol. ePrint Arch.
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021 J jnl
Linear-time zero-knowledge SNARKs for R1CS.
IACR Cryptol. ePrint Arch.
Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021 J jnl
Quantum Proofs of Proximity.
CoRR
Marcel de Sena Dall'Agnol, Tom Gur, Subhayan Roy Moulik, Justin Thaler
2021 J jnl
Quantum Proofs of Proximity.
Electron. Colloquium Comput. Complex.
Marcel de Sena Dall'Agnol, Tom Gur, Subhayan Roy Moulik, Justin Thaler
2021 J jnl
Quantum algorithms and approximating polynomials for composed functions with shared inputs.
Quantum
Mark Bun, Robin Kothari, Justin Thaler
2021 A* conf
Relative Error Streaming Quantiles.
PODS
Graham Cormode, Zohar S. Karnin, Edo Liberty, Justin Thaler, Pavel Veselý
2021 J jnl
Sign-rank Can Increase under Intersection.
ACM Trans. Comput. Theory
Mark Bun, Nikhil S. Mande, Justin Thaler
2021 J jnl
The Large-Error Approximate Degree of AC
Theory Comput.
Mark Bun, Justin Thaler
2020 J jnl
A Nearly Optimal Lower Bound on the Approximate Degree of AC
SIAM J. Comput.
Mark Bun, Justin Thaler
2020 A conf
Ad Hoc Multi-Input Functional Encryption.
ITCS
Shweta Agrawal, Michael Clear, Ophir Frieder, Sanjam Garg, Adam O'Neill, Justin Thaler
2020 J jnl
Guest Column: Approximate Degree in Classical and Quantum Computing.
SIGACT News
Mark Bun, Justin Thaler
2020 — conf
Hybrid Approach to HPC Cluster Telemetry and Hardware Log Analytics.
HPEC
Justin Thaler, Woong Shin, Steven Roberts, James H. Rogers, Todd Rosedahl
2020 J jnl
Improved Approximate Degree Bounds For $k$-distinctness.
Electron. Colloquium Comput. Complex.
Nikhil S. Mande, Justin Thaler, Shuchen Zhu
2020 J jnl
Improved Approximate Degree Bounds For k-distinctness.
CoRR
Nikhil S. Mande, Justin Thaler, Shuchen Zhu
2020 — conf
Improved Approximate Degree Bounds for k-Distinctness.
TQC
Nikhil S. Mande, Justin Thaler, Shuchen Zhu
2020 J jnl
On the Power of Statistical Zero Knowledge.
SIAM J. Comput.
Adam Bouland, Lijie Chen, Dhiraj Holden, Justin Thaler, Prashant Nalini Vasudevan
2020 A conf
Quantum Lower Bounds for Approximate Counting via Laurent Polynomials.
CCC
Scott Aaronson, Robin Kothari, William Kretschmer, Justin Thaler
2020 J jnl
Relative Error Streaming Quantiles.
CoRR
Graham Cormode, Zohar S. Karnin, Edo Liberty, Justin Thaler, Pavel Veselý
2020 — conf
Streaming Verification for Graph Problems: Optimal Tradeoffs and Nonlinear Sketches.
APPROX-RANDOM
Amit Chakrabarti, Prantar Ghosh, Justin Thaler
2020 J jnl
Streaming Verification for Graph Problems: Optimal Tradeoffs and Nonlinear Sketches.
CoRR
Amit Chakrabarti, Prantar Ghosh, Justin Thaler
2020 J jnl
Streaming Verification for Graph Problems: Optimal Tradeoffs and Nonlinear Sketches.
Electron. Colloquium Comput. Complex.
Amit Chakrabarti, Prantar Ghosh, Justin Thaler
2020 J jnl
The Polynomial Method Strikes Back: Tight Quantum Query Bounds via Dual Polynomials.
Theory Comput.
Mark Bun, Robin Kothari, Justin Thaler
2019 J jnl
Ad Hoc Multi-Input Functional Encryption.
IACR Cryptol. ePrint Arch.
Shweta Agrawal, Michael Clear, Ophir Frieder, Sanjam Garg, Adam O'Neill, Justin Thaler
2019 — conf
Approximate Degree, Secret Sharing, and Concentration Phenomena.
APPROX-RANDOM
Andrej Bogdanov, Nikhil S. Mande, Justin Thaler, Christopher Williamson
2019 J jnl
Approximate degree, secret sharing, and concentration phenomena.
CoRR
Andrej Bogdanov, Nikhil S. Mande, Justin Thaler, Christopher Williamson
2019 J jnl
Approximate degree, secret sharing, and concentration phenomena.
Electron. Colloquium Comput. Complex.
Andrej Bogdanov, Nikhil S. Mande, Justin Thaler, Christopher Williamson
2019 J jnl
Quantum Lower Bounds for Approximate Counting via Laurent Polynomials.
CoRR
Scott Aaronson, Robin Kothari, William Kretschmer, Justin Thaler
2019 J jnl
Quantum Lower Bounds for Approximate Counting via Laurent Polynomials.
Electron. Colloquium Comput. Complex.
Scott Aaronson, Robin Kothari, William Kretschmer, Justin Thaler
2019 A* conf
Quantum algorithms and approximating polynomials for composed functions with shared inputs.
SODA
Mark Bun, Robin Kothari, Justin Thaler
2019 A* conf
Sign-Rank Can Increase Under Intersection.
ICALP
Mark Bun, Nikhil S. Mande, Justin Thaler
2019 J jnl
Sign-Rank Can Increase Under Intersection.
CoRR
Mark Bun, Nikhil S. Mande, Justin Thaler
2019 J jnl
Sign-Rank Can Increase Under Intersection.
Electron. Colloquium Comput. Complex.
Mark Bun, Nikhil S. Mande, Justin Thaler
2019 — conf
The Large-Error Approximate Degree of AC
APPROX-RANDOM
Mark Bun, Justin Thaler
2019 J jnl
Vanishing-Error Approximate Degree and QMA Complexity.
CoRR
Alexander A. Sherstov, Justin Thaler
2019 J jnl
Vanishing-Error Approximate Degree and QMA Complexity.
Electron. Colloquium Comput. Complex.
Alexander A. Sherstov, Justin Thaler
2019 J jnl
Verifiable Stream Computation and Arthur-Merlin Communication.
SIAM J. Comput.
Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler, Suresh Venkatasubramanian
2018 — conf
Approximate Degree and the Complexity of Depth Three Circuits.
APPROX-RANDOM
Mark Bun, Justin Thaler
2018 A* conf
Doubly-Efficient zkSNARKs Without Trusted Setup.
IEEE Symposium on Security and Privacy
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
2018 J jnl
Quantum algorithms and approximating polynomials for composed functions with shared inputs.
CoRR
Mark Bun, Robin Kothari, Justin Thaler
2018 J jnl
Quantum algorithms and approximating polynomials for composed functions with shared inputs.
Electron. Colloquium Comput. Complex.
Mark Bun, Robin Kothari, Justin Thaler
2018 J jnl
The Large-Error Approximate Degree of AC
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2018 A* conf
The polynomial method strikes back: tight quantum query bounds via dual polynomials.
STOC
Mark Bun, Robin Kothari, Justin Thaler
2017 J jnl
A High-Performance Algorithm for Identifying Frequent Items in Data Streams.
CoRR
Daniel Anderson, Pryce Bevan, Kevin J. Lang, Edo Liberty, Lee Rhodes, Justin Thaler
2017 A* conf
A Nearly Optimal Lower Bound on the Approximate Degree of AC
FOCS
Mark Bun, Justin Thaler
2017 J jnl
A Nearly Optimal Lower Bound on the Approximate Degree of AC
CoRR
Mark Bun, Justin Thaler
2017 J jnl
A Nearly Optimal Lower Bound on the Approximate Degree of AC
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2017 A conf
A high-performance algorithm for identifying frequent items in data streams.
Internet Measurement Conference
Daniel Anderson, Pryce Bevan, Kevin J. Lang, Edo Liberty, Lee Rhodes, Justin Thaler
2017 A conf
Determining Tournament Payout Structures for Daily Fantasy Sports.
ALENEX
Christopher Musco, Maxim Sviridenko, Justin Thaler
2017 J jnl
Doubly-efficient zkSNARKs without trusted setup.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
2017 A* conf
Full Accounting for Verifiable Outsourcing.
CCS
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
2017 J jnl
Full accounting for verifiable outsourcing.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
2017 A* conf
On the Power of Statistical Zero Knowledge.
FOCS
Adam Bouland, Lijie Chen, Dhiraj Holden, Justin Thaler, Prashant Nalini Vasudevan
2017 A* conf
Reliably Learning the ReLU in Polynomial Time.
COLT
Surbhi Goel, Varun Kanade, Adam R. Klivans, Justin Thaler
2017 J jnl
The Polynomial Method Strikes Back: Tight Quantum Query Bounds via Dual Polynomials.
CoRR
Mark Bun, Robin Kothari, Justin Thaler
2017 J jnl
The Polynomial Method Strikes Back: Tight Quantum Query Bounds via Dual Polynomials.
Electron. Colloquium Comput. Complex.
Mark Bun, Robin Kothari, Justin Thaler
2016 A conf
A Framework for Estimating Stream Expression Cardinalities.
ICDT
Anirban Dasgupta, Kevin J. Lang, Lee Rhodes, Justin Thaler
2016 J jnl
Approximate Degree and the Complexity of Depth Three Circuits.
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2016 — ch.
Data Stream Verification.
Encyclopedia of Algorithms
Justin Thaler
2016 J jnl
Determining Tournament Payout Structures for Daily Fantasy Sports.
CoRR
Christopher Musco, Maxim Sviridenko, Justin Thaler
2016 J jnl
Dual Polynomials for Collision and Element Distinctness.
Theory Comput.
Mark Bun, Justin Thaler
2016 J jnl
Improved Bounds on the Sign-Rank of AC
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2016 A* conf
Improved Bounds on the Sign-Rank of AC^0.
ICALP
Mark Bun, Justin Thaler
2016 A* conf
Lower Bounds for the Approximate Degree of Block-Composed Functions.
ICALP
Justin Thaler
2016 J jnl
On SZK and PP.
CoRR
Adam Bouland, Lijie Chen, Dhiraj Holden, Justin Thaler, Prashant Nalini Vasudevan
2016 J jnl
On SZK and PP.
Electron. Colloquium Comput. Complex.
Adam Bouland, Lijie Chen, Dhiraj Holden, Justin Thaler, Prashant Nalini Vasudevan
2016 J jnl
Parallel Peeling Algorithms.
ACM Trans. Parallel Comput.
Jiayang Jiang, Michael Mitzenmacher, Justin Thaler
2016 J jnl
Reliably Learning the ReLU in Polynomial Time.
CoRR
Surbhi Goel, Varun Kanade, Adam R. Klivans, Justin Thaler
2016 A* conf
Semi-Streaming Algorithms for Annotated Graph Streams.
ICALP
Justin Thaler
2016 A* conf
Space Lower Bounds for Itemset Frequency Sketches.
PODS
Edo Liberty, Michael Mitzenmacher, Justin Thaler, Jonathan R. Ullman
2016 J jnl
Technical Perspective: Catching lies (and mistakes) in offloaded computation.
Commun. ACM
Michael Mitzenmacher, Justin Thaler
2015 J jnl
A Framework for Estimating Stream Expression Cardinalities.
CoRR
Anirban Dasgupta, Kevin J. Lang, Lee Rhodes, Justin Thaler
2015 J jnl
Dual Polynomials for Collision and Element Distinctness.
CoRR
Mark Bun, Justin Thaler
2015 J jnl
Dual Polynomials for Collision and Element Distinctness.
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2015 J jnl
Dual lower bounds for approximate degree and Markov-Bernstein inequalities.
Inf. Comput.
Mark Bun, Justin Thaler
2015 — conf
Hardness Amplification and the Approximate Degree of Constant-Depth Circuits.
ICALP (1)
Mark Bun, Justin Thaler
2015 J jnl
Stream Verification.
CoRR
Justin Thaler
2015 B conf
Streaming Verification in Data Analysis.
ISAAC
Samira Daruki, Justin Thaler, Suresh Venkatasubramanian
2015 J jnl
Streaming Verification in Data Analysis.
CoRR
Samira Daruki, Justin Thaler, Suresh Venkatasubramanian
2015 A* conf
Variable Selection is Hard.
COLT
Dean P. Foster, Howard J. Karloff, Justin Thaler
2015 A conf
Verifiable Stream Computation and Arthur-Merlin Communication.
CCC
Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler, Suresh Venkatasubramanian
2014 A* conf
Annotations for Sparse Data Streams.
SODA
Amit Chakrabarti, Graham Cormode, Navin Goyal, Justin Thaler
2014 J jnl
Annotations in Data Streams.
ACM Trans. Algorithms
Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler
2014 J jnl
Distribution-Independent Reliable Learning.
CoRR
Varun Kanade, Justin Thaler
2014 A* conf
Distribution-independent Reliable Learning.
COLT
Varun Kanade, Justin Thaler
2014 A conf
Faster private release of marginals on small databases.
ITCS
Karthekeyan Chandrasekaran, Justin Thaler, Jonathan R. Ullman, Andrew Wan
2014 J jnl
Lower Bounds for the Approximate Degree of Block-Composed Functions.
Electron. Colloquium Comput. Complex.
Justin Thaler
2014 B conf
Parallel peeling algorithms.
SPAA
Jiayang Jiang, Michael Mitzenmacher, Justin Thaler
2014 J jnl
Semi-Streaming Algorithms for Annotated Graph Streams.
CoRR
Justin Thaler
2014 J jnl
Semi-Streaming Algorithms for Annotated Graph Streams.
Electron. Colloquium Comput. Complex.
Justin Thaler
2014 J jnl
Space Lower Bounds for Itemset Frequency Sketches.
CoRR
Edo Liberty, Michael Mitzenmacher, Justin Thaler
2014 J jnl
Variable Selection is Hard.
CoRR
Dean P. Foster, Howard J. Karloff, Justin Thaler
2014 J jnl
Verifiable Stream Computation and Arthur-Merlin Communication.
Electron. Colloquium Comput. Complex.
Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler, Suresh Venkatasubramanian
2014 J jnl
Verifiable computation using multiple provers.
IACR Cryptol. ePrint Arch.
Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish
2013 J jnl
Annotations for Sparse Data Streams
CoRR
Amit Chakrabarti, Graham Cormode, Navin Goyal, Justin Thaler
2013 J jnl
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities
CoRR
Mark Bun, Justin Thaler
2013 — conf
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities.
ICALP (1)
Mark Bun, Justin Thaler
2013 J jnl
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities.
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2013 J jnl
External-Memory Multimaps.
Algorithmica
Elaine Angelino, Michael T. Goodrich, Michael Mitzenmacher, Justin Thaler
2013 J jnl
Faster Private Release of Marginals on Small Databases
CoRR
Karthekeyan Chandrasekaran, Justin Thaler, Jonathan R. Ullman, Andrew Wan
2013 J jnl
Hardness Amplification and the Approximate Degree of Constant-Depth Circuits.
CoRR
Mark Bun, Justin Thaler
2013 J jnl
Hardness Amplification and the Approximate Degree of Constant-Depth Circuits.
Electron. Colloquium Comput. Complex.
Mark Bun, Justin Thaler
2013 J jnl
On Interactivity in Arthur-Merlin Communication and Stream Computation.
Electron. Colloquium Comput. Complex.
Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler, Suresh Venkatasubramanian
2013 J jnl
Parallel Peeling Algorithms
CoRR
Jiayang Jiang, Michael Mitzenmacher, Justin Thaler
2013 J jnl
Streaming Graph Computations with a Helpful Advisor.
Algorithmica
Graham Cormode, Michael Mitzenmacher, Justin Thaler
2013 J jnl
Time-Optimal Interactive Proofs for Circuit Evaluation
CoRR
Justin Thaler
2013 — conf
Time-Optimal Interactive Proofs for Circuit Evaluation.
CRYPTO (2)
Justin Thaler
2013 J jnl
Time-Optimal Interactive Proofs for Circuit Evaluation.
IACR Cryptol. ePrint Arch.
Justin Thaler
2012 J jnl
Annotations in Data Streams.
Electron. Colloquium Comput. Complex.
Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler
2012 J jnl
Attribute-Efficient Learning and Weight-Degree Tradeoffs for Polynomial Threshold Functions.
Electron. Colloquium Comput. Complex.
Rocco A. Servedio, Li-Yang Tan, Justin Thaler
2012 A* conf
Attribute-Efficient Learning and Weight-Degree Tradeoffs for Polynomial Threshold Functions.
COLT
Rocco A. Servedio, Li-Yang Tan, Justin Thaler
2012 — conf
Cache-Oblivious Dictionaries and Multimaps with Negligible Failure Probability.
MedAlg
Michael T. Goodrich, Daniel S. Hirschberg, Michael Mitzenmacher, Justin Thaler
2012 J jnl
Continuous Time Channels with Interference
CoRR
Ioana Ivan, Michael Mitzenmacher, Justin Thaler, Henry S. Yuen
2012 B conf
Continuous time channels with interference.
ISIT
Ioana Ivan, Michael Mitzenmacher, Justin Thaler, Henry S. Yuen
2012 J jnl
Faster Algorithms for Privately Releasing Marginals
CoRR
Justin Thaler, Jonathan R. Ullman, Salil P. Vadhan
2012 — conf
Faster Algorithms for Privately Releasing Marginals.
ICALP (1)
Justin Thaler, Jonathan R. Ullman, Salil P. Vadhan
2012 A conf
Hierarchical Heavy Hitters with the Space Saving Algorithm.
ALENEX
Justin Thaler, Michael Mitzenmacher, Thomas Steinke
2012 — conf
Peeling arguments and double hashing.
Allerton Conference
Michael Mitzenmacher, Justin Thaler
2012 A conf
Practical verified computation with streaming interactive proofs.
ITCS
Graham Cormode, Michael Mitzenmacher, Justin Thaler
2012 J jnl
Verifiable Computation with Massively Parallel Interactive Proofs
CoRR
Justin Thaler, Mike Roberts, Michael Mitzenmacher, Hanspeter Pfister
2012 — conf
Verifiable Computation with Massively Parallel Interactive Proofs.
HotCloud
Justin Thaler, Mike Roberts, Michael Mitzenmacher, Hanspeter Pfister
2011 J jnl
External-Memory Multimaps
CoRR
Elaine Angelino, Michael T. Goodrich, Michael Mitzenmacher, Justin Thaler
2011 B conf
External-Memory Multimaps.
ISAAC
Elaine Angelino, Michael T. Goodrich, Michael Mitzenmacher, Justin Thaler
2011 J jnl
Fully De-Amortized Cuckoo Hashing for Cache-Oblivious Dictionaries and Multimaps
CoRR
Michael T. Goodrich, Daniel S. Hirschberg, Michael Mitzenmacher, Justin Thaler
2011 J jnl
Hierarchical Heavy Hitters with the Space Saving Algorithm
CoRR
Michael Mitzenmacher, Thomas Steinke, Justin Thaler
2011 J jnl
On the Zero-Error Capacity Threshold for Deletion Channels
CoRR
Ian A. Kash, Michael Mitzenmacher, Justin Thaler, Jonathan R. Ullman
2011 Misc conf
On the zero-error capacity threshold for deletion channels.
ITA
Ian A. Kash, Michael Mitzenmacher, Justin Thaler, Jonathan R. Ullman
2011 J jnl
Practical Verified Computation with Streaming Interactive Proofs
CoRR
Graham Cormode, Michael Mitzenmacher, Justin Thaler
2011 J jnl
Streaming Graph Computations with a Helpful Advisor.
Electron. Colloquium Comput. Complex.
Graham Cormode, Michael Mitzenmacher, Justin Thaler
2011 J jnl
Verifying Computations with Streaming Interactive Proofs
CoRR
Graham Cormode, Justin Thaler, Ke Yi
2011 J jnl
Verifying Computations with Streaming Interactive Proofs.
Proc. VLDB Endow.
Graham Cormode, Justin Thaler, Ke Yi
2010 J jnl
Streaming Graph Computations with a Helpful Advisor
CoRR
Graham Cormode, Michael Mitzenmacher, Justin Thaler
2010 — conf
Streaming Graph Computations with a Helpful Advisor.
ESA (1)
Graham Cormode, Michael Mitzenmacher, Justin Thaler
2010 J jnl
Verifying Computations with Streaming Interactive Proofs.
Electron. Colloquium Comput. Complex.
Graham Cormode, Justin Thaler, Ke Yi
2009 — conf
Graph covers and quadratic minimization.
Allerton
Nicholas Ruozzi, Justin Thaler, Sekhar Tatikonda