A new working group is tackling observability in production.
This is the third of a series of three articles about the formal analysis and verification of the real-time Linux® kernel. Read the first article in RHRQ 2:3 and the second article in RHRQ 2:4.
Boston University is collaborating with other area universities to extend the success of the Mass Open Cloud (massopen.cloud) in supporting critical research projects to a public cloud that will serve research needs throughout New England in the United States.
As we begin our third year of RHRQ I am in a celebratory mood—unusual, for 2021, but I think appropriate. I’ve just finished rereading our interview with Professor Anat Bremler-Barr of the Interdisciplinary Center in Herzliya, Israel.
This year has already brought us several Research Days discussions streaming around the world. They have covered topics as diverse as big data stream processing, analyzing security certification reports for potential device and product vulnerabilities, and using open source tools to program FPGA applications.