Copenhagen Programming Language Seminar
Operating system extensibility is essential to provide adequate service for demanding applications and execution environments. In this context, safety, correctness, and efficiency are all essential. Recently, verification approaches have been developed that are both lightweight and precise enough to find bugs in actual OS kernel code. Nevertheless, these approaches have not been directed to proving that systems code provides specific basic functionalities.
Andrzej Filinski. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, IT-C and KVL.
To receive information about COPLAS talks by email, send a message to email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org