Ing.

David Kozák

FIT, UITS – vědecký pracovník

Odeslat VUT zprávu

Ing. David Kozák

Publikace

  • 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. s. 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. s. 25-25.
    Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.