BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
summary
A domain-specific language, BioScript targets digital microfluidic biochips and pairs a BioScript type system (models EPA’s 68 reactivity groups as union types and an abstract interaction table) with a compiler that does scheduling, placement and routing on a 2D chip. Claims: type system is sound and enforces single-use of chemicals; type inference is decidable (reduced to quantifier-free first-order equality) and runs in ~1–2s for practical assays. A genetic-algorithm global placement reduces droplet movement up to 6%, and code runs on a cycle-accurate simulator and a real platform.
AI-written summary · about
chapters (18)
- 0:00Intro
- 1:15Microfluidics
- 2:14Digital Microfluidic Biochip (DMFB)
- 4:25BioScript
- 5:50Safety Many incidents involving mixing of chemicals
- 6:39Reactivity Groups Environmental Protection Agency (EPA)
- 8:14Operational Semantics
- 10:18Type Inference System
- 11:04Properties Type System
- 11:33Code Generation
- 12:05Placement Problem Placement of chemicals and operations on the biochio and
- 13:57Global Placement Problem
- 15:29Global Placement Solution
- 16:46Typing Inference Results
- 17:13Impact of Global Placement
- 17:25Conclusions
- 17:52Future Work Recursion
- 21:10Overview
related talks
31mTowards Higher-level Abstractions for Molecular Programming
42mA programming language to manipulate cells
01h 10mHardware DSLs
14mAdaptive Shielding via Parametric Safety Proofs
42mHacking the World with Digital Biology
19mModular Hardware Design of Pipelined Circuits with Hazards
31mSysBox: An Eclipse Story
21mBluespec FSM: The Hidden Gem