A Greater Boston RIG project
Virtual devices are the most common site for security bugs in hypervisors. In our evaluation, we found new bugs in devices such as serial and virtio-net, ranging from memory corruptions to denial-of-service vulnerabilities. By combining well known coverage guidance techniques with domain-specific feedback, we found promising fuzzer performance, even for complex targets such as hypervisors.
Hardware and the OS
The cloud might abstract away the hardware and OS layers on which it’s built, but at some point, the success of all computing, even the cloud, relies on the interdependencies between hardware features and the software OS that exposes those features to applications. With edge computing advancing and the performance and scale requirements of cloud, new hardware types are rapidly evolving and software innovation must keep pace. We are very interested in projects that amplify hardware innovation and especially in projects that push software-defined capabilities forward.
|Robust LSM-Trees Under Workload Uncertainty||We introduce a new robust tuning paradigm to aid in the design of data systems with uncertain assumptions by modeling the behavior of the system and then utilizing these models in conjunction with techniques in robust optimization. Our approach is demonstrated through tuning a popular log-structured merge-tree based storage engine, …||Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|Building the next generation of programmable networking – powered by Linux||The project seeks to explore areas related to programmable networking, with a particular focus on the eXpress Data Path (XDP) technology in the Linux kernel.||Hardware and the OS||Karlstad University||karlstad-university|
|OpenInfra Labs||OpenInfra Labs is an OpenStack Foundation project connecting open source projects to production to advance …||AI-ML, Cloud-DS, Hardware and the OS, Security, Privacy, Cryptography, Testing and Ops||Boston University, Northeastern University, UMass Amherst||boston-university northeastern-university umass-amherst|
|Open Cloud Testbed||The Open Cloud Testbed project will build and support a testbed for research and experimentation into new cloud platforms – the underlying software which provides cloud services to applications. Testbeds such as OCT are critical for enabling research into new cloud technologies – research that requires experiments which potentially change …||AI-ML, Cloud-DS, Hardware and the OS, Security, Privacy, Cryptography, Testing and Ops||Greater New England||Boston University, Northeastern University, UMass Amherst||greater-boston||boston-university northeastern-university umass-amherst|
|Outfitting QEMU/KVM with Partitioning Hypervisor Functionality||This project extends the virtualization capabilities of QEMU and KVM by adding partitioning hypervisor functionality. With this implementation, hardware resources can be exclusively assigned to specific tasks and VMs. Current work supports KVM Isolation IOCTLs to query CPUs to find isolated CPUs.||Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|An Optimizing Operating System: Accelerating Execution With Speculation||To optimize performance, Automatically Scalable Computation (ASC), a Harvard/BU collaboration attempts to auto-parallelize single threaded workloads, reducing any new effort required from programmers to achieve wall clock speedup. SEUSS takes a different approach by splicing a custom operating system into the backend of a high throughput distributed serverless platform, Apache …||Cloud-DS, Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|Kernel Techniques to Optimize Memory Bandwidth with Predictable Latency||Recent processors have started introducing the first mechanism to monitor and control memory bandwidth. Can we use these mechanisms to enable machines to be fully used while ensuring that primary workloads have deterministic performance? This project presents early results from using Intel’s Resource Director Technology and some insight into this …||Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|Unikernel Linux||This project aims to turn the Linux kernel into a unikernel with the following characteristics: 1) are easily compiled for any application, 2) use battle-tested, production Linux and glibc code, 3) allow the entire upstream Linux developer community to maintain and develop the code, and 4) provide applications normally running …||Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|Fuzzing Device Emulation in QEMU||Hypervisors—the software that allows a computer to simulate multiple virtual computers—form the backbone of cloud computing. Because they are both ubiquitous and essential, they are security-critical applications that make attractive targets for potential attackers.||Hardware and the OS, Security, Privacy, Cryptography, Testing and Ops||Greater New England||Boston University||greater-boston||boston-university|
|Practical programming of FPGAs in the data center and on the edge||FPGAs are now essential components in the data center and on the edge with millions deployed. FPGAs are found in a wide variety of system elements and provide such critical functions as SDN, encryption/decryption, and compression. Yet for nearly all system providers, much less system users, programming these FPGAs is …||AI-ML, Cloud-DS, Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|Automatic Configuration of Complex Hardware||In this project, we pursue three goals towards this understanding: 1) identify, via a set of microbenchmarks, application characteristics that will illuminate mappings between hardware register values and their corresponding microbenchmark performance impact, 2) use these mappings to frame NIC configuration as a set of learning problems such that an …||Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|
|Quest-V, a Partitioning Hypervisor for Latency-Sensitive Workloads||Quest-V is a separation kernel that partitions services of different criticality levels across separate virtual machines, or sandboxes. Each sandbox encapsulates a subset of machine physical resources that it manages without requiring intervention from a hypervisor. In Quest-V, a hypervisor is only needed to bootstrap the system, recover from certain …||Hardware and the OS||Greater New England||Boston University||greater-boston||boston-university|