A stochastic subspace approach to gradient-free optimization in high dimensions. - David Kozak; Stephen Becker; Alireza Doostan; Luis Tenorio (Comput. Optim. Appl., 2021)

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. - David Kozak; Vojin Jovanovic; Codrut Stancu; Tomás Vojnar; Christian Wimmer (MPLR, 2023)

Zeroth-order optimization with orthogonal random directions. - David Kozak; Cesare Molinari; Lorenzo Rosasco; Luis Tenorio; Silvia Villa (Math. Program., 2023)

Software Architecture Reconstruction for Microservice Systems Using Static Analysis via GraalVM Native Image. - Richard Hutcheson; Austin Blanchard; Noah Lambaria; Jack Hale; David Kozak; Amr S. Abdelfattah; Tomás Cerný (SANER, 2024)

Scaling Type-Based Points-to Analysis with Saturation. - Christian Wimmer; Codrut Stancu; David Kozak; Thomas Würthinger (Proc. ACM Program. Lang., 2024)

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. - David Kozak; Codrut Stancu; Tomás Vojnar; Christian Wimmer (CGO, 2025)