Czech Science Foundation - Standardní projekty

- part funder (2023-01-01 - 2025-12-31)

GA23-06506S

Czech

Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible

Department of Intelligent Systems
- beneficiary (2022-03-29 - 2025-12-31)
Faculty of Informatics MU
- co-beneficiary (2022-03-29 - 2025-12-31)

HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca: 2023. p. 1-32.
Detail

KOZÁK, D.; JOVANOVIC, V.; STANCU, C.; VOJNAR, T.; WIMMER, C. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023. p. 129-142. ISBN: 979-8-4007-0380-5.
Detail

KOZÁK, D.; STANCU, C.; WIMMER, C.; WÜRTHINGER, T. Scaling Type-Based Points-to Analysis with Saturation. In Proceedings of the ACM on Programming Languages. Proceedings of the ACM on Programming Languages. New York: 2024. p. 990-1013. ISSN: 2475-1421.
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 392-412. ISSN: 0302-9743.
Detail

MALÍK, V.; NEČAS, F.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Arrays and Loop Unwinding (Competition Contribution). In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Paris: Springer International Publishing, 2023. p. 529-534. ISBN: 978-3-031-30819-2.
Detail

KOZÁK, D.; ČERNÝ, T.; ABDELFATTAH, A.; BLANCHARD, A.; HALE, J.; HUTCHESON, R.; LAMBARIA, N. Software Architecture Reconstruction for Microservice Systems using Static Analysis via GraalVM Native Image. In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Los Alamitos: Institute of Electrical and Electronics Engineers, 2024. p. 12-22. ISBN: 979-8-3503-3066-3.
Detail

DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0.
Detail

MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: PredatorHP v3.1415; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (software)
Detail

KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
Detail