Information Density: UNIPRO – Signal Evidence & AI Readability

[IMG: UNIPRO Office]
UNIPRO is a software development company, specializing in everything from compilers and mathematical libraries to bioinformatics software and business applications.For more than 30 years, we have been working in the international IT market, collaborating with high-tech businesses, research institutions, and educational organizations.Our engineers are skilled in the best software development practices. The team also has unique IT expertise. Most clients work with UNIPRO for years, thanks to the efforts of the entire team – from testers to top managers.The company is a resident of the Novosibirsk Akadempark, a member of the SibAcademSoft association, and accredited by the Russian Ministry of Communications.Areas of ExpertiseOur main areas of expertiseCompilers and Virtual MachinesDeveloping virtual machines and compilers is a core competence of UNIPRO.Porting and Development for ElbrusWe create, maintain, and port third-party software for the Russian "Elbrus" platform.Mathematical LibrariesMathematical libraries and software for mathematical modeling.BioinformaticsThe company creates diverse software for biological data analysis.TestingTest suites for programming languages, performance analysis, stress testing, and more.Application SoftwareCorporate systems, industry solutions, and scientific applications – development and support.ProductsOur own developments and supported Open Source solutionsUSPARSA multi-platform direct solver for large sparse linear systems on multiprocessor systems with shared memory.
[IMG: UGENE]
UGENEAn integrated bioinformatics environment for comprehensive analysis of molecular sequences, open-sourced under the GPL license.Clang/LLVMCompilers and toolchain based on LLVM for x86, ARM, AArch64, RISC-V, Elbrus (e2k), C/C++ architectures.GeneCutA service for gene assembly design and molecular cloning.

[H1] Compilers and Virtual Machines (VM)
[IMG: Development]
Our company has been working on compilers and virtual machines since its inception, which is more than a quarter of a century! The most renowned IT corporations trust our expertise in this field.We develop optimizing compilers, runtime environments, and backends for various general-purpose and specialized architectures. For our clients' needs, we have completed several projects on static compilers for programming languages like C, C++, Fortran, and specialized dialects. We are also creating our open-source Java VM based on LLVM – the Alhambra project.We have gained extensive experience in developing and porting highly efficient virtual machines for modern dynamic languages, including Java, C#, and JavaScript, to new architectures. We conduct additional research on clients' critical scenarios and offer solutions to optimize bottlenecks.Examples of our developments successfully deployed in production:
[H2] Static Compiler and SDK for NPU ASIC (since 2017), proprietary VLIW architecture
We have developed a complete SDK toolset (optimizing C dialect compiler, assembler, disassembler, debugger) based on the LLVM+clang framework. The development started with LLVM4, and the project has since been updated to LLVM12.The compiler's code generator supports five generations of architecture with significantly different encodings. The necessary set of machine-dependent optimizations (machine loop transformation, loop unrolling & software pipelining, if-conversion, instruction scheduler, etc.) has been implemented, allowing for high code density and respectable performance. A vast (3000+ methods) vector intrinsics library is supported (both at the high level and in the LLVM IR), with several high-level optimizations over such intrinsics developed.The modular architecture of LLVM allowed our code generator to be used for creating compilers from other languages, including the MLIR project. Work has begun on a universal recompilation mechanism for future architecture generations during execution.
[H2] Dynamic Languages for "Elbrus"
As a result of our long-term collaboration with MCST, Russian "Elbrus" processors now support major modern programming languages that are widely used around the world. Our team builds reliable system products based on popular software solutions and original components of our own design. For example, the code generation process was moved to the Tango library, which is used for the implementation of various language platforms.Below are descriptions of projects related to development on the "Elbrus" platform.
[H2] Java Virtual Machine for the "Elbrus" Platform (since 2011)
The Russian Virtual Machine (RVM) Java VM was implemented based on the OpenJDK open-source virtual machine. Over 10 years of work on the project, we have fully supported OpenJDK versions 6, 8, and 11 for the "Elbrus" platform. RVM is fully compatible with Oracle's J2SE specifications.The just-in-time compiler developed for the "Elbrus" platform is optimized, achieving performance comparable to that of similar Intel processors.The code generation process was moved to the Tango library, which can be further used for implementing other language platforms.Work is currently underway to support versions 8 and 11 and further improve performance.
[H2] JavaScript Language Support for the "Elbrus" Platform (since 2016)
Two JavaScript runtime environments have been ported to the "Elbrus" platform.The SpiderMonkey script engine has been integrated into the Mozilla Firefox browser, which is part of the "Elbrus" operating system.The v8 script engine has been successfully integrated into the node.js platform, primarily used as a web server.Work is ongoing to enhance the JIT compilers of both the SpiderMonkey and v8 environments and improve performance.
[H2] C# Language Support for the "Elbrus" Platform (since 2016)
The first implementation of the C# language on the "Elbrus" platform was based on the Mono project, which has a toolkit compatible with the .NET SDK. The result was a release of Mono with support for version 3.2, followed by releases for versions 4.5 and now 6.12.Subsequently, the .NET SDK platform was ported. In early 2022, the first release of the .NET Core 3.1 platform on "Elbrus" was launched. Work has begun on .NET 6.Both implementations have been provided to corporate users for testing their applications. The "UNIPRO" team provides technical support to users. Ongoing work is being done to improve stability and performance.
[H2] Java Platform Implementation for Cloud Virtualization by Waratek Inc (2011-2016) on x86_64 architecture.
The virtual machine DRLVM from the Apache Harmony project formed the basis of the implementation. A universal interface was developed to bridge the VM with class libraries, allowing for multiple library implementations (Apache Harmony, OpenJDK), core class packages were modified, and full JCK certification for JavaSE versions 6 and 7 was achieved.The virtual machine was significantly improved: numerous bugs (especially in multithreading) were fixed, and the stability and performance of all runtime components, including class loading, verification, garbage collection, profiling, and JIT-compiled code versioning, were improved. The G1 garbage collector was transplanted from OpenJDK HotspotVM. Support for lightweight containerization of independent Java applications within a single VM process was implemented. The optimizing JIT compiler underwent extensive improvements, including the addition of new high-level optimizations (escape analysis, class hierarchy analysis, string optimizations, intrinsics for cryptography, math, XML processing, etc.) and enhancements to the x86_64 code generator. These efforts allowed us to catch up with and even surpass competitors (OpenJDK Hotspot, IBM J9) on certain benchmarks.
[H2] Sun Studio Fortran 95 Compiler
During our collaboration with Sun Microsystems, "UNIPRO" implemented interval data type support for the Fortran compiler. This implementation was integrated into the standard compiler provided by Sun Microsystems, fully supporting the new INTERVAL type with corresponding operations, built-in functions, and intrinsics. Several library functions using this type were also developed, including guaranteed solutions for nonlinear equations and global optimization of nonlinear functions.

