Highlights from this issue

Interview

Open source cybersecurity and the next generation of computer scientists

Václav Matyáš, Professor with the Centre for Research on Cryptography and Security at the Faculty of Informatics at Masaryk University.

Feature

A thread model for the real-time Linux kernel

Feature

Finding bugs in parallel programs with heavy-duty program analysis

Highlights from this issue

Interview

Open source cybersecurity and the next generation of computer scientists

Václav Matyáš, Professor with the Centre for Research on Cryptography and Security at the Faculty of Informatics at Masaryk University.

Feature

A thread model for the real-time Linux kernel

Feature

Finding bugs in parallel programs with heavy-duty program analysis

Inside this issue