FinIS: Improved in silico finishing using an exact quadratic programming formulation

Song Gao, Denis Bertrand, Niranjan Nagarajan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

17 Citations (Scopus)


With the increased democratization of sequencing, the reliance of sequence assembly programs on heuristics is at odds with the need for black-box assembly solutions that can be used reliably by non-specialists. In this work, we present a formal definition for in silico assembly validation and finishing and explore the feasibility of an exact solution for this problem using quadratic programming (FinIS). Based on results for several real and simulated datasets, we demonstrate that FinIS validates the correctness of a larger fraction of the assembly than existing ad hoc tools. Using a test for unique optimal solutions, we show that FinIS can improve on both precision and recall values for the correctness of assembled sequences, when compared to competing programs. Source code and executables for FinIS are freely available at projects/finis/.

Original languageEnglish
Title of host publicationAlgorithms in Bioinformatics - 12th International Workshop, WABI 2012, Proceedings
Number of pages12
Publication statusPublished or Issued - 1 Oct 2012
Event12th International Workshop on Algorithms in Bioinformatics, WABI 2012 - Ljubljana, Slovenia
Duration: 10 Sep 201212 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7534 LNBI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th International Workshop on Algorithms in Bioinformatics, WABI 2012


  • Finishing
  • Genome Assembly
  • Graph Algorithms
  • Quadratic Programming

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this