skip to main content
10.1145/2429384.2429462acmconferencesArticle/Chapter ViewAbstractPublication PagesiccadConference Proceedingsconference-collections
research-article

Compiling program control flows into biochemical reactions

Published: 05 November 2012 Publication History

Abstract

Computing with biochemical reactions emerges in synthetic biology. With high-level programming languages, a target computation can be intuitively and effectively specified. As control flows form the skeleton of most programs, how to translate them into biochemical reactions is crucial but remains ad hoc. This paper shows a systematic approach to transforming control flows into robust molecular reactions. Case studies demonstrate its usefulness.

References

[1]
E. Andrianantoandro, S. Basu, D. Karig, and R. Weiss. Synthetic biology: New engineering rules for an emerging discipline. Molecular Systems Biology, 2006.
[2]
U. Alon. An Introduction to Systems Biology: Design Principles of Biological Circuits. Champman & Hall/CRC, 2006.
[3]
C. Chaouiya. Petri net modelling of biological networks. Briefings in Bioinformatics, 8(4): 210--219, 2007.
[4]
M. Elowitz and S. Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403(6767): 335--8, 2000.
[5]
B. Fett, S. Bruck, and M. Riedel. Synthesizing stochasticity in biochemical systems. In Proc. Design Automation Conf., 2007.
[6]
B. Fett and M. Riedel. Module locking in biochemical systems. In Proc. Int'l Conf. on Computer-Aided Design, 2008.
[7]
D. T. Gillespie. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comput. Phys., 22(4): 403--434, 1976.
[8]
The iBioSim Tool: http://www.async.ece.utah.edu/iBioSim/
[9]
H. Jiang, A. Kharam, M. Riedel, and K. Parhi. A synthesis flow for digital signal processing with biomolecular reactions. In Proc. Int'l Conf. Computer-Aided Design, 2010.
[10]
J. Lucks and A. Arkin. The hunt for the biological transistor. IEEE Spectrum, pages 38--43, March 2011.
[11]
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4): 541--580, 1989.
[12]
C. J. Myers. Engineering Genetic Circuits, Chapman & Hall/CRC Press, July 2009.
[13]
The Systems Biology Markup Language (SBML) portal: http://sbml.org/
[14]
Systems Biology Workbench (SBW): http://sbw.sourceforge.net/
[15]
A. Shea, B. Fett, M. Riedel, and K. Parhi. Writing and compiling code into biochemistry. In Proc. Pacific Symposium on Biocomputing, 2010
[16]
P. Senum and M. Riedel. Rate-independent constructs for chemical computation. PLoS ONE, 6(6), 2011.
[17]
D. Soloveichik, G. Seelig, and E. Winfree. DNA as a universal substrate for chemical kinetics. In Proc. of the National Academy of Sciences, 107(12): 5393--5398, 2010.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICCAD '12: Proceedings of the International Conference on Computer-Aided Design
November 2012
781 pages
ISBN:9781450315739
DOI:10.1145/2429384
  • General Chair:
  • Alan J. Hu
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2012

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Funding Sources

Conference

ICCAD '12
Sponsor:

Acceptance Rates

Overall Acceptance Rate 457 of 1,762 submissions, 26%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2021) DNA Computing and Circuits DNA‐ and RNA‐Based Computing Systems10.1002/9783527825424.ch3(31-43)Online publication date: 15-Jan-2021
  • (2020)CRN++: Molecular programming languageNatural Computing10.1007/s11047-019-09775-1Online publication date: 3-Jan-2020
  • (2018)Synthesizing and tuning stochastic chemical reaction networks with specified behavioursJournal of The Royal Society Interface10.1098/rsif.2018.028315:145(20180283)Online publication date: 15-Aug-2018
  • (2018)CRN++: Molecular Programming LanguageDNA Computing and Molecular Programming10.1007/978-3-030-00030-1_1(1-18)Online publication date: 7-Sep-2018
  • (2018)Biochemical Programs and Analog-Digital Mixed Algorithms in the CellLife Sciences, Information Sciences10.1002/9781119452713.ch19(201-216)Online publication date: 25-Mar-2018
  • (2017)Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital ProgramsComputational Methods in Systems Biology10.1007/978-3-319-67471-1_7(108-127)Online publication date: 1-Sep-2017
  • (2014)Building reconfigurable circuitry in a biochemical world2014 IEEE Biomedical Circuits and Systems Conference (BioCAS) Proceedings10.1109/BioCAS.2014.6981787(560-563)Online publication date: Oct-2014
  • (2014)Cells as MachinesProceedings of the 10th International Conference on Distributed Computing and Internet Technology - Volume 833710.1007/978-3-319-04483-5_6(50-67)Online publication date: 6-Feb-2014

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media