Publications

• 2025

  KOZÁK, D.; STANCU, C.; VOJNAR, T.; WIMMER, C. SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. In Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. New York: Association for Computing Machinery, 2025. p. 347-361. ISBN: 979-8-4007-1275-3.
  Detail | WWW

• 2024

  WIMMER, C.; STANCU, C.; KOZÁK, D.; WUERTHINGER, T. Scaling Type-Based Points-to Analysis with Saturation. Proceedings of the ACM on Programming Languages, 2024, vol. 8, no. PLDI, p. 990-1013. ISSN: 2475-1421.
  Detail | WWW | Full text in the Digital Library

  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

• 2023

  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

• 2017

  KOZÁK, D.; KŘENA, B.; ŠIMKOVÁ, H.; VOJNAR, T. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: 2017. p. 25-25.
  Detail | WWW

*) Publications are generated once a 24 hours.