EDBT 2026 Demo / reviewers in the wild / expert
Dominique Lavenier
dblp:79/1435
· DBLP profile ↗
46ranked-venue papers
7as first author
3since 2021 · last 2025
0000-0003-2557-680XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 21 · 4 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 18 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 2Theory of computation · 2Software engineering, systems software and programming languages · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1
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.
| Interdisciplinary, comprehensive, and emerging computing
7 papers |
Bioinformatics and computational biology · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Storage systems · 90% Electronic design automation · 6% Hardware accelerators and domain-specific architectures · 2% |
Topics — the 19 heaviest of 21, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology
sequence analysis |
1.0 | 2 | 2025 | De-Bruijn graph partitioning for scalable and accurate DNA storage processing · Bioinform. 2025 DSK: k-mer counting with very low memory usage · Bioinform. 2013 |
Bioinformatics and computational biology › sequence analysis › sequence assembly
de bruijn graph |
0.9 | 1 | 2025 | De-Bruijn graph partitioning for scalable and accurate DNA storage processing · Bioinform. 2025 |
Storage systems › storage devices › molecular data storage
DNA storage |
0.9 | 1 | 2025 | De-Bruijn graph partitioning for scalable and accurate DNA storage processing · Bioinform. 2025 |
Bioinformatics and computational biology › genomics › structural variation
structural variant analysis |
0.4 | 1 | 2020 | SVJedi: genotyping structural variations with long reads · Bioinform. 2020 |
Bioinformatics and computational biology › genomics › structural variation
structural variant genotyping |
0.4 | 1 | 2020 | SVJedi: genotyping structural variations with long reads · Bioinform. 2020 |
Bioinformatics and computational biology › sequence analysis › sequence assembly
genome assembly |
0.2 | 1 | 2014 | GATB: Genome Assembly & Analysis Tool Box · Bioinform. 2014 |
Bioinformatics and computational biology › sequence analysis › k-mer analysis
k-mer counting |
0.2 | 1 | 2013 | DSK: k-mer counting with very low memory usage · Bioinform. 2013 |
Bioinformatics and computational biology › sequence alignment
dynamic programming alignment |
0.1 | 1 | 2010 | GASSST: global alignment short sequence search tool · Bioinform. 2010 |
Bioinformatics and computational biology › sequence alignment
seed-and-extend |
0.1 | 1 | 2010 | GASSST: global alignment short sequence search tool · Bioinform. 2010 |
Bioinformatics and computational biology
sequence alignment |
0.1 | 1 | 2010 | GASSST: global alignment short sequence search tool · Bioinform. 2010 |
Bioinformatics and computational biology › sequence analysis › read mapping
short read alignment |
0.1 | 1 | 2010 | GASSST: global alignment short sequence search tool · Bioinform. 2010 |
Bioinformatics and computational biology › sequence analysis › sequence annotation
sequence segmentation |
0.1 | 1 | 2006 | Domain organization within repeated DNA sequences: application to the study of a family of transposable elements · Bioinform. 2006 |
Bioinformatics and computational biology › genomics › transposable elements
transposable element analysis |
0.1 | 1 | 2006 | Domain organization within repeated DNA sequences: application to the study of a family of transposable elements · Bioinform. 2006 |
Compilers and program optimization
hardware compilation |
0.0 | 1 | 2001 | Evaluation of the streams-C C-to-FPGA compiler: an applications perspective · FPGA 2001 |
Electronic design automation › high-level synthesis › hardware compilation
c-to-hardware compilation |
0.0 | 1 | 2001 | Evaluation of the streams-C C-to-FPGA compiler: an applications perspective · FPGA 2001 |
Electronic design automation
high-level synthesis |
0.0 | 1 | 2001 | Evaluation of the streams-C C-to-FPGA compiler: an applications perspective · FPGA 2001 |
Bioinformatics and computational biology › sequence analysis
sequence comparison |
0.0 | 1 | 1997 | SAMBA: hardware accelerator for biological sequence comparison · Comput. Appl. Biosci. 1997 |
Bioinformatics and computational biology › sequence alignment
smith-waterman acceleration |
0.0 | 1 | 1997 | SAMBA: hardware accelerator for biological sequence comparison · Comput. Appl. Biosci. 1997 |
Processor architecture and microarchitecture › special-purpose processor
systolic array processor |
0.0 | 1 | 1997 | SAMBA: hardware accelerator for biological sequence comparison · Comput. Appl. Biosci. 1997 |
Methods — techniques the papers use, named apart from their topics
de bruijn graph partitioning · 1.7read filtering · 0.4allele sequence alignment · 0.4low-memory data structures · 0.2de bruijn graph · 0.2streaming algorithm · 0.2partitioning · 0.2hash table · 0.2filtering · 0.1dynamic programming · 0.1VHDL generation · 0.1RTL synthesis · 0.1systolic array · 0.0smith-waterman algorithm · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | De-Bruijn graph partitioning for scalable and accurate DNA storage processingabstractMOTIVATION: DNA-based data storage offers a compelling solution for long-term, high-density archiving. In this framework, accurately reconstructing high-quality encoded sequences after sequencing is critical, as it directly impacts the design of error-correcting codes optimized for DNA storage. Furthermore, efficient and scalable processing is essential to manage the large volumes of data expected in such applications. RESULTS: We introduce a novel method based on de-Bruijn graph partitioning, enabling fast and accurate processing of sequencing data regardless of the underlying sequencing technology and without requiring prior knowledge of the information encoded in the oligonucleotides. Evaluated on both synthetic and real datasets, the method achieves excellent precision and recall. It is implemented in C++ within the software ConCluD and optimized for multi-core servers. Our experiments show that a dataset of 89 million reads, corresponding to a 10 GB fasta file, can be fully processed in less than a minute on a standard 32-cores server. AVAILABILITY AND IMPLEMENTATION: The ConCluD software and the scripts to reproduce the experiments from this paper are available at https://gitlab.inria.fr/pim/org.pim.dnarxiv under the GNU AGPLv3 licence. An archival snapshot of the repository is also provided at https://doi.org/10.5281/zenodo.17160067. Florestan De Moor, Olivier Boulle, Dominique Lavenier |
Bioinform. | 3 |
| 2024 | MiMyCS: A Processing-in-Memory Read Mapper for Compressing Next-Gen Sequencing DatasetsabstractAs Next-Gen sequencing (NGS) technologies keep improving their accuracy and get largely deployed in human health care infrastructures, it is critical to design efficient reference-based compressors that fully leverage the capabilities of modern processors and hardware accelerators.This work proposes MiMyCS: a C++ software to achieve Mapping in Memory for Compressing Short reads. It performs lossless reference-based compression of NGS datasets such as Illumina reads. To this end, MiMyCS computes a non-exhaustive mapping against a reference genome and accelerates this step with the Processing-in-Memory architecture developed by the UPMEM company. Such architecture extends the computational power of a machine by adding dual in-line memory modules on which each memory bank has its own processing unit that runs up to 16 threads. This creates a massively parallel environment, well-fitted to alleviate memory bottlenecks.To reduce the overall amount of sequence comparisons and accelerate further the process, MiMyCS also incorporates a Bloom filters-based dispatcher that predicts against which genome parts reads are most likely to be mapped.We show with real whole human sequencing datasets that MiMyCS is able to achieve a speed-up between 1.2x and 2.7x compared to Genozip, the current leading state-of-the-art compressor, while maintaining a comparable compression ratio and lowering the overall energy consumption. The code of MiMyCS is available at https://gitlab.inria.fr/pim/org.pim.srm. Florestan De Moor, Meven Mognol, Charles Deltel, Erwan Drezen, Julien Legriel, Dominique Lavenier |
BIBM | 6 |
| 2024 | Parallelization of the Banded Needleman & Wunsch Algorithm on UPMEM PiM Architecture for Long DNA Sequence AlignmentabstractSequence alignment is an ubiquitous task in genomics analysis whose performance can be affected by the memory-wall on a processor-centric architecture. Processing-in-Memory (PiM) architectures provide a memory system with integrated computing capabilities to alleviate this bottleneck. In this paper, we present a long read optimized version of the Needleman and Wunsch (N&W) algorithm based on PiM devices developed by the UPMEM company. Such memories add 128 computing units to a standard 16GB DIMM. On a server equipped with 20 UPMEM PiMs, our N&W implementation outperforms standard alignment tools by an order of magnitude compared to a traditional multicore server. Code available at https://github.com/upmem/usecase_dpu_alignment. Meven Mognol, Dominique Lavenier, Julien Legriel |
ICPP | 2 |
| 2020 | Variant Calling Parallelization on Processor-in-Memory ArchitectureabstractThis paper introduces a new combination of software and hardware PIM (Process-in-Memory) architecture to accelerate the variant calling genomic process. PIM translates into bringing data intensive calculations directly where the data is: within the DRAM, enhanced with thousands of processing units. The energy consumption, in large part due to data movement, is significantly lowered at a marginal additional hardware cost. Such design allows an unprecedented level of parallelism to process billions of short reads. Experiments on real PIM devices developed by the UPMEM company show significant speed-up compared to pure software implementation. The PIM solution also compared nicely to FPGA or GPU based acceleration bringing similar to twice the processing speed but most importantly being 5 to 8 times cheaper to deploy with up to 6 times less power consumption. Dominique Lavenier, Remy Cimadomo, Romaric Jodin |
BIBM | 1 |
| 2020 | A Graph-Theoretic Barcode Ordering Model for Linked-ReadsabstractConsidering a set of intervals on the real line, an interval graph records these intervals as nodes and their intersections as edges. Identifying (i.e. merging) pairs of nodes in an interval graph results in a multiple-interval graph. Given only the nodes and the edges of the multiple-interval graph without knowing the underlying intervals, we are interested in the following questions. Can one determine how many intervals correspond to each node? Can one compute a walk over the multiple-interval graph nodes that reflects the ordering of the original intervals? These questions are closely related to linked-read DNA sequencing, where barcodes are assigned to long molecules whose intersection graph forms an interval graph. Each barcode may correspond to multiple molecules, which complicates downstream analysis, and corresponds to the identification of nodes of the corresponding interval graph. Resolving the above graph-theoretic problems would facilitate analyses of linked-reads sequencing data, through enabling the conceptual separation of barcodes into molecules and providing, through the molecules order, a skeleton for accurately assembling the genome. Here, we propose a framework that takes as input an arbitrary intersection graph (such as an overlap graph of barcodes) and constructs a heuristic approximation of the ordering of the original intervals. Yoann Dufresne, Chen Sun 0014, Pierre Marijon, Dominique Lavenier, Cédric Chauve, Rayan Chikhi |
WABI | 4 |
| 2020 | SVJedi: genotyping structural variations with long readsabstractMOTIVATION: Studies on structural variants (SVs) are expanding rapidly. As a result, and thanks to third generation sequencing technologies, the number of discovered SVs is increasing, especially in the human genome. At the same time, for several applications such as clinical diagnoses, it is important to genotype newly sequenced individuals on well-defined and characterized SVs. Whereas several SV genotypers have been developed for short read data, there is a lack of such dedicated tool to assess whether known SVs are present or not in a new long read sequenced sample, such as the one produced by Pacific Biosciences or Oxford Nanopore Technologies. RESULTS: We present a novel method to genotype known SVs from long read sequencing data. The method is based on the generation of a set of representative allele sequences that represent the two alleles of each structural variant. Long reads are aligned to these allele sequences. Alignments are then analyzed and filtered out to keep only informative ones, to quantify and estimate the presence of each SV allele and the allele frequencies. We provide an implementation of the method, SVJedi, to genotype SVs with long reads. The tool has been applied to both simulated and real human datasets and achieves high genotyping accuracy. We show that SVJedi obtains better performances than other existing long read genotyping tools and we also demonstrate that SV genotyping is considerably improved with SVJedi compared to other approaches, namely SV discovery and short read SV genotyping approaches. AVAILABILITY AND IMPLEMENTATION: https://github.com/llecompte/SVJedi.git. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Lolita Lecompte, Pierre Peterlongo, Dominique Lavenier, Claire Lemaitre |
Bioinform. | 3 |
| 2019 | Statistically Significant Discriminative Patterns Searching
Hoang-Son Pham, Gwendal Virlet, Dominique Lavenier, Alexandre Termier |
DaWaK | 3 |
| 2016 | DNA mapping using Processor-in-Memory architectureabstractThis paper presents the implementation of a mapping algorithm on a new Processing-in-Memory (PIM) architecture developed by UPMEM Company. UPMEM's solution consists in adding processing units into the DRAM, to minimize data access time and maximize bandwidth, in order to drastically accelerate data-consuming algorithms. The technology developed by UPMEM makes it possible to combine 256 cores with 16 GBytes of DRAM, on a standard DIMM module. An experimentation of DNA Mapping on Human genome dataset shows that a speed-up of 25 can be obtained with UPMEM technology compared to fast mapping software such as BWA, Bowtie2 or NextGenMap running on 16 Intel threads. Experimentation also highlight that data transfer from storage device limits the performances of the implementation. The use of SSD drives can boost the speed-up to 80. Dominique Lavenier, Jean-François Roy, David Furodet |
BIBM | 1 |
| 2015 | Reference-free compression of high throughput sequencing data with a probabilistic de Bruijn graphabstractBACKGROUND: Data volumes generated by next-generation sequencing (NGS) technologies is now a major concern for both data storage and transmission. This triggered the need for more efficient methods than general purpose compression tools, such as the widely used gzip method. RESULTS: We present a novel reference-free method meant to compress data issued from high throughput sequencing technologies. Our approach, implemented in the software LEON, employs techniques derived from existing assembly principles. The method is based on a reference probabilistic de Bruijn Graph, built de novo from the set of reads and stored in a Bloom filter. Each read is encoded as a path in this graph, by memorizing an anchoring kmer and a list of bifurcations. The same probabilistic de Bruijn Graph is used to perform a lossy transformation of the quality scores, which allows to obtain higher compression rates without losing pertinent information for downstream analyses. CONCLUSIONS: LEON was run on various real sequencing datasets (whole genome, exome, RNA-seq or metagenomics). In all cases, LEON showed higher overall compression ratios than state-of-the-art compression software. On a C. elegans whole genome sequencing dataset, LEON divided the original file size by more than 20. LEON is an open source software, distributed under GNU affero GPL License, available for download at http://gatb.inria.fr/software/leon/. Gaëtan Benoit, Claire Lemaitre, Dominique Lavenier, Erwan Drezen, Thibault Dayris, Raluca Uricaru, Guillaume Rizk |
BMC Bioinform. | 3 |
| 2015 | All-Pairs Shortest Path algorithms for planar graph for GPU-accelerated clusters
Hristo N. Djidjev, Guillaume Chapuis, Rumen Andonov, Sunil Thulasidasan, Dominique Lavenier |
J. Parallel Distributed Comput. | 5 |
| 2014 | Commet: Comparing and combining multiple metagenomic datasetsabstractMetagenomics offers a way to analyze biotopes at the genomic level and to reach functional and taxonomical conclusions. The bio-analyzes of large metagenomic projects face critical limitations: complex metagenomes cannot be assembled and the taxonomical or functional annotations are much smaller than the real biological diversity. This motivated the development of de novo metagenomic read comparison approaches to extract information contained in metagenomic datasets. However, these new approaches do not scale up large metagenomic projects, or generate an important number of large intermediate and result files. We introduce Commet (“COmpare Multiple METagenomes”), a method that provides similarity overview between all datasets of large metagenomic projects. Directly from non-assembled reads, all against all comparisons are performed through an efficient indexing strategy. Then, results are stored as bit vectors, a compressed representation of read files, that can be used to further combine read subsets by common logical operations. Finally, Commet computes a clusterization of metagenomic datasets, which is visualized by dendrogram and heatmaps. Nicolas Maillet, Guillaume Collet, Thomas Vannier, Dominique Lavenier, Pierre Peterlongo |
BIBM | 4 |
| 2014 | Efficient Multi-GPU Computation of All-Pairs Shortest PathsabstractWe describe a new algorithm for solving the all-pairs shortest-path (APSP) problem for planar graphs and graphs with small separators that exploits the massive on-chip parallelism available in today's Graphics Processing Units (GPUs). Our algorithm, based on the Floyd-War shall algorithm, has near optimal complexity in terms of the total number of operations, while its matrix-based structure is regular enough to allow for efficient parallel implementation on the GPUs. By applying a divide-and-conquer approach, we are able to make use of multi-node GPU clusters, resulting in more than an order of magnitude speedup over the fastest known Dijkstra-based GPU implementation and a two-fold speedup over a parallel Dijkstra-based CPU implementation. Hristo N. Djidjev, Sunil Thulasidasan, Guillaume Chapuis, Rumen Andonov, Dominique Lavenier |
IPDPS | 5 |
| 2014 | GATB: Genome Assembly & Analysis Tool BoxabstractMOTIVATION: Efficient and fast next-generation sequencing (NGS) algorithms are essential to analyze the terabytes of data generated by the NGS machines. A serious bottleneck can be the design of such algorithms, as they require sophisticated data structures and advanced hardware implementation. RESULTS: We propose an open-source library dedicated to genome assembly and analysis to fasten the process of developing efficient software. The library is based on a recent optimized de-Bruijn graph implementation allowing complex genomes to be processed on desktop computers using fast algorithms with low memory footprints. AVAILABILITY AND IMPLEMENTATION: The GATB library is written in C++ and is available at the following Web site http://gatb.inria.fr under the A-GPL license. CONTACT: [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Erwan Drezen, Guillaume Rizk, Rayan Chikhi, Charles Deltel, Claire Lemaitre, Pierre Peterlongo, Dominique Lavenier |
Bioinform. | 7 |
| 2013 | FAssem: FPGA Based Acceleration of De Novo Genome AssemblyabstractNext generation sequencing technologies produce large amounts of data at very low cost. They produce short reads of DNA fragments. These fragments have many overlaps, lots of repeats and may also include sequencing errors. The assembly process involves merging these sequences to form the original sequences. In recent years many software programs have been developed for this purpose. All of them take significant amount of time to execute. Velvet is a commonly used de novo assembly program. We propose a method to reduce the overall time for assembly by using pre-processing of the short read data on FPGAs and processing its output using Velvet. We show significant speed-ups with slight or no compromise on the quality of the assembled output. B. Sharat Chandra Varma 0001, Kolin Paul, M. Balakrishnan, Dominique Lavenier |
FCCM | 4 |
| 2013 | Seamless coarse grained parallelism integration in intensive bioinformatics workflowsabstractTo be easily constructed, shared and maintained, complex in silico bioinformatics analysis are structured as workflows. Furthermore, the growth of computational power and storage demand from this domain, requires workflows to be efficiently executed. However, workflow performances usually rely on the ability of the designer to extract potential parallelism. But atomic bioinformatics tasks do not often exhibit direct parallelism which may appears later in the workflow design process. François Moreews, Dominique Lavenier |
EuroMPI | 2 |
| 2013 | DSK: k-mer counting with very low memory usageabstractSUMMARY: Counting all the k-mers (substrings of length k) in DNA/RNA sequencing reads is the preliminary step of many bioinformatics applications. However, state of the art k-mer counting methods require that a large data structure resides in memory. Such structure typically grows with the number of distinct k-mers to count. We present a new streaming algorithm for k-mer counting, called DSK (disk streaming of k-mers), which only requires a fixed user-defined amount of memory and disk space. This approach realizes a memory, time and disk trade-off. The multi-set of all k-mers present in the reads is partitioned, and partitions are saved to disk. Then, each partition is separately loaded in memory in a temporary hash table. The k-mer counts are returned by traversing each hash table. Low-abundance k-mers are optionally filtered. DSK is the first approach that is able to count all the 27-mers of a human genome dataset using only 4.0 GB of memory and moderate disk space (160 GB), in 17.9 h. DSK can replace a popular k-mer counting software (Jellyfish) on small-memory servers. AVAILABILITY: http://minia.genouest.org/dsk Guillaume Rizk, Dominique Lavenier, Rayan Chikhi |
Bioinform. | 2 |
| 2012 | Compareads: comparing huge metagenomic experimentsabstractBACKGROUND: Nowadays, metagenomic sample analyses are mainly achieved by comparing them with a priori knowledge stored in data banks. While powerful, such approaches do not allow to exploit unknown and/or "unculturable" species, for instance estimated at 99% for Bacteria. METHODS: This work introduces Compareads, a de novo comparative metagenomic approach that returns the reads that are similar between two possibly metagenomic datasets generated by High Throughput Sequencers. One originality of this work consists in its ability to deal with huge datasets. The second main contribution presented in this paper is the design of a probabilistic data structure based on Bloom filters enabling to index millions of reads with a limited memory footprint and a controlled error rate. RESULTS: We show that Compareads enables to retrieve biological information while being able to scale to huge datasets. Its time and memory features make Compareads usable on read sets each composed of more than 100 million Illumina reads in a few hours and consuming 4 GB of memory, and thus usable on today's personal computers. CONCLUSION: Using a new data structure, Compareads is a practical solution for comparing de novo huge metagenomic samples. Compareads is released under the CeCILL license and can be freely downloaded from http://alcovna.genouest.org/compareads/. Nicolas Maillet, Claire Lemaitre, Rayan Chikhi, Dominique Lavenier, Pierre Peterlongo |
BMC Bioinform. | 4 |
| 2011 | Localized Genome Assembly from Reads to Scaffolds: Practical Traversal of the Paired String Graph
Rayan Chikhi, Dominique Lavenier |
WABI | 2 |
| 2010 | GASSST: global alignment short sequence search toolabstractMOTIVATION: The rapid development of next-generation sequencing technologies able to produce huge amounts of sequence data is leading to a wide range of new applications. This triggers the need for fast and accurate alignment software. Common techniques often restrict indels in the alignment to improve speed, whereas more flexible aligners are too slow for large-scale applications. Moreover, many current aligners are becoming inefficient as generated reads grow ever larger. Our goal with our new aligner GASSST (Global Alignment Short Sequence Search Tool) is thus 2-fold-achieving high performance with no restrictions on the number of indels with a design that is still effective on long reads. RESULTS: We propose a new efficient filtering step that discards most alignments coming from the seed phase before they are checked by the costly dynamic programming algorithm. We use a carefully designed series of filters of increasing complexity and efficiency to quickly eliminate most candidate alignments in a wide range of configurations. The main filter uses a precomputed table containing the alignment score of short four base words aligned against each other. This table is reused several times by a new algorithm designed to approximate the score of the full dynamic programming algorithm. We compare the performance of GASSST against BWA, BFAST, SSAHA2 and PASS. We found that GASSST achieves high sensitivity in a wide range of configurations and faster overall execution time than other state-of-the-art aligners. AVAILABILITY: GASSST is distributed under the CeCILL software license at http://www.irisa.fr/symbiose/projects/gassst/ CONTACT: [email protected]; [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Guillaume Rizk, Dominique Lavenier |
Bioinform. | 2 |
| 2009 | Implementing protein seed-based comparison algorithm on the SGI RASC-100 platformabstractThis paper describes a parallel FPGA implementation of a genomic sequence comparison algorithm for finding similarities between a large set of protein sequences and full genomes. Results comparable to the tblastn program from the BLAST family are provided while the computation is improved by a factor 19. The performances are mainly due to the parallelization of a critical code section on the SGI RASC-100 accelerator. Van Hoa Nguyen, Alexandre Cornu, Dominique Lavenier |
IPDPS | 3 |
| 2009 | Paired-end read length lower bounds for genome re-sequencing
Rayan Chikhi, Dominique Lavenier |
BMC Bioinform. | 2 |
| 2009 | PLAST: parallel local alignment search tool for database comparisonabstractBACKGROUND: Sequence similarity searching is an important and challenging task in molecular biology and next-generation sequencing should further strengthen the need for faster algorithms to process such vast amounts of data. At the same time, the internal architecture of current microprocessors is tending towards more parallelism, leading to the use of chips with two, four and more cores integrated on the same die. The main purpose of this work was to design an effective algorithm to fit with the parallel capabilities of modern microprocessors. RESULTS: A parallel algorithm for comparing large genomic banks and targeting middle-range computers has been developed and implemented in PLAST software. The algorithm exploits two key parallel features of existing and future microprocessors: the SIMD programming model (SSE instruction set) and the multithreading concept (multicore). Compared to multithreaded BLAST software, tests performed on an 8-processor server have shown speedup ranging from 3 to 6 with a similar level of accuracy. CONCLUSION: A parallel algorithmic approach driven by the knowledge of the internal microprocessor architecture allows significant speedup to be obtained while preserving standard sensitivity for similarity search problems. Van Hoa Nguyen, Dominique Lavenier |
BMC Bioinform. | 2 |
| 2008 | Ordered index seed algorithm for intensive DNA sequence comparisonabstractThis paper presents a seed-based algorithm for intensive DNA sequence comparison. The novelty comes from the way seeds are used to efficiently generate small ungapped alignments - or HSPs (high scoring pairs) - in the first stage of the search. W-nt words are first indexed and all the Aw possible seeds are enumerated following a strict order ensuring fast generation of unique HSPs. A prototype - written in C - has been realized and tested on large DNA banks. Speed-up compared to BLASTN range from 5 to 28 with comparable sensitivity. Dominique Lavenier |
IPDPS | 1 |
| 2008 | Efficient Parallelization of a Protein Sequence Comparison Algorithm on Manycore ArchitectureabstractThis paper introduces the Godson-T manycore architecture and demonstrates the efficiency of its synchronization mechanism through a computation intensive bioinformatics application: the comparison of protein banks. The parallel part of the protein sequence comparison algorithm can nearly get a linear speed-up thanks to a fine tuning of the synchronization mechanism provided by the Godson-T chip. Xiaochun Ye, Van Hoa Nguyen, Dominique Lavenier, Dongrui Fan |
PDCAT | 3 |
| 2008 | Optimal neighborhood indexing for protein similarity searchabstractBACKGROUND: Similarity inference, one of the main bioinformatics tasks, has to face an exponential growth of the biological data. A classical approach used to cope with this data flow involves heuristics with large seed indexes. In order to speed up this technique, the index can be enhanced by storing additional information to limit the number of random memory accesses. However, this improvement leads to a larger index that may become a bottleneck. In the case of protein similarity search, we propose to decrease the index size by reducing the amino acid alphabet. RESULTS: The paper presents two main contributions. First, we show that an optimal neighborhood indexing combining an alphabet reduction and a longer neighborhood leads to a reduction of 35% of memory involved into the process, without sacrificing the quality of results nor the computational time. Second, our approach led us to develop a new kind of substitution score matrices and their associated e-value parameters. In contrast to usual matrices, these matrices are rectangular since they compare amino acid groups from different alphabets. We describe the method used for computing those matrices and we provide some typical examples that can be used in such comparisons. Supplementary data can be found on the website http://bioinfo.lifl.fr/reblosum. CONCLUSION: We propose a practical index size reduction of the neighborhood data, that does not negatively affect the performance of large-scale search in protein sequences. Such an index can be used in any study involving large protein data. Moreover, rectangular substitution score matrices and their associated statistical parameters can have applications in any study involving an alphabet reduction. Pierre Peterlongo, Laurent Noé, Dominique Lavenier, Van Hoa Nguyen, Gregory Kucherov, Mathieu Giraud |
BMC Bioinform. | 3 |
| 2006 | Seed-based genomic sequence comparison using a FPGA/FLASH acceleratorabstractThis paper presents a parallel architecture for computing genomic sequence alignments using seed-based algorithms. Originality comes from the simultaneous use of FPGA components and flash memories. The FPGA technology brings the computer power while the flash memory provides high memory bandwidth able to feed a large array of specific operators. A 64 GBytes flash memory connected to a Xilinx Virtex-2 Pro PCI board has been developed and an array of 160 distance-computation operators have been implemented to perform the first step of seed-based alignment algorithms. Compared to the blast reference software family, we measured a speed-up of 75 on a real intensive genomic sequence comparison application Dominique Lavenier, Xinchun Liu, Gilles Georges |
FPT | 1 |
| 2006 | Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton
Mathieu Giraud, Philippe Veber, Dominique Lavenier |
CIAA | 3 |
| 2006 | Domain organization within repeated DNA sequences: application to the study of a family of transposable elementsabstractMOTIVATION: The analysis of repeated elements in genomes is a fascinating domain of research that is lacking relevant tools for transposable elements (TEs), the most complex ones. The dynamics of TEs, which provides the main mechanism of mutation in some genomes, is an essential component of genome evolution. In this study we introduce a new concept of domain, a segmentation unit useful for describing the architecture of different copies of TEs. Our method extracts occurrences of a terminus-defined family of TEs, aligns the sequences, finds the domains in the alignment and searches the distribution of each domain in sequences. After a classification step relative to the presence or the absence of domains, the method results in a graphical view of sequences segmented into domains. RESULTS: Analysis of the new non-autonomous TE AtREP21 in the model plant Arabidopsis thaliana reveals copies of very different sizes and various combinations of domains which show the potential of our method. AVAILABILITY: DomainOrganizer web page is available at www.irisa.fr/symbiose/DomainOrganizer/. Sébastien Tempel, Mathieu Giraud, Dominique Lavenier, Israël-César Lerman, Anne-Sophie Valin, Ivan Couée, Abdelhak El Amrani, Jacques Nicolas |
Bioinform. | 3 |
| 2005 | Dynamic programming for LR-PCR segmentation of bacterium genomesabstractAbstract Bacterium genome plasticity can efficiently be studied by the long‐range polymerase chain reaction (LR‐PCR) technique: genomes of different strains are split into hundreds of short segments which, after LR‐PCR amplification, are used to sketch profiles. The segments have to: (1) cover the entire genome; (2) overlap each other; and (3) be of nearly identical size. This paper addresses the problem of finding a list of segments satisfying these constraints ‘as much as possible’. Two algorithms based on dynamic programming approach are presented. They differ on the optimization criteria for measuring the quality of the covering. The first considers the maximal deviation of the segment lengths relatively to an ideal length. The second automatically finds a segment length that minimizes the maximal deviation. Copyright © 2005 John Wiley & Sons, Ltd. Rumen Andonov, Dominique Lavenier, Philippe Veber, Nicola Yanev |
Concurr. Comput. Pract. Exp. | 2 |
| 2005 | Cluster of re-configurable nodes for scanning large genomic banks
Stéphane Guyetant, Mathieu Giraud, Ludovic L'Hours, Steven Derrien, Stéphane Rubini, Dominique Lavenier, Frédéric Raimbault |
Parallel Comput. | 6 |
| 2004 | Dynamic Programming for LR-PCR Segmention of Bacterium GenomesabstractSummary form only given. Bacterium genome plasticity can efficiently be studied by long-range PCR: genomes of different strains are split into hundreds of short segments which, after LR-PCR amplification, are used to sketch profiles. The segments have : (1) to cover the entire genome, (2) to overlap each other, and (3) to be of nearly identical size. We address the problem of finding a list of segments satisfying these constraints "as much as possible". Two algorithms based on dynamic programming approach are presented. They differ on the optimization criteria for measuring the quality of the covering. The first one considers the maximal deviation of the segment lengths relatively to an ideal length. The second one automatically finds a segment length which minimizes the maximal deviation. Rumen Andonov, Dominique Lavenier, Philippe Veber, Nicola Yanev |
IPDPS | 2 |
| 2004 | Linear Encoding Scheme for Weighted Finite Automata
Mathieu Giraud, Dominique Lavenier |
CIAA | 2 |
| 2003 | Experience with a Hybrid Processor: K-Means Clustering
Maya B. Gokhale, Janette Frigo, Kevin McCabe, James Theiler, Christophe Wolinski, Dominique Lavenier |
J. Supercomput. | 6 |
| 2001 | Mutable Functional Units: Initial Results
Yan Solihin, Kirk W. Cameron, Dominique Lavenier, Maya B. Gokhale |
FCCM | 4 |
| 2001 | Evaluation of the streams-C C-to-FPGA compiler: an applications perspectiveabstractThe Streams-C compiler ([5]) synthesizes hardware circuits for reconfigurable FPGA-based computers from parallel C programs. The Streams-C language consists of a small number of libraries and intrinsic functions added to a synthesizable subset of C, and supports a communicating process programming model. The processes may be either software or hardware processes, and the compiler manages communication among the processes transparently to the programmer. For the hardware processes, the compiler generates Register-Transfer-Level (RTL) VHDL, targeting multiple FPGAs with dedicated memories. For the software processes, a multi-threaded software program is generated. Janette Frigo, Maya B. Gokhale, Dominique Lavenier |
FPGA | 3 |
| 2001 | Placing, Routing, and Editing Virtual FPGAs
Loïc Lagadec, Dominique Lavenier, Erwan Fabiani, Bernard Pottier |
FPL | 2 |
| 2001 | Mutable Functional Units and Their Applications on MicroprocessorsabstractFunctional units are the heart of microprocessors as they execute binary instructions of a program. Current microprocessors typically have several types of functional units. In this paper, we propose a new functional unit that combines a floating-point adder and an integer arithmetic and logic unit into a single unit. This functional unit reconfigures itself at run-time to serve different instructions from the program instruction stream. We call such units mutable functional units or MFUs. MFUs can be used in microprocessors to improve functional unit utilization, reduce power consumption, and to improve performance without adding extra functional units. MFUs only require, minor modifications to the existing floating-point adder design. We show that overheads of reconfiguration are small, typically 0 to 1 clock cycle, and at most 2 clock cycles. We demonstrate how integration with a typical current microprocessor can be achieved. This integration allows speedups of non-numerical applications by 8% to 14% while keeping the number of functional units constant. We also show that various enhancements to the base architecture that increase the instruction fetch rate affect the speedups positively. Yan Solihin, Kirk W. Cameron, Dominique Lavenier, Maya B. Gokhale |
ICCD | 4 |
| 2000 | An FPGA systolic array using pseudo-random bit generators for computing Goldbach partitions
Dominique Lavenier |
Integr. | 1 |
| 1997 | SAMBA: hardware accelerator for biological sequence comparisonabstractMOTIVATION: SAMBA (Systolic Accelerator for Molecular Biological Applications) is a 128 processor hardware accelerator for speeding up the sequence comparison process. The short-term objective is to provide a low-cost board to boost PC or workstation performance on this class of applications. This paper places SAMBA amongst other existing systems and highlights the original features. RESULTS: Real performance obtained from the prototype is demonstrated. For example, a sequence of 300 amino acids is scanned against SWISS-PROT-34 (21 210 389 residues) in 30 s using the Smith and Waterman algorithm. More time-consuming applications, like the bank-to-bank comparison, are computed in a few hours instead of days on standard workstations. Technology allows the prototype to fit onto a single PCI board for plugging into any PC or workstation. AVAILABILITY: SAMBA can be tested on the WEB server at URL http://www.irisa.fr/SAMBA/. Pascale Guerdoux-Jamet, Dominique Lavenier |
Comput. Appl. Biosci. | 2 |
| 1995 | Systolic Filter for Fast DNA Similarity SearchabstractThis paper presents a systolic filter for speeding up the scan of DNA databases. The filter acts as a co-processor which performs the more intensive computations occurring during the process. Our validation, based on a FPGA prototype board tightly connected to a workstation, has shown that the filter may boost the performance of the machine by a factor ranging from 50 to 400 over current workstations. Pascale Guerdoux-Jamet, Dominique Lavenier |
ASAP | 2 |
| 1994 | From behavioral to RTL models: an approachabstractPresents an approach for developing register transfer level (RTL) system models from behavioral models. Synchronous data flow principals are used to assist the transition. Our approach is based on a model of synchronous VLSI components which describes both their behavior, and their timing diagrams at a register transfer level. The component model permits the verification of correct synchronization at a system level. Initialization and termination conditions are explicitly checked.> Dominique Lavenier, Roderick McConnell |
RSP | 1 |
| 1994 | From Equations to Hardware. Towards the Systematic Mapping of Algorithms onto Parallel ArchitecturesabstractAdvances in VLSI technology make it possible to realize systems of very high complexity in a small volume of hardware using integration. In many application fields, it is necessary to implement certain algorithms, or even complete information processing systems, directly in silicon. Application domains which are likely to benefit are in the fields of signal processing and scientific computing. In this paper, we consider several steps which we believe to be essential in the design path of a special purpose architecture, and we present methodologies for achieving design requirements. These solutions are based on experience gathered in the Parallel VLSI Architecture group of IRISA. Patrice Frison, François Charot, Eric Gautrin, Dominique Lavenier, Patrice Quinton, Frédéric Raimbault, Charles Wagner |
Int. J. Pattern Recognit. Artif. Intell. | 4 |
| 1993 | I/O data management on SIMD systolic arraysabstractA mechanism for overlapped I/O management operations and computations on a SIMD linear systolic arrays is presented. This mechanism is based on two synchronized controllers allowing a speedup factor of two over SIMD machines without overlapped facility. Optimal code generation is achieved using the ReLaCS environment, specifically designed for the architectural features of overlapped SIMD systolic arrays.> Patrice Frison, Dominique Lavenier, Frédéric Raimbault |
ASAP | 2 |
| 1993 | RELACS for systolic programmingabstractThe RELACS language is a systolic programming language, which simplifies the programmer's task by making explicit the data-flow of systolic algorithms, and by exposing the data delivery mechanism. The underlying architecture model is different from other SIMD architectures in that it physically separates computation and data management. The authors introduce the RELACS language as a syntaxic and a sermantic extension of the C language. It is shown that the RELACS programming model provides a simple programming method for systolic algorithms, which is applicable to a variety of parallel machines.> Frédéric Raimbault, Dominique Lavenier |
ASAP | 2 |
| 1993 | An integrated 2D systolic array for spelling correction
Dominique Lavenier |
Integr. | 1 |
| 1990 | Designing specific systolic arrays with the API15C chipabstractThe API15C processor, a building block for different systolic structures, is designed exclusively for single-instruction-multiple data (SIMD) execution mode. To support this mode, the instruction set includes special control instructions. Three parallel I/O ports are available for different interconnection schemes. The API15C chip is designed in a CMOS 2- mu m technology. It contains 45000 transistors on a 6-mm $M6.2-mm silicon area. The functionality of the circuit was tested successfully after the first run. It executes one instruction per clock phase of 100 ns, giving a global rate of 10 MIPS. To validate this processing element as a building block for systolic structures, a programmable interface and two single board machines were developed. The first is an 18 processor linear structure able to support a wide range of applications. The second is a 28 processor bidimensional structure for a specific application of string comparison. The instruction set is particularly well-suited for SIMD operation.> Patrice Frison, Eric Gautrin, Dominique Lavenier, J. L. Scharbarg |
ASAP | 3 |