ELISA Workshop Fall 2021

While there are stakeholders that clearly would like to enforce a certain property during the kernel development, one can observe that these stakeholders unfortunately just continue to hunt down violations of those properties in a delayed fashion with significant human effort, as it currently is difficult to enforce a property during kernel development so that the violation is not introduced in the first place.
We will discuss the needed technical steps and tools (development process monitors and safeguards) to enforce a property during kernel development. The goal of this session to agree on some first prototypes of tools we would like to build and deploy to enable stakeholders to enforce a property during kernel development.