Use DERNA Online
Commercially Available DERNA No-Code Web Server
DERNA: Pareto Optimal mRNA Sequence Design Balancing Stability and Translation Efficiency
DERNA is an algorithm for Pareto optimal RNA design: given a target protein, it enumerates mRNA coding sequences that trade off minimum free energy (MFE) against codon adaptation index (CAI). It was developed by Xinyu Gu, Yuanyuan Qi and Mohammed El-Kebir at the University of Illinois Urbana-Champaign and published in the Journal of Computational Biology in 2024, following an earlier version at WABI 2023.
Because the genetic code is degenerate, a single protein can be encoded by an exponentially large number of mRNA sequences. These sequences differ in MFE, which relates to mRNA stability, and in CAI, which relates to translation efficiency. The two objectives usually pull against each other, so improving one tends to worsen the other.
Earlier tools commonly optimize one of these measures or a fixed combination of them. DERNA instead treats the problem as a true two-objective optimization and reports the whole set of solutions where no other sequence is better on both measures, giving designers an explicit menu of trade-offs for applications such as mRNA vaccines.
Property | Detail |
|---|---|
Task | Pareto optimal mRNA design for a target protein |
Objectives | Minimum free energy (MFE) and codon adaptation index (CAI) |
Method | Weighted sum method with dynamic programming |
Complexity | O(|w|^3) time and O(|w|^2) space per convex combination, where w is the input |
Published | Journal of Computational Biology 31(3), 2024 |
Availability | Open source (C++11, BSD 3-clause); prebuilt binaries on Bioconda |
Why Pareto Optimal mRNA Design Matters for Vaccines and Therapeutics
mRNA vaccines and therapeutics depend on a sequence that is both structurally stable and efficiently translated. Since stability (MFE) and translation efficiency (CAI) conflict, a single answer hides the trade-off. A Pareto front shows every non-dominated option so that researchers can choose the balance that suits their construct.
How DERNA Traces the Pareto Front
The authors define the Pareto Optimal RNA Design problem and solve it with the weighted sum method.
Combine objectives: Each run optimizes a convex combination of the MFE and CAI objectives.
Solve by dynamic programming: Each combination is solved with dynamic programming over RNA secondary structure.
Sweep the weights: Varying the combination traces out the Pareto front.
DERNA Benchmark Results Against CDSfold and LinearDesign
The authors compared DERNA with CDSfold and with the heuristic version of LinearDesign (the only one publicly available) on 100 protein sequences from UniProt, plus a SARS-CoV-2 spike case study. DERNA reached the same MFE as CDSfold with higher CAI, because CDSfold ignores CAI, and its solution quality matched LinearDesign.
Comparison | Reported result |
|---|---|
MFE-prioritized benchmark | Identical MFE to CDSfold with superior CAI; LinearDesign failed on the longest protein (2828 amino acids) and returned a non-MFE-optimal solution for one other protein |
Pareto fronts over 50 proteins | DERNA found 988 unique solutions and LinearDesign 830, with 383 in common |
Trade-off example | Requiring at least 50% of the best MFE, DERNA solutions reached a median of about 86% of the best CAI; at least 80% MFE lowered this to a median of about 60% |
Running time | LinearDesign was fastest (1.80 to 1149.02 s), then CDSfold (1.86 to 3411.91 s), then DERNA (16 to 21,434 s) |
SARS-CoV-2 spike (1273 aa) | 57 k values evaluated, 34 distinct DERNA solutions versus 25 for LinearDesign |
Spike Protein Case Study
The Pfizer-BioNTech spike mRNA has an MFE of -1217 and a CAI of 0.95 in the authors' analysis. At the same CAI, DERNA found a solution with a better MFE of -1955.2. DERNA is also fully open source, whereas key LinearDesign functionality is closed source.
What is Tamarind Bio?
Tamarind Bio is a no-code bioinformatics platform built to give life scientists and researchers access to powerful computational tools. Many cutting-edge machine learning models are hard to deploy and use. Tamarind provides an intuitive, web-based environment that removes the complexity of high-performance computing, software dependencies and command-line interfaces.
The platform is designed for biologists, chemists and other researchers who may not have a background in programming or cloud infrastructure but want to run models on their own data. Key features include:
A user-friendly graphical interface for setting up and launching experiments
A robust API for integration into existing research pipelines
An automated system for managing and scaling computational resources
Tamarind treats information and data security as a top priority, as detailed in its Trust Center and Terms of Service.
Accelerating Discovery with DERNA on Tamarind Bio
mRNA vaccine design: Generate candidate coding sequences for an antigen, as the authors demonstrate with the SARS-CoV-2 spike protein.
Stability versus expression trade-offs: Inspect the Pareto front to choose a sequence that balances MFE and CAI.
Method comparison: Compare DERNA designs with those from CDSfold or LinearDesign on the same target protein.
How to Use DERNA on Tamarind Bio
Log in and open the tool: Sign in at tamarind.bio and open DERNA.
Provide the target protein: Enter the amino acid sequence of the protein the mRNA should encode.
Set parameters: If exposed, adjust options that control the trade-off between MFE and CAI.
Run the job: Submit the run and wait for it to finish.
Download outputs: Retrieve the designed mRNA sequences from the results.
Interpret the front: Compare the MFE and CAI of each solution and pick the balance that suits your application.
Use downstream: Take chosen sequences forward for synthesis or further computational checks.
Things to Keep in Mind
The weighted sum method has stated limitations: several k values can give the same solution, the nonconvex part of the Pareto front cannot be recovered, and sampling can be nonuniform. The authors mitigate the first by recursively examining k values.
DERNA is slower than CDSfold and LinearDesign on the benchmark because it accounts for both MFE and CAI.
MFE and CAI are computational proxies, not experimental measurements; the authors note other factors such as translation initiation motifs and 5-prime UTR structure also affect expression and are future work.
Source: Gu X, Qi Y, El-Kebir M. DERNA Enables Pareto Optimal RNA Design. Journal of Computational Biology 31(3), 2024. DOI: 10.1089/cmb.2023.0283. Code: https://github.com/elkebir-group/derna.