Correctness in distributed systems: the case of jgroups-raft
By José Bolina Building distributed systems is complex work, but strong primitives with well-defined guarantees and an expected behavior can make it easier. With stronger guarantees in primitives come strong safety and correctness verification requirements. In some...
Kernel Development Learning Pipeline program brings Linux to college students
By Joel Savitz The operating system is at the center of open source innovation, but a surprising number of college students lack exposure to this domain and, in particular, lack comfort with the Linux kernel. As a result, there’s an industry-wide shortage of qualified...
Co-design research lab accelerates innovation in non-traditional and specialized hardware
By Ahmed Sanaullah In 2023, Red Hat Research announced the launch of the Co-Design (CoDes) research lab during the Massachusetts Open Cloud (MOC) Alliance Workshop. Our goal was to build an ecosystem that could deliver on the immense value proposition of...
An Open vSwitch security feature causes a security problem. Here’s how to prevent it.
By Vašek Šraier Vašek Šraier is a software engineer at Guardsquare working on the security analysis tool AppSweep. He completed his Master's thesis, "Performance of Open vSwitch-based Kubernetes Cluster in Pathological Cases," at Charles University in Prague under the...
Hackathons power open source technology and innovative research
By Chris Tate, Principal Software Engineer, Red Hat Christopher Tate is a lead software engineer for logging, metrics, alerts, and AI/ML smart data research projects in the New England Research Cloud (NERC) environment. He is also the creator of the Smart Village...
Intern Spotlight: Christina Xu, Red Hat Research Boston
At Red Hat Research, we hire creative, passionate students ready to work and learn with a global leader in open source solutions. Our interns bring fresh ideas and new connections to challenging problems in the open source community, unlocking their own potential...
Intern Spotlight: Red Hat course helps students unleash the power of Git
University partnerships fuel the generation of new ideas and opportunities in open source research. In addition to developing research collaborations and assisting with student theses, the Red Hat Research team facilitates teaching opportunities for our engineers....
Intern Spotlight: Jake Correnti, Red Hat Research Boston
At Red Hat Research, we hire creative, passionate students ready to work and learn with a global leader in open source solutions. Our interns bring fresh ideas and new connections to challenging problems in the open source community, unlocking their own potential...
Getting started with data science and machine learning
Data science has exploded in popularity (and sometimes, hype) in recent years. This has led to an increased interest in learning the subject. With so many possible directions, it can be hard to know where to start. This blog post is here to help.
The (open) source of cutting-edge innovation
by Gordon Haff, technology advocate at Red Hat Where do people come together to make cutting-edge invention and innovation happen? One possible answer is the corporate research lab. More long-term focused than most company product development efforts, corporate labs...