Ing.

David Kozák

Ph.D. student


ikozak@fit.vut.cz
A220 Office
175135/BUT personal ID

Publications

  • 2024

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

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

  • 2023

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

  • 2017

    KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and 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

Back to top