David Kozak

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

High Dimensions

Software Architecture

Stochastic Optimization

Static Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Christian Wimmer, Codrut Stancu, David Kozak, Thomas Würthinger
Scaling Type-Based Points-to Analysis with Saturation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Richard Hutcheson, Austin Blanchard, Noah Lambaria, Jack Hale, David Kozak, Amr S. Abdelfattah, Tomás Cerný
Software Architecture Reconstruction for Microservice Systems Using Static Analysis via GraalVM Native Image. SANER (2024)
David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. MPLR (2023)
David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. CoRR (2023)
David Kozak, Cesare Molinari, Lorenzo Rosasco, Luis Tenorio, Silvia Villa
Zeroth-order optimization with orthogonal random directions. Math. Program. 199 (1) (2023)
David Kozak, Stephen Becker, Alireza Doostan, Luis Tenorio
A stochastic subspace approach to gradient-free optimization in high dimensions. Comput. Optim. Appl. 79 (2) (2021)