From c6ec708375e0f0f670f8ae7c11c94f09ce03f673 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 17 Apr 2023 09:22:45 +0200 Subject: docs: add precise race detection research paper --- docs/research.md | 1 + 1 file changed, 1 insertion(+) (limited to 'docs') diff --git a/docs/research.md b/docs/research.md index 5a7d228c6..df7d004c6 100644 --- a/docs/research.md +++ b/docs/research.md @@ -1,6 +1,7 @@ # Research work based on syzkaller _newer first_ +* [Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis](https://www.cs.columbia.edu/~gabe/files/oakland2023_pla.pdf) * [Linux Kernel Enriched Corpus](https://github.com/cmu-pasta/linux-kernel-enriched-corpus) : [corpus.db](https://github.com/cmu-pasta/linux-kernel-enriched-corpus/raw/main/corpus.db) * [HotBPF - An On-demand and On-the-fly Memory Protection](https://www.youtube.com/watch?v=1KSLTsgxaSU) * [KASPER: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel](https://www.vusec.net/projects/kasper/) -- cgit mrf-deployment