Challenges in automated verification and synthesis for molecular programming

Created by W.Langdon from gp-bibliography.bib Revision:1.4420

  author =       "Marta Kwiatkowska",
  title =        "Challenges in automated verification and synthesis for
                 molecular programming",
  booktitle =    "Essays for the Luca Cardelli Fest",
  year =         "2014",
  editor =       "Martin Abadi and Philippa Gardner and 
                 Andrew D. Gordon and Radu Mardare",
  series =       "Technical Report",
  volume =       "MSR-TR-2014-104",
  pages =        "155--170",
  address =      "Cambridge, UK",
  month =        "8-9 " # sep,
  publisher =    "Microsoft Research",
  keywords =     "genetic algorithms, genetic programming",
  URL =          "",
  URL =          "",
  URL =          "",
  size =         "15 pages",
  abstract =     "Molecular programming is concerned with building
                 synthetic nanoscale devices from molecules, which can
                 be programmed to autonomously perform a specific task.
                 Several artefacts have been demonstrated
                 experimentally, including DNA circuits that can compute
                 a logic formula and molecular robots that can transport
                 cargo. In view of their natural interface to biological
                 components, many potential applications are envisaged,
                 e.g. point-of-care diagnostics and targeted delivery of
                 drugs. However, the inherent complexity of the
                 resulting biochemical systems makes the manual process
                 of designing such devices error-prone, requiring
                 automated design support methodologies, analogous to
                 design automation tools for digital systems. This paper
                 gives an overview of the role that probabilistic
                 modelling and verification techniques can play in
                 designing, analysing, debugging and synthesising
                 programmable molecular devices, and outlines the
                 challenges in achieving automated verification and
                 synthesis software technologies in this setting.",
  notes =        "Mention of GP: p165 'given ..specification, ..
                 guarantees.. to evolve .. program'


Genetic Programming entries for Marta Kwiatkowska