Phillips MPP 2011
From MPPWiki
(Created page with "= Semantic abstractions for DNA circuit design = * Andrew Phillips * Microsoft Research == Abstract == DNA strand displacement techniques have been used to design a broad rang...") |
|||
| Line 1: | Line 1: | ||
| - | = | + | = Abstractions for DNA circuit design = |
| - | * Andrew Phillips | + | * Andrew Phillips, Matthew R. Lakin, Simon Youssef, and Luca Cardelli |
* Microsoft Research | * Microsoft Research | ||
== Abstract == | == Abstract == | ||
| - | DNA strand displacement techniques have been used to | + | DNA strand displacement techniques have been used to implement a broad range of information processing devices, from logic gates, to chemical reaction networks, to architectures for universal computation. Strand displacement techniques enable computational devices to be implemented in DNA without the need for additional components, allowing computation to be programmed solely in terms of nucleotide sequences. A major challenge in the design of strand displacement devices has been to enable rapid analysis of high-level designs while also supporting detailed simulations that include known forms of interference. Another challenge has been to design devices capable of sustaining precise reaction kinetics over long periods, without relying on complex experimental equipment to continually replenish depleted DNA molecules over time. In this talk we present a programming language for designing DNA strand displacement devices, which supports progressively increasing levels of molecular detail. The language allows device designs to be programmed using a common syntax and then analysed at varying levels of detail, with or without interference, without needing to modify the program. We use the language to design a buffered architecture for DNA devices, capable of maintaining precise reaction kinetics for a potentially unbounded period. We test the effectiveness of buffered gates to support long-running computation by simulating a DNA strand displacement system capable of sustained oscillations. |
Latest revision as of 17:10, 11 May 2011
Abstractions for DNA circuit design
- Andrew Phillips, Matthew R. Lakin, Simon Youssef, and Luca Cardelli
- Microsoft Research
Abstract
DNA strand displacement techniques have been used to implement a broad range of information processing devices, from logic gates, to chemical reaction networks, to architectures for universal computation. Strand displacement techniques enable computational devices to be implemented in DNA without the need for additional components, allowing computation to be programmed solely in terms of nucleotide sequences. A major challenge in the design of strand displacement devices has been to enable rapid analysis of high-level designs while also supporting detailed simulations that include known forms of interference. Another challenge has been to design devices capable of sustaining precise reaction kinetics over long periods, without relying on complex experimental equipment to continually replenish depleted DNA molecules over time. In this talk we present a programming language for designing DNA strand displacement devices, which supports progressively increasing levels of molecular detail. The language allows device designs to be programmed using a common syntax and then analysed at varying levels of detail, with or without interference, without needing to modify the program. We use the language to design a buffered architecture for DNA devices, capable of maintaining precise reaction kinetics for a potentially unbounded period. We test the effectiveness of buffered gates to support long-running computation by simulating a DNA strand displacement system capable of sustained oscillations.
