Runtime Safety is a formal guarantee mechanism within the broader class of runtime environments that ensures program execution adheres to safety policies by preventing unauthorized memory access, type violations, and undefined behaviors during execution.
52
Publications
2.7K
Citations
169
Authors
65
Institutions
Publications per year
2017–2026
14
Parents
Publications
52
Extensibility safety and performance in the SPIN operating system
Brian N. Bershad, Stefan Savage, Przemysław Pardyak et al. · 1995 · 955 citations
Karl Crary, Stephanie Weirich · 2000 · 221 citations · Full text
Runtime safety analysis of multithreaded programs
Koushik Sen, Grigore Roşu, Gul Agha · 2003 · 79 citations
1–5 of 52
Authors
169
- NY
4
h-index
- KS
3
h-index
- GR
3
h-index
- GA
3
h-index
- JA
2
h-index
1–5 of 169
Institutions
65
Imperial College London
London, United Kingdom
4 h-index
12 publications
406 citations
University of Washington
Seattle, United States
2 h-index
16 publications
8.2K citations
Fraunhofer Institute for Experimental Software Engineering
Kaiserslautern, Germany
2 h-index
3 publications
68 citations
University of Illinois Urbana-Champaign
Urbana, United States
2 h-index
4 publications
79 citations
Harvard University Press
Cambridge, United States
2 h-index
3 publications
113 citations
Massachusetts Institute of Technology
Cambridge, United States
2 h-index
2 publications
109 citations
University College London
London, United Kingdom
2 h-index
2 publications
109 citations
Google (United States)
Mountain View, United States
2 h-index
14 publications
763 citations
1–8 of 65
Venues
- ACM SIGPLAN Notices
3 publications · 110 citations
3
h-index
- arXiv (Cornell University)
Repository · 3 publications · 67 citations
3
h-index
- Science of Computer Programming
3 publications · 69 citations
3
h-index
- International Journal on Software Tools for Technology Transfer
2 publications · 46 citations
2
h-index
- ACM SIGSOFT Software Engineering Notes
SEN · 1 publications · 14 citations
1
h-index
1–5