I am a Ph.D. student in the Computer Science Department at CMU. My advisors are Anupam Gupta and Ryan O'Donnell. I am supported by an NSF Graduate Research Fellowship and a CMU Presidential Fellowship.

my email address
*Lower bounds for CSP refutation by SDP hierarchies*

R. Mori, D. Witmer.

RANDOM 2016

*Remarks on the Most Informative Function Conjecture at fixed mean* (arXiv)

G. Kindler, R. O'Donnell, D. Witmer.

Manuscript

*Beating the random assignment on constraint satisfaction problems of bounded degree* (arXiv)

B. Barak, A. Moitra, R. O'Donnell, P. Raghavendra, O. Regev, D. Steurer, L. Trevisan, A. Vijayaraghavan, D. Witmer, J. Wright.

APPROX 2015

*How to refute a random CSP* (arXiv)

S. R. Allen, R. O'Donnell, D. Witmer.

FOCS 2015

*Goldreich's PRG: Evidence for near-optimal polynomial stretch* (pdf)

R. O'Donnell, D. Witmer.

CCC 2014

*Efficiency Analysis of Formally Verified Adaptive Cruise Controllers* (pdf)

S. M. Loos, D. Witmer, P. Steenkiste, A. Platzer.

IEEE Conference on Intelligent Transportation Systems 2013

*Sparsest Cut on Bounded Treewidth Graphs: Algorithms and Hardness Results* (arXiv)

A. Gupta, K. Talwar, D. Witmer.

STOC 2013

*Markov chain methods for small-set expansion* (arXiv)

R. O'Donnell, D. Witmer.

Manuscript

*Sloppy models, parameter uncertainty, and the role of experimental design*
(url)

J. F. Apgar, D. Witmer, F. M. White, B. Tidor.

Molecular BioSystems 6 (10), pp. 1890-1900 (2010).

*Effects of atherogenic diet on hepatic gene expression across mouse strains*
(url)

K. R. Shockley, D. Witmer, S. L. Burgess-Herbert,
B. Paigen,
G. A. Churchill.

Physiological Genomics 39 (3), pp. 172-182 (2009).