Red Hat Research Quarterly
Highlights from this issue
Where are we with wireless? How researchers are pushing forward the state of the art, and what that means for industry
An interview with Abhimanyu (Manu) Gosain
Yuga: A tool to help Rust developers write unsafe code more safely
Testing critical IoT systems to mitigate network disruptions
Red Hat Research Quarterly
Highlights from this issue
Where are we with wireless? How researchers are pushing forward the state of the art, and what that means for industry
An interview with Abhimanyu (Manu) Gosain
Yuga: A tool to help Rust developers write unsafe code more safely
Testing critical IoT systems to mitigate network disruptions
Volume 4, Issue 4 • ISSN 2691-5278
Departments
Features
Inside this issue
On January 2023, the Red Hat Collaboratory at Boston University announced the recipients of its 2023 Research Incubation Awards. The funding program, now in its second year, provides resources to research projects that focus on problems of distributed systems, security, operating systems, and networking whose solution shows promise for advancing the field and driving change in industry.
The Internet of Things brings new opportunities and new challenges for mission-critical applications where lives are at stake. Systematic testing can help. The Internet of Things (IoT) has significantly increased the capabilities of mission-critical systems in many domains. Integrated rescue systems, healthcare, defense, energy, and transportation benefit from using the IoT, enabling faster system reactions […]
Project Aspen plans to enable quantitative open source community health analysis for all. Organizations are increasingly adopting open source software development models and open source aspects of organizational culture. As a result, interest in how open source communities succeed is reaching an all-time high. Until recent years, measuring the success of open source communities was […]
Some bugs in unsafe Rust arise from errors that are so easy to make that they are easily overlooked. Researchers have developed a new analyzer to find them. By Vikram Nitin, Anne Mulhern, Baishakhi Ray, and Sanjay Arora Rust, a programming language that did not exist just 10 years ago, is now well known and […]
Each quarter, Red Hat Research Quarterly highlights new and ongoing research collaborations from around the world. This quarter we highlight collaborative projects in Israel at The Technion, The Ben Gurion University of The Negev, Ariel University, Reichman University, and The Hebrew University. Contact academic@redhat.com for more information on any project described here, or explore more […]
Many talents contributed to one goal: a shared production-level research cloud. It was a chilly morning at Boston University, and I was looking for a quiet place to gather my thoughts and do some writing. I passed two painters covering up scuffs on the white walls and a man with a floor machine busily tracing […]
It gives me great pleasure to announce the second round of the expanded Red Hat Collaboratory awards. This year we funded ten collaborative projects and nine speculative ones for $2.3 million, including a mix of new projects and continuations of the ones we supported in 2022. Like everything we engage in at Red Hat […]