The DNA Strand Displacement language (DSD) is a programming language for designing and simulating computational circuits made of DNA, in which strand displacement is the main computational mechanism. The language includes basic elements of sequence domains, branch migration and strand displacement, and assumes that strands do not possess any secondary structure. The language allows a given model to be simulated and analysed at varying levels of abstraction, without changing the model code. DSD is a first step towards the design of modelling and simulation tools for DNA strand displacement, which complements the emergence of novel implementation strategies for DNA computing.


Case studies

Related publications


  • Matthew Lakin, Filippo Polo, Luca Cardelli, Andrew Phillips. Microsoft Research.
  • Simon Youssef. Microsoft Research & University of Munich.


Contact Us Terms of Use Trademarks Privacy Statement © Microsoft Corporation. All rights reserved.