David Soloveichik

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 40

Top Topics

Denotational Semantics

Chemical Reaction

Programming Language

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Austin Luchsinger, David Doty, David Soloveichik
Brief Announcement: Optimally Encoding Information in Chemical Reaction Networks. PODC (2024)
Austin Luchsinger, David Doty, David Soloveichik
Optimal Information Encoding in Chemical Reaction Networks. DNA (2023)
Ho-Lin Chen, David Doty, Wyatt Reeves, David Soloveichik
Rate-independent Computation in Continuous Chemical Reaction Networks. J. ACM 70 (3) (2023)
Austin Luchsinger, David Doty, David Soloveichik
Optimal Information Encoding in Chemical Reaction Networks. CoRR (2023)
David Doty, Niels Kornerup, Austin Luchsinger, Leo Orshansky, David Soloveichik, Damien Woods
Harvesting Brownian Motion: Zero Energy Computational Sampling. CoRR (2023)
Joshua Petrack, David Soloveichik, David Doty
Thermodynamically Driven Signal Amplification. CoRR (2023)
Joshua Petrack, David Soloveichik, David Doty
Thermodynamically Driven Signal Amplification. DNA (2023)
Ho-Lin Chen, David Doty, David Soloveichik, Wyatt Reeves
Rate-Independent Computation in Continuous Chemical Reaction Networks. CoRR (2021)
Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik
Programming and Training Rate-Independent Chemical Reaction Networks. CoRR (2021)
Keenan Breik, Austin Luchsinger, David Soloveichik
Molecular Machines from Topological Linkages. DNA (2021)
Niels Kornerup, Jonathan Sadun, David Soloveichik
The Spooky Pebble Game. CoRR (2021)
Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (1) (2021)
Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik
Programming Substrate-Independent Kinetic Barriers With Thermodynamic Binding Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (1) (2021)
Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR (2020)
Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML (2020)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA (2020)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRN++: Molecular programming language. Nat. Comput. 19 (2) (2020)
Boya Wang, Cameron T. Chalk, David Soloveichik
SIMD||DNA: Single Instruction, Multiple Data Computation with DNA Strand Displacement Cascades. DNA (2019)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR (2019)
Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik
Computing properties of stable configurations of thermodynamic binding networks. Theor. Comput. Sci. 785 (2019)
Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. CoRR (2019)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRN++: Molecular Programming Language. CoRR (2018)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
: Molecular Programming Language. DNA (2018)
Robert Brijder, David Doty, David Soloveichik
Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks. Nat. Comput. 17 (1) (2018)
Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. CMSB (2018)
Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. CoRR (2018)
Amanda Belleville, David Doty, David Soloveichik
Hardness of computing and approximating predicates and functions with leaderless population protocols. CoRR (2018)
David Doty, David Soloveichik
Stable leader election in population protocols requires linear time. Distributed Comput. 31 (4) (2018)
Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. CMSB (2018)
Dan Alistarh, Bartlomiej Dudek, Adrian Kosowski, David Soloveichik, Przemyslaw Uznanski
Robust Detection in Leak-Prone Population Protocols. CoRR (2017)
Boya Wang, Chris Thachuk, Andrew D. Ellington, David Soloveichik
The Design Space of Strand Displacement Cascades with Toehold-Size Clamps. DNA (2017)
Dan Alistarh, Bartlomiej Dudek, Adrian Kosowski, David Soloveichik, Przemyslaw Uznanski
Robust Detection in Leak-Prone Population Protocols. DNA (2017)
Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik
Computing properties of stable configurations of thermodynamic binding networks. CoRR (2017)
Amanda Belleville, David Doty, David Soloveichik
Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols. ICALP (2017)
David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods
Thermodynamic Binding Networks. CoRR (2017)
David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods
Thermodynamic Binding Networks. DNA (2017)
Ho-Lin Chen, Rachel Cummings, David Doty, David Soloveichik
Speed faults in computation by chemical reaction networks. Distributed Comput. 30 (5) (2017)
Rachel Cummings, David Doty, David Soloveichik
Probability 1 computation with chemical reaction networks. Nat. Comput. 15 (2) (2016)
Robert Brijder, David Doty, David Soloveichik
Robustness of Expressivity in Chemical Reaction Networks. DNA (2016)
Robert Brijder, David Doty, David Soloveichik
Robustness of expressivity in chemical reaction networks. CoRR (2016)
David Soloveichik, Bernard Yurke
Preface. Nat. Comput. 14 (2) (2015)
David Doty, David Soloveichik
Stable leader election in population protocols requires linear time. CoRR (2015)
Chris Thachuk, Erik Winfree, David Soloveichik
Leakless DNA Strand Displacement Systems. DNA (2015)
David Doty, David Soloveichik
Stable Leader Election in Population Protocols Requires Linear Time. DISC (2015)
Ho-Lin Chen, Rachel Cummings, David Doty, David Soloveichik
Speed Faults in Computation by Chemical Reaction Networks. DISC (2014)
Ho-Lin Chen, David Doty, David Soloveichik
Deterministic function computation with chemical reaction networks. Nat. Comput. 13 (4) (2014)
Rachel Cummings, David Doty, David Soloveichik
Probability 1 Computation with Chemical Reaction Networks. DNA (2014)
Ho-Lin Chen, David Doty, David Soloveichik
Rate-independent computation in continuous chemical reaction networks. ITCS (2014)
Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). BCB (2014)
Ho-Lin Chen, David Doty, David Soloveichik
Deterministic Function Computation with Chemical Reaction Networks. DNA (2012)
Ho-Lin Chen, David Doty, David Soloveichik
Deterministic Function Computation with Chemical Reaction Networks CoRR (2012)
David Soloveichik, Erik Winfree
Erratum to "The computational power of Benenson automata" [Theoret. Comput. Sci. 344 (2005) 279-297] Theor. Comput. Sci. 412 (43) (2011)
Lulu Qian, David Soloveichik, Erik Winfree
Efficient Turing-Universal Computation with DNA Polymers. DNA (2010)
Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik
Parallelism, Program Size, Time, and Temperature in Self-Assembly CoRR (2010)
Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik
Parallelism, Program Size, Time, and Temperature in Self-Assembly. Electron. Colloquium Comput. Complex. 17 (2010)
Georg Seelig, David Soloveichik
Time-Complexity of Multilayered DNA Strand Displacement Circuits. DNA (2009)
David Soloveichik
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping. J. Comput. Biol. 16 (3) (2009)
Matthew Cook, David Soloveichik, Erik Winfree, Jehoshua Bruck
Programmability of Chemical Reaction Networks. Algorithmic Bioprocesses (2009)
David Soloveichik, Georg Seelig, Erik Winfree
DNA as a Universal Substrate for Chemical Kinetics. DNA (2008)
David Soloveichik, Matthew Cook, Erik Winfree, Jehoshua Bruck
Computation with finite stochastic chemical reaction networks. Nat. Comput. 7 (4) (2008)
David Soloveichik, Matthew Cook, Erik Winfree
Combining self-healing and proofreading in self-assembly. Nat. Comput. 7 (2) (2008)
David Soloveichik
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping CoRR (2008)
David Soloveichik
Statistical Learning of Arbitrary Computable Classifiers CoRR (2008)
David Soloveichik, Erik Winfree
Complexity of Self-Assembled Shapes. SIAM J. Comput. 36 (6) (2007)
David Soloveichik, Erik Winfree
Complexity of Compact Proofreading for Self-assembled Patterns. DNA (2005)
David Soloveichik, Erik Winfree
The computational power of Benenson automata. Theor. Comput. Sci. 344 (2-3) (2005)
David Soloveichik, Erik Winfree
The Computational Power of Benenson Automata CoRR (2004)
David Soloveichik, Erik Winfree
Complexity of Self-assembled Shapes. DNA (2004)
David Soloveichik, Erik Winfree
Complexity of Self-Assembled Shapes CoRR (2004)