Ing.

David Kozák

Student doktorského studia


ikozak@fit.vut.cz
A220 Pracovna
175135/osobní číslo VUT

Publikace

  • 2024

    KOZÁK David, STANCU Codrut, WIMMER Christian a WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. In: Proceedings of the ACM on Programming Languages. New York, 2024, s. 990-1013.
    Detail

    ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David a LAMBARIA Noah. 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, 2024, s. 12-22. ISBN 979-8-3503-3066-3.
    Detail

  • 2023

    JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš a WIMMER Christian. 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, s. 129-142. ISBN 979-8-4007-0380-5.
    Detail

  • 2017

    KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. 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.
    Detail

Nahoru