Volume 38, issue 6, part 2
News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
Proceedings of the Institute for System Programming. Volume 38, issue 6, part 2, 2026, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician of RAS A.I. Avetisyan
Table of Contents
Nikulshin P.A., Dubich E.V., Khoroshilov A.V. SyzAnalyzer: A tool for analysing difficult-to-reproduce errors in the Linux kernel pp. 7-20
Ishchenko A.D., Anureev I.S. Using static analysis to reduce the number of verification conditions generated for Reflex programs pp. 21-40
Zelenov S.V. Automated Test Case Generation for Optimizers Based on Attribute Grammar pp. 41-56
Pervunetskikh E.D. Using TLA+ and the Tsay-Li Framework for Building Transactional Memory Models pp. 57-66
Parshin M.A., Stepanov D.S. Automatic Test Generation from Execution State Using Large Language Models. pp. 67-92
Back to the list of all volumes 