108 citations · 149 across the 8 of their papers we have counts for
10 papers
Akita: A CPU scheduler for virtualized Clouds
Esmail Asyabi, Azer Bestavros, Renato Mancuso +2
Clouds inherit CPU scheduling policies of operating systems. These policies enforce fairness while leveraging best-effort mechanisms to enhance responsiveness of all schedulable en…
MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud
Vatche Ishakian, Azer Bestavros, Assaf Kfoury
In hosting environments such as IaaS clouds, desirable application performance is usually guaranteed through the use of Service Level Agreements (SLAs), which specify minimal fract…
Conclave: secure multi-party computation on big data (extended TR)
Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell +3
Secure Multi-Party Computation (MPC) allows mutually distrusting parties to run joint computations without revealing private data. Current MPC algorithms scale poorly with data siz…
Neuroflight: Next Generation Flight Control Firmware
William Koch, Renato Mancuso, Azer Bestavros
Little innovation has been made to low-level attitude flight control used by uncrewed aerial vehicles (UAVs), which still predominantly uses the classical PID controller. In this w…
Reinforcement Learning for UAV Attitude Control
William Koch, Renato Mancuso, Richard West +1
Autopilot systems are typically composed of an "inner loop" providing stability and control, while an "outer loop" is responsible for mission-level objectives, e.g. way-point navig…
Team Formation for Scheduling Educational Material in Massive Online Classes
Sanaz Bahargam, Dóra Erdos, Azer Bestavros +1
Whether teaching in a classroom or a Massive Online Open Course it is crucial to present the material in a way that benefits the audience as a whole. We identify two important task…
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
Saber Mirzaei, Sanaz Bahargam, Richard Skowyra +2
Openflow provides a standard interface for separating a network into a data plane and a programmatic control plane. This enables easy network reconfiguration, but introduces the po…
A Divide-and-Conquer Algorithm for Betweenness Centrality
Dora Erdos, Vatche Ishakian, Azer Bestavros +1
The problem of efficiently computing the betweenness centrality of nodes has been researched extensively. To date, the best known exact and centralized algorithm for this task is a…
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity
Dóra Erdös, Vatche Ishakian, Andrei Lapets +2
In many information networks, data items -- such as updates in social networks, news flowing through interconnected RSS feeds and blogs, measurements in sensor networks, route upda…
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)
Azer Bestavros, Assaf Kfoury
We define a domain-specific language (DSL) to inductively assemble flow networks from small networks or modules to produce arbitrarily large ones, with interchangeable functionally…