Visual DSD
  
  
  
  
    
    
      
    
    Aug 6, 2009
  
  
  
  
  
  
  
  
  
  
 
    
  Visual DSD is a programming language and software tool for designing nucleic acid circuits.
Acknowledgements
- Visual DSD was developed by the following people, in reverse order of joining the project: Carlo Spaccasassi, Rasmus Petersen, Kathryn Gray, Colin Gravill, Neil Dalchau, Filippo Polo, Simon Youssef, Matthew Lakin and Andrew Phillips.
- Luca Cardelli assisted with the design of the DSD language and extensive testing of DSD. Erik Winfree and his group have provided valuable feedback on DSD, together with Georg Seelig and his group.
- The core DSD language was developed in F#. It uses Dynamic Data Display for visualising simulation plots and Microsoft Automatic Graph Layout for visualising networks.
Posts
Researchers build nanoscale distributed DNA computing systems from artificial protocells
        I led a computational team using our Visual DSD language to help develop communicating DNA circuits encapsulated in synthetic protocells, in collaboration with Eindhoven University of Technology and Radboud University. 
Microsoft Research
    
    
    Microsoft Research
  
  
  
  
    
    
      
    
    Mar 11, 2019
  
  
  
  
  
  
    1 min read
  
  
  
  
  
  
  
      
    Publications
Automated Leak Analysis of Nucleic Acid Circuits
        
  
  Iuliia Zarubiieva, Carlo Spaccasassi, Vishwesh Kulkarni, Andrew Phillips.
		
ACS Synthetic Biology (2022)
      
    ACS Synthetic Biology (2022)
A deep learning model for predicting next-generation sequencing depth from DNA sequence
        
  
  Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X Wang, Peng Dai, Yuan-jyue Chen, Kerou Zhang, John Z Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang.
		
Nature Communications (2021)
      
    Nature Communications (2021)
Domain-Specific Programming Languages for Computational Nucleic Acid Systems
        
  
  Matthew R Lakin, Andrew Phillips.
		
ACS Synthetic Biology (2020)
      
    ACS Synthetic Biology (2020)
A Logic Programming Language for Computational Nucleic Acid Devices
        
  
  Carlo Spaccasassi, Matthew R Lakin, Andrew Phillips.
		
ACS Synthetic Biology (2019)
      
    ACS Synthetic Biology (2019)
DNA-based communication in populations of synthetic protocells
        
  
  Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, BVVS Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom FA de Greef.
		
Nature Nanotechnology (2019)
      
    Nature Nanotechnology (2019)
Predicting DNA hybridization kinetics from sequence
        
  
  Jinny X Zhang, John Z Fang, Wei Duan, Lucia R Wu, Angela W Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang.
		
Nature Chemistry (2018)
      
    Nature Chemistry (2018)
Automated analysis of tethered DNA nanostructures using constraint solving
        
  
  Matthew R Lakin, Andrew Phillips.
		
Natural Computing (2018)
      
    Natural Computing (2018)
Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
        
  
  Matthew R Lakin, Andrew Phillips.
		
DNA Computing and Molecular Programming (DNA) (2017)
      
    DNA Computing and Molecular Programming (DNA) (2017)
A spatially localized architecture for fast and modular DNA computing
        
  
  Gourab Chatterjee, Neil Dalchau, Richard A Muscat, Andrew Phillips, Georg Seelig.
		
Nature Nanotechnology (2017)
      
    Nature Nanotechnology (2017)
A strand graph semantics for DNA-based computation
        
  
  Rasmus L Petersen, Matthew R Lakin, Andrew Phillips.
		
Theoretical Computer Science (2016)
      
    Theoretical Computer Science (2016)
Modular verification of chemical reaction network encodings via serializability analysis
        
  
  Matthew R Lakin, Darko Stefanovic, Andrew Phillips.
		
Theoretical Computer Science (2016)
      
    Theoretical Computer Science (2016)
Probabilistic Analysis of Localized DNA Hybridization Circuits
        
  
  Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif.
		
ACS Synthetic Biology (2015)
      
    ACS Synthetic Biology (2015)
Abstract Modelling of Tethered DNA Circuits
        
  
  Matthew R Lakin, Rasmus Petersen, Kathryn E Gray, Andrew Phillips.
		
DNA Computing and Molecular Programming (DNA) (2014)
      
    DNA Computing and Molecular Programming (DNA) (2014)
Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks
        
  
  Neil Dalchau, Georg Seelig, Andrew Phillips.
		
DNA Computing and Molecular Programming (DNA) (2014)
      
    DNA Computing and Molecular Programming (DNA) (2014)
Computational Design of Nucleic Acid Feedback Control Circuits
        
  
  Boyan Yordanov, Jongmin Kim, Rasmus L Petersen, Angelina Shudy, Vishwesh V Kulkarni, Andrew Phillips.
		
ACS Synthetic Biology (2014)
      
    ACS Synthetic Biology (2014)
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
        
  
  Matthew R Lakin, Andrew Phillips.
		
Practical Aspects of Declarative Languages (PADL) (2014)
      
    Practical Aspects of Declarative Languages (PADL) (2014)
Programmable chemical controllers made from DNA
        
  
  Yuan-Jyue Chen, Neil Dalchau, Niranjan Srinivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig.
		
Nature Nanotechnology (2013)
      
    Nature Nanotechnology (2013)
Functional Analysis of Large-Scale DNA Strand Displacement Circuits
        
  
  Boyan Yordanov, Christoph M Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler.
		
DNA Computing and Molecular Programming (2013)
      
    DNA Computing and Molecular Programming (2013)
Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
        
  
  Matthew R Lakin, Andrew Phillips, Darko Stefanovic.
		
DNA Computing and Molecular Programming (DNA) (2013)
      
    DNA Computing and Molecular Programming (DNA) (2013)
Design and analysis of DNA strand displacement devices using probabilistic model checking
        
  
  Matthew R Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips.
		
Journal of The Royal Society Interface (2012)
      
    Journal of The Royal Society Interface (2012)
Stochastic simulation of multiple process calculi for biology
        
  
  Matthew R Lakin, Loïc Paulevé, Andrew Phillips.
		
Theoretical Computer Science (2012)
      
    Theoretical Computer Science (2012)
Abstractions for DNA circuit design
        
  
  Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips.
		
Journal of The Royal Society Interface (2012)
      
    Journal of The Royal Society Interface (2012)
Visual DSD: a design and analysis tool for DNA strand displacement systems
        
  
  Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips.
		
Bioinformatics (2011)
      
    Bioinformatics (2011)
Localized Hybridization Circuits
        
  
  Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif.
		
DNA Computing and Molecular Programming (DNA) (2011)
      
    DNA Computing and Molecular Programming (DNA) (2011)
Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
        
  
  Matthew Lakin, Andrew Phillips.
		
DNA Computing and Molecular Programming (2011)
      
    DNA Computing and Molecular Programming (2011)
A programming language for composable DNA circuits
        
  
  Andrew Phillips, Luca Cardelli.
		
Journal of The Royal Society Interface (2009)
      
    Journal of The Royal Society Interface (2009)
 
      
       
     
     
     
     
     
     
     
     
     
     
     
    