Proceedings of ISP RAS are a double-blind peer-reviewed journal publishing scientific articles in the areas of computer science, system programming, and software engineering. Journal provides open access to high quality scientific papers written in English and Russian.
The journal is intended for researchers, students, and practitioners. It covers a wide variety of topics including (but not limited to):
- Operating Systems;
- Compiler Technology;
- Databases and Information Systems;
- Parallel and Distributed Systems;
- Software Engineering;
- Software Modeling and Design Tools;
- Verification, Validation, and Testing;
- Static and Dynamic Analysis;
- Software Safety and Security;
- Computer Algorithms;
- Artificial Intelligence.
