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)