Deadlock Vulnerabilities is a class of software vulnerability arising when concurrent processes or threads mutually block each other by each holding resources needed by another, thereby preventing all from progressing and creating exploitable system halts under specific scheduling conditions.
8
Publications
231
Citations
27
Authors
21
Institutions
Publications per year
2017–2026
1
Publications
8
Pulse: a dynamic deadlock detection mechanism using speculative execution
Tong Li, Carla Ellis, Alvin R. Lebeck et al. · 2005 · 63 citations
Fencing off go: liveness and safety for channel-based programming
Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2016 · 62 citations · Full text
Fencing off go: liveness and safety for channel-based programming
Julien Lange, Nicholas Ng, Bernardo Toninho et al. · ACM SIGPLAN Notices · 2017 · 21 citations
1–5 of 8
Authors
27
- JL
2
h-index
- NY
2
h-index
- NN
2
h-index
- BT
2
h-index
- PCPatrick Carribault
Commissariat à l'Énergie Atomique et aux Énergies Alternatives, France
1 publications · 13 citations
1
h-index
1–5 of 27
Institutions
21
Imperial College London
London, United Kingdom
2 h-index
8 publications
332 citations
CEA DAM Île-de-France
Bruyères-le-Châtel, France
1 h-index
2 publications
26 citations
IBM Research - Haifa
Haifa, Israel
1 h-index
3 publications
102 citations
IBM (United States)
Armonk, United States
1 h-index
3 publications
102 citations
Stony Brook University
Stony Brook, United States
1 h-index
1 publications
34 citations
Harvard University Press
Cambridge, United States
1 h-index
1 publications
10 citations
Jet Propulsion Laboratory
Pasadena, United States
1 h-index
1 publications
34 citations
Verimag
Gières, France
1 h-index
1 publications
34 citations
1–8 of 21
Venues
- ACM SIGPLAN Notices
1 publications · 21 citations
1
h-index
- SSRN Electronic Journal
Repository · 1 publications · 10 citations
1
h-index
- IBM Journal of Research and Development
1 publications · 34 citations
1
h-index
1–3