Towards Higher-level Abstractions for Molecular Programming
summary
Proposes a concrete translation from functional reactive programming into chemical reaction networks, implemented as a Haskell library Reacto that compiles Yampa-like signal functions into I/O CRN = signal function networks using catalytic inputs, a dual-rail encoding for booleans and reals, and primitive CRN building blocks. Shows simulated examples (sine oscillator, Hailstone verifier via Isabelle) that work in silico, exposes a real simulation shows race condition when naively composing CRNs, and notes no wet‑lab validation yet.
AI-written summary · about
chapters (7)
- 0:00Molecular programming intro
- 3:59Computation with chemicals
- 8:53CRNs as computation
- 12:30Higher-level CRN abstractions
- 16:21Introducing Reacto language
- 23:29Future challenges
- 24:30Q&A
related talks
28mReactive Programming on the Bare Metal:A Formal Model for a Low-Level Reactive Virtual Machin
21mA Functional Approach to Synthesizing Routable Programmable Accelerators for Neural(…)
24mBioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
29mProgramming machine learning algorithms in hardware, sanely, using Haskell and Rust!
19mModular Hardware Design of Pipelined Circuits with Hazards
20mFour Years of Embedded Haskell in Critical Real-Time Systems: Lessons and Insights
28mHardware implementation of OCaml using a synchronous functional language
39mMaking Memories: Clojure For Hardware Engineers (And Others)