Red Hat Research Quarterly Issue 2:3

November issue features:

  • Open source cybersecurity and the next generation
  • Mental models: Designing for users
  • Where machine learning meets big data
  • How do you find bugs in parallel programs?
  • A new series on formal analysis and verification starts with a thread model for the Linux kernel
Cover of the Red Hat Research Quarterly 2:3, Vaclav Matyas


04  From the director

05  Column: Better together

06  News: Research at DevConf.US

08  Machine Learning meets Big Data

11   Finding bugs in parallel programs

16  Mental models

20  Open source cybersecurity and the next generation: an interview with Václav Matyáš

30  A thread model for the real-time Linux kernel

34  Research project updates

Bringing great research ideas into open source communities

Red Hat Research Quarterly provides insights into the range of activities that bring universities, government organizations, industry partners together to share outcomes with open source communities. Here you’ll find articles on the latest research topics we are exploring together, views into the approaches and people behind that research, and examples of the impact that combining education with an open source perspective can have.

Every quarter, we detail the latest projects we’re working on, and interview a leader in open source code and cutting edge research.

Download Red Hat Research Quarterly in digital form in or get the printed version delivered to your mailbox. Subscribe now and keep up-to-date with the latest research topics completely free.



Sign up for a complimentary subscription to Red Hat Research Quarterly