关注
David Kozak
David Kozak
Brno University Of Technology
在 fit.vutbr.cz 的电子邮件经过验证
标题
引用次数
引用次数
年份
Software architecture reconstruction for microservice systems using static analysis via graalvm native image
R Hutcheson, A Blanchard, N Lambaria, J Hale, D Kozak, AS Abdelfattah, ...
2024 IEEE International Conference on Software Analysis, Evolution and …, 2024
52024
Scaling Type-Based Points-to Analysis with Saturation
C Wimmer, C Stancu, D Kozak, T Würthinger
Proceedings of the ACM on Programming Languages 8 (PLDI), 990-1013, 2024
22024
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
D Kozak, V Jovanovic, C Stancu, T Vojnar, C Wimmer
Proceedings of the 20th ACM SIGPLAN International Conference on Managed …, 2023
22023
系统目前无法执行此操作，请稍后再试。
文章 1–3