Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Boaz Moav

dblp:367/9243 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0003-6737-8737ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 2 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Coding theory · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Storage systems · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Coding theory › error-correcting codes › insertion and deletion › insertion-deletion channel
deletion-correcting codes
0.812024
Tail-Erasure-Correcting Codes · IEEE Trans. Inf. Theory 2024
Coding theory › error-correcting codes
erasure coding
0.812024
Tail-Erasure-Correcting Codes · IEEE Trans. Inf. Theory 2024
Storage systems › storage devices
molecular data storage
0.212024
Tail-Erasure-Correcting Codes · IEEE Trans. Inf. Theory 2024
YearPublicationVenuePosition
2026 Efficient Synthesis for Two-Dimensional Strand Arrays with Row Constraints
abstract
In large-scale array-based DNA synthesis, optical and chemical coupling between nearby sites can limit simultaneous activations. Motivated by this constraint, we study strands synthesized according to a fixed global synthesis sequence, with at most one strand per row advancing in each cycle. We focus on the fundamental case of two strands in a single row and analyze the expected completion time of row-constrained synthesis. We introduce the laggard-first (LF) policy, a simple rule that always advances the strand with fewer synthesized symbols when a conflict arises, and establish that it is asymptotically optimal among online policies without look-ahead. In the binary case, one-symbol look-ahead strictly improves on the no-look-ahead bound. We further show that even complete advance knowledge does not eliminate the scheduling loss, as even a globally optimal schedule incurs an unavoidable expected overhead that grows linearly with the strand length. Finally, we complement these scheduling results with a dynamic programming algorithm for computing an optimal offline synthesis order and a constant-redundancy binary coding scheme that yields a deterministic worst-case synthesis time guarantee.
Boaz Moav, Eitan Yaakobi, Ryan Gabrys
ISIT1
2025 Complex DNA Synthesis Sequences
abstract
DNA-based storage systems face a primary bottleneck in their parallel strand synthesis processes, affecting both economic viability and operational efficiency. Current methodologies predominantly employ either enzymatic DNA synthesis, permitting the addition of any nucleotide to individual strands per cycle, or photolithographic synthesis, facilitating the selective addition of a single nucleotide across multiple strands simultaneously. This research studies a theoretical hybrid framework combining both approaches, enabling the selection of a fixed number of nucleotides within each synthesis cycle. We introduce the term complex synthesis sequence to describe the nucleotide addition pattern and extend the concepts of subsequence and supersequence to enable standard sequences to be subsequences of complex synthesis sequences. We extend Lenz et al.'s definition of information rate and use an analog of the deletion ball to derive expressions for the maximal information rate obtainable in this model. We develop an algorithm to determine the optimal synthesis sequence in this model for known strands, show that the solution is analogous to finding an SCS, and derive the required dynamic programming algorithm to solve it.
Boaz Moav, Eitan Yaakobi, Ryan Gabrys
ISIT1
2024 Tail-Erasure-Correcting Codes
abstract
The increasing demand for data storage has prompted the exploration of new techniques, with molecular data storage being a promising alternative. In this work, we develop coding schemes for a new storage paradigm that can be represented as a collection of two-dimensional arrays. Motivated by error patterns observed in recent prototype architectures, our study focuses on correcting erasures in the last few symbols of each row, and also correcting arbitrary deletions across rows. We present code constructions and explicit encoders and decoders that are shown to be nearly optimal in many scenarios. We show that the new coding schemes are capable of effectively mitigating these errors, making these emerging storage platforms potentially promising solutions.
Boaz Moav, Ryan Gabrys, Eitan Yaakobi
IEEE Trans. Inf. Theory1