
New algorithms and lower bounds for monotonicity testing.
with Xi Chen and Rocco Servedio.
Manuscript.

Approximate resilience, monotonicity, and the complexity of agnostic learning.
with Dana DachmanSoled, Vitaly Feldman, Andrew Wan, and Karl Wimmer.
Manuscript.

On DNF approximators for monotone Boolean functions.
with Eric Blais, Johan Håstad, and Rocco Servedio.
ICALP 2014.

Learning circuits with few negations.
with Eric Blais, Clément Canonne, Igor Carboni Oliveira, and Rocco Servedio.
Manuscript.

A composition theorem for parity kill number.
with Ryan O'Donnell, Xiaorui Sun, John Wright, and Yu Zhao.
CCC 2014.

Discrete isoperimetry via the entropy method.
with Eric Blais and Andrew Wan.
Manuscript.

Hypercontractive inequalities via SOS, and the FranklRödl graph.
with Manuel Kauers, Ryan O'Donnell, and Yuan Zhou.
SODA 2014.

Learning sums of independent integer random variables.

On the average sensitivity and density of kCNF formulas.
with Dominik Scheder.
RANDOM 2013.

A composition theorem for the Fourier EntropyInfluence conjecture.
with Ryan O'Donnell.
ICALP 2013.

Hypercontractivity via the entropy method.

Approximating Boolean functions with depth2 circuits.

New NPhardness results for 3coloring and 2to1 label cover.
with Per Austrin, Ryan O'Donnell, and John Wright.
ACM Transactions on Computation Theory 6(1), Article 2, (2014).

Analysis of Boolean functions.

Attributeefficient learning and weightdegree 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, 2012.
 Bounding the average
sensitivity and noise sensitivity of PTFs.
with Ilias Diakonikolas, Prasad Raghavendra, and Rocco
Servedio.
STOC 2010, merged with [
HarshaKlivansMeka].
SIAM Journal on Computuing 43(1), pp. 231253, (2014).

A regularity lemma, and lowweight approximators, for lowdegree PTFs.
with Ilias Diakonikolas, Rocco Servedio, and Andrew
Wan.
CCC 2010.
Theory of Computing 10(2), pp. 2753, (2014).
 The metatheory of Q0 in the calculus of inductive
constructions.
M.Sc. Thesis, 2006.
 The algebra of equality proofs.
with Aaron Stump.
RTA 2005.