Adam Oswald

Orcid: 0009-0002-1310-547X

According to our database1, Adam Oswald authored at least 2 papers in 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Enabling eBPF on Embedded Systems Through Decoupled Verification.
Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Kernel extension verification is untenable.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023


  Loading...