Immediate Impact
3 standout
Citing Papers
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
2023 Standout
Human-in-the-loop machine learning: a state of the art
2022 Standout
Works of David Costanzo being referenced
CertiKOS: an extensible architecture for building certified concurrent OS kernels
2016
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| David Costanzo | 34 | 28 | 70 | 5 | 86 | |
| Xiongnan Wu | 35 | 30 | 75 | 6 | 88 | |
| Daniel Matichuk | 41 | 26 | 92 | 7 | 106 | |
| Peter Gammie | 33 | 33 | 80 | 6 | 92 | |
| Daniel K. Blandford | 30 | 14 | 55 | 7 | 79 | |
| William R. Bevier | 31 | 47 | 70 | 5 | 87 | |
| Alexandru Sălcianu | 26 | 35 | 61 | 6 | 73 | |
| Debra A. Lelewer | 71 | 34 | 127 | 4 | 179 | |
| Stephen Tse | 40 | 8 | 70 | 6 | 79 | |
| Simon Peyton-Jones | 29 | 14 | 50 | 5 | 68 | |
| Dirk Leinenbach | 22 | 26 | 42 | 4 | 60 |
All Works
Loading papers...