[Preprint] KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Published in The 31st Symposium on Operating Systems Principles, 1900
Posts by Collection
publications
teaching
NIS8017: Vulnerability Discovery and Analysis
Graduate course, SJTU, 2023
This is a description of a teaching experience. You can use markdown like any other post.