• Explore Research
    • Projects
    • People
    • Partnerships
    • Publications
  • Get Involved
    • Join a Research Interest Group
    • Mentor a student
    • Internships
    • Open Source Contest
    • Suggest a Project
    • Theses
  • News and Events
    • News
    • Events
    • Research Days
  • Blog
  • Courses
  • Magazine

Linux kernel 6.0 includes a runtime verification subsystem from Daniel Bristot de Oliveira

Featured News, News

Red Hat Research’s Dr. Daniel Bristot de Oliveira continues to deliver practical improvements to the Linux kernel, this time with the addition of the Runtime Verification subsystem to the Linux kernel 6.0. Daniel has been exploring methods to improve the...

Research by Daniel Bristot de Oliveira leads to a real-time analysis toolset for Linux 5.17

News

Over the last decade, Red Hat Research’s Dr. Daniel Bristot de Oliveira has been exploring methods to improve the analysis of the real-time properties of Linux. His research explores the tracing features of Linux to derive fine-grained properties of the kernel,...
  • All News
  • Europe
  • Greater New England
  • Boston University
  • Israel

LEARN

Research Areas

Masters’ Theses

Events

News

Magazine

ENGAGE

Suggest A Project

Work On A Project

Contact Us

Log In

ABOUT

Red Hat Research connects Red Hat engineers with professors, researchers, and students to bring great research ideas into open source communities. Our activities around the world have produced grants from government and industry, papers at top conferences, and results that have landed in open source projects of all kinds. Red Hat Research welcomes participation from research-minded individuals around the world.

  • Follow
  • Follow
  • Follow
  • Follow
  • Follow

Copyright © 2020 Red Hat, Inc.

Privacy statement

Terms of use

All policies and guidelines