Vilhelm Sjöberg

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

Human-in-the-loop machine learning: a state of the art

CertiKOS: an extensible architecture for building certified concurrent OS kernels