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
TABLE OF CONTENTS
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.