Article

Safe kernel extensions without run-time checking

Authors:

George C. Necula,

Peter LeeAuthors Info & Claims

OSDI '96: Proceedings of the second USENIX symposium on Operating systems design and implementation

Pages 229 - 243

https://doi.org/10.1145/238721.238781

Published: 28 October 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Chintamaneni SSomaraju SWilliams D(2024)Unsafe kernel extension composition via BPF program nestingProceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions10.1145/3672197.3673440(65-67)Online publication date: 4-Aug-2024
https://dl.acm.org/doi/10.1145/3672197.3673440
Fitzgibbons MParaskevopoulou ZMushtak NThalakottur MSulaiman Manzur JAhmed A(2024)RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssemblyProceedings of the ACM on Programming Languages10.1145/36564448:PLDI(1656-1679)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656444
Filinski ALarsen KJensen T(2024)Axiomatising an information flow logic based on partial equivalence relationsInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00756-z26:4(445-461)Online publication date: 25-Jun-2024
https://doi.org/10.1007/s10009-024-00756-z
Show More Cited By

Index Terms

Safe kernel extensions without run-time checking

Recommendations

Safe kernel extensions without run-time checking
Run-time efficient probabilistic model checking
ICSE '11: Proceedings of the 33rd International Conference on Software Engineering

Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's ability to meet the desired requirements. Changes may occur in critical components of the system, ...
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
ICLP '09: Proceedings of the 25th International Conference on Logic Programming

We present a framework that unifies unit testing and run-time verification (as well as static verification and static debugging). A key contribution of our overall approach is that we preserve the use of a unified assertion language for all of these ...

Comments

Information & Contributors

Information

Published In

OSDI '96: Proceedings of the second USENIX symposium on Operating systems design and implementation

October 1996

291 pages

ISBN:1880446820

DOI:10.1145/238721

ACM SIGOPS Operating Systems Review Volume 30, Issue SI
Oct. 1996
274 pages
ISSN:0163-5980
DOI:10.1145/248155
Editor:
William M. Waite
Univ. of Colorado, Boulder
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 October 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OSDI96

Sponsor:

SIGOPS
IEEE-CS
USENIX Assoc

OSDI96: Second Symposium on Operating Systems Design and Implementation

October 29 - November 1, 1996

Washington, Seattle, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

329
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chintamaneni SSomaraju SWilliams D(2024)Unsafe kernel extension composition via BPF program nestingProceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions10.1145/3672197.3673440(65-67)Online publication date: 4-Aug-2024
https://dl.acm.org/doi/10.1145/3672197.3673440
Fitzgibbons MParaskevopoulou ZMushtak NThalakottur MSulaiman Manzur JAhmed A(2024)RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssemblyProceedings of the ACM on Programming Languages10.1145/36564448:PLDI(1656-1679)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656444
Filinski ALarsen KJensen T(2024)Axiomatising an information flow logic based on partial equivalence relationsInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00756-z26:4(445-461)Online publication date: 25-Jun-2024
https://doi.org/10.1007/s10009-024-00756-z
Filipiuk TWanninger NDhiantravan NSurmeier CBernat ADinda P(2023)CARAT KOP: Towards Protecting the Core HPC Kernel from Linux Kernel ModulesProceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis10.1145/3624062.3624237(1596-1605)Online publication date: 12-Nov-2023
https://dl.acm.org/doi/10.1145/3624062.3624237
Suchy BGhosh SKersnar DChai SHuang ZNelson ACuevas MBernat AChaudhary GHardavellas NCampanoni SDinda PFalsafi BFerdman MLu SWenisch T(2022)CARAT CAKE: replacing paging via compiler/kernel cooperationProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507771(98-114)Online publication date: 28-Feb-2022
https://dl.acm.org/doi/10.1145/3503222.3507771
Watanabe YGopinathan KPîrlea GPolikarpova NSergey I(2021)Certifying the synthesis of heap-manipulating programsProceedings of the ACM on Programming Languages10.1145/34735895:ICFP(1-29)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473589
Boos KLiyanage NIjaz RZhong LLu SHowell J(2020)TheseusProceedings of the 14th USENIX Conference on Operating Systems Design and Implementation10.5555/3488766.3488767(1-19)Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.5555/3488766.3488767
Narayan APanda AAlizadeh MBalakrishnan HKrishnamurthy AShenker SZhao BZheng HMadhyastha HPadmanabhan V(2020)Bertha: Tunneling through the Network APIProceedings of the 19th ACM Workshop on Hot Topics in Networks10.1145/3422604.3425927(53-59)Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.1145/3422604.3425927
Suchy BCampanoni SHardavellas NDinda PDonaldson ATorlak E(2020)CARAT: a case for virtual memory through compiler- and runtime-based address translationProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385987(329-345)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3385987
Miller SZhang KZhuo DXu SKrishnamurthy AAnderson T(2019)Practical Safe Linux Kernel ExtensibilityProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3317550.3321429(170-176)Online publication date: 13-May-2019
https://dl.acm.org/doi/10.1145/3317550.3321429
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations