David Kozak

Orcid: 0000-0002-8846-922X

According to our database1, David Kozak authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2021
2022
2023
2024
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Scaling Type-Based Points-to Analysis with Saturation.
Proc. ACM Program. Lang., 2024

Software Architecture Reconstruction for Microservice Systems Using Static Analysis via GraalVM Native Image.
Proceedings of the IEEE International Conference on Software Analysis, 2024

2023
Zeroth-order optimization with orthogonal random directions.
Math. Program., May, 2023

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image.
Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

2021
A stochastic subspace approach to gradient-free optimization in high dimensions.
Comput. Optim. Appl., 2021


  Loading...