-
On the average sensitivity and density of k-CNF formulas.
with Dominik Scheder.
In submission, 2013.
-
Learning sums of independent integer random variables.
with Costis Daskalakis, Ilias Diakonikolas, Ryan O'Donnell, and Rocco Servedio.
In submission, 2013.
-
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph.
with Manuel Kauers, Ryan O'Donnell, and Yuan Zhou.
In submission, 2013.
-
A composition theorem for the Fourier Entropy-Influence conjecture.
with Ryan O'Donnell.
ICALP 2013.
-
Hypercontractivity via the entropy method.
with Eric Blais.
In submission, 2013.
-
Approximating Boolean functions with depth-2 circuits.
with Eric Blais.
CCC 2013.
-
New NP-hardness results for 3-coloring and 2-to-1 label cover.
with Per Austrin, Ryan O'Donnell, and John Wright.
In submission,
2012.
-
Analysis of Boolean functions (survey).
A series of lectures by Ryan
O'Donnell at the 2012 Barbados workshop on Computational
Complexity.
-
Attribute-efficient learning and weight-degree tradeoffs for
PTFs.
with Rocco Servedio and Justin Thaler.
COLT
2012.
-
On the distribution of the Fourier spectrum of LTFs.
with Ilias Diakonikolas, Ragesh Jaiswal, Rocco Servedio, and
Andrew Wan.
Manuscript, 2011.
-
A regularity lemma and low-weight approximators for PTFs.
with Ilias Diakonikolas, Rocco Servedio, and Andrew
Wan.
CCC
2010.
- Bounding the average
sensitivity and noise sensitivity of PTFs.
with Ilias Diakonikolas, Prasad Raghavendra, and Rocco
Servedio.
STOC 2010 (merged with
[Harsha-Klivans-Meka]).
- The meta-theory of Q0 in the calculus of inductive
constructions.
M.Sc. Thesis, 2006.
- The algebra of equality proofs.
with Aaron Stump.
RTA 2005.