Publications

On the hardness of knowing busy beaver values BB(15) and BB(5,4)
Tristan Stérin, Damien Woods
Preprint. 2021 [arXiv version], [simulator]
Small tile sets that compute while solving mazes
Matthew Cook, Tristan Stérin, Damien Woods
DNA27: The 27th International Conference on DNA Computing and Molecular Programming
Schloss Dagstuhl—Leibniz-Zentrum für Informatik, LIPIcs 2021 To appear. [Full arXiv version]

Diverse and robust molecular algorithms using reprogrammable DNA self-assembly
Damien Woods, David Doty, Cameron Myhrvold, Joy Hui, Felix Zhou, Peng Yin, Erik Winfree
Nature
567:366—372, 2019 (Woods & Doty joint lead co-authors). [pdf], [Nature version], [bib],
Suppl Info A (theory, design, results), Suppl Info B (DNA sequences), Suppl Info C (sample images), DNA sequence design code, Data and analysis code (to reproduce our findings, and discover your own), Raw data (Bruker file format)
Media: The Irish Times, Chemistry World, PhysicsWorld, Wired, IEEE Spectrum, Silicon Republic, Europa Press (in Spanish), Nature Asia, The California Aggie.
Live interviews: Futureproof on Newstalk radio, Short video interview, The Wider View on Northern Sound.
Press releases: Maynooth University, Inria (in French), Caltech, UC Davis.
An art exhibition with some quirky visitors. Erik's blurbification.
Non-cooperatively assembling large structures
Pierre-Étienne Meunier, Damien Regnault
DNA25: The 25th International Conference on DNA Computing and Molecular Programming
Springer LNCS 11648:120—139, 2019 [arxiv], [paper]

Proving the Turing Universality of Oritatami Co-Transcriptional Folding
Cody Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki
ISAAC: The 29th International Symposium on Algorithms and Computation
LIPIcs:23:1—23:13, 2018 [arxiv], [LIPIcs]

A cargo-sorting DNA robot
Anupama J. Thubagere, Wei Li, Robert F. Johnson, Zibo Chen, Shayan Doroudi, Yae Lim Lee, Gregory Izatt, Sarah Wittman, Niranjan Srinivas, Damien Woods, Erik Winfree, Lulu Qian
Science
357 (6356, eaan6558) 2017 [paper], [Supplementary Material]
Science perspective 357(6356):1095-1096, by John Reif
Thermodynamic Binding Networks
David Doty, Trent Rogers, David Soloveichik, Chris Thachuk, Damien Woods
DNA23: The 23rd International Conference on DNA Computing and Molecular Programming
Springer LNCS 10467:249—266, 2017 [arxiv], [pdf]
Binary Pattern Tileset Synthesis is NP-hard
Lila Kari, Steffen Kopecki, Pierre-Étienne Meunier, Matthew J. Patitz, Shinnosuke Seki
Algorithmica
78:1—46, 2017 [arxiv]
The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation
Pierre-Étienne Meunier, Damien Woods
STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing
ACM:328—341, 2017 [arxiv], [bib]

Damien's pre-2017 papers.