[H1] Mathematical Libraries and Software for Mathematical Modeling
[IMG: Mathematical Libraries]
Since 2014, Unipro has been working on the development of mathematical software designed to support computational tasks across various platforms. The main areas of this work include supporting computations on the "Elbrus" platform and creating tools for solving problems that arise in mathematical modeling. Additionally, in collaboration with scientists from the Siberian Branch of the Russian Academy of Sciences, Unipro's employees are working on original software for solving large sparse systems of equations.
[H2] Supporting Computations on the "Elbrus" Platform
As part of the "Elbrus" project, we are optimizing functions for the EML "Elbrus" mathematical library and porting and optimizing popular open-source computational libraries. The following projects have been completed or are in progress:In the EML mathematical functions library for the "Elbrus" architecture, several linear algebra functions for sparse matrices and image processing functions have been implemented;The HPCG benchmark has been adapted and optimized for the "Elbrus" platform, allowing uniform assessment of the throughput of various multiprocessor systems;The latest version of the OpenCV computer vision package has been ported to the "Elbrus" platform with corresponding optimizations, providing comparable performance to x86;The LibreSSL encryption library has been ported and optimized for the "Elbrus" platform;The JavaCV library for OpenCV's Java interfaces has been ported to the "Elbrus" platform;An optimized digital signal processing (DSP) function library has been developed for a specialized DSP coprocessor.
[H2] Software Solutions for Supporting Mathematical Modeling
The list of the main tools we have developed or are currently developing includes the following software products:High-performance, highly accurate elementary functions library using quadratic polynomial approximation (custom order);USPARS - a direct solver for sparse linear systems of equations for the "Elbrus," ARM, and x86 platforms, providing competitive performance with the best counterparts;UTERM - a software package for calculating temperature distribution in complex multilayer structures, such as processors.Custom projects are implemented based on the USPARS and UTERM projects.

[H1] Bioinformatics
[IMG: Bioinformatics]
The Bioinformatics division at "UNIPRO" was launched in 2003 when our first specialized IT tool for biologists was developed and released. It allowed for pairwise comparison of complete genetic sequences of different species. Today, we are developing and supporting both our own bioinformatics products and custom projects.
[H2] UGENE
In 2008, the company's new flagship product in bioinformatics, UGENE, was introduced, and the company continues to actively develop it today. UGENE is free software for molecular biologists, available on Windows, macOS, and Linux. UGENE is very easy to install and use, integrating various tools and methods for comprehensive analysis of molecular sequences within a single multifunctional graphical interface.The project supports flexible integration of third-party programs. For example, within the framework of grants funded by the European Union, the United States, and Russia, as well as through orders from commercial companies, tools for high-throughput sequencing data analysis, variant calling, transcriptomics, metagenomics, and much more have been added to the open version of UGENE.In addition to the basic open version of UGENE, the company offers services for developing custom bioinformatics applications, accessible only to the client.Today, development is focused on several areas: new algorithms for sequencing data processing, optimization of existing algorithms, improving the graphical interface, creating automated computational pipelines, integrating various new analysis methods, enabling biologists to work with databases, and implementing online services.Okonechnikov K, Golosova O, Fursov M, the UGENE team. Unipro UGENE: a unified bioinformatics toolkit. Bioinformatics 2012 28: 1166-1167. doi:10.1093/bioinformatics/bts091Golosova O, Henderson R, Vaskin Y, Gabrielian A, Grekhov G, Nagarajan V, Oler AJ, Quiñones M, Hurt D, Fursov M, Huyen Y. Unipro UGENE NGS pipelines and components for variant calling, RNA-seq and ChIP-seq data analyses. PeerJ 2014 2:e644. doi:10.7717/peerj.644
[H2] GeneCut
The GeneCut program is designed for conducting in silico experiments on gene assembly and molecular cloning. It is implemented as a web service. The program allows splitting nucleotide sequences into short and long blocks using proven scientific algorithms and then assembling new genetic constructs from the resulting fragments. Additionally, various auxiliary manipulations with amino acid and nucleotide sequences can be performed.The results obtained in the program serve as a basis for subsequent laboratory experiments. Detailed reports generated by the program are stored in a cloud database. To start using the web service, all you need to do is create an account.