Patrick Eugster
YOU?
Author Swipe
View article: Programming Scalable Elastic Services with AEON
Programming Scalable Elastic Services with AEON Open
Implementing distributed cloud-based applications commonly at the basis of user-facing services goes through several challenges. In particular, such applications must be scalable to accommodate increasingly large user bases, providing cons…
View article: A Language for Quantifying Quantum Network Behavior
A Language for Quantifying Quantum Network Behavior Open
Quantum networks have capabilities that are impossible to achieve using only classical information. They connect quantum capable nodes, with their fundamental unit of communication being the Bell pair , a pair of entangled quantum bits. Du…
View article: Unsatisfiability Proofs for Horn Solving
Unsatisfiability Proofs for Horn Solving Open
Many verification tools currently rely on logic solvers as backend reasoning engines. Despite playing such a pivotal role, bugs are not uncommon in the complex codebases of these solvers. Validating their results is thus critical, with cor…
View article: An Algebraic Language for Specifying Quantum Networks
An Algebraic Language for Specifying Quantum Networks Open
Quantum networks connect quantum capable nodes in order to achieve capabilities that are impossible only using classical information. Their fundamental unit of communication is the Bell pair , which consists of two entangled quantum bits. …
View article: Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES
Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES Open
The emergence of network function virtualization has enabled network function chaining as a flexible approach for building complex network services. However, the high degree of flexibility envisioned for orchestrating network function chai…
View article: Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation Open
As more organizations are leveraging third-party cloud and edge data centers to process data efficiently, the issue of preserving data confidentiality becomes increasingly important. In response, numerous security mechanisms have been intr…
View article: Congestion Control for Datacenter Networks: A Control-Theoretic Approach
Congestion Control for Datacenter Networks: A Control-Theoretic Approach Open
In this paper, we present RoCC , a robust congestion control approach for datacenter networks based on RDMA. RoCC leverages switch queue size as an input to a PI controller, which computes the fair data rate of flows in the queue. The PI p…
View article: Interminable Flows: A Generic, Joint, Customizable Resiliency Model for Big-Data Streaming Platforms
Interminable Flows: A Generic, Joint, Customizable Resiliency Model for Big-Data Streaming Platforms Open
The examiner of cloud computing systems in the last few years observes that there is a trend of the emergence of a new Big Data framework almost every year. Since Hadoop was developed in 2007, new frameworks followed it such as Spark, Stor…
View article: Symbolic Model Checking for TLA+ Made Faster
Symbolic Model Checking for TLA+ Made Faster Open
The need to provide formal guarantees about the behaviour of the algorithms underpinning modern distributed systems became evident in recent years. This interest made apparent the complexities involved in applying verification techniques i…
View article: Holistic Resource Scheduling for Data Center In-Network Computing
Holistic Resource Scheduling for Data Center In-Network Computing Open
The recent trend towards more programmable switching hardware in data centers opens up new possibilities for distributed applications to leverage in-network computing (INC). Literature so far has largely focused on individual application s…
View article: ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others Open
Aggregation is common in data analytics and crucial to distilling information from large datasets, but current data analytics frameworks do not fully exploit the potential for optimization in such phases. The lack of optimization is partic…
View article: A multiparty session typing discipline for fault-tolerant event-driven distributed programming
A multiparty session typing discipline for fault-tolerant event-driven distributed programming Open
This paper presents a formulation of multiparty session types (MPSTs) for practical fault-tolerant distributed programming. We tackle the challenges faced by session types in the context of distributed systems involving asynchronous and co…
View article: Switches for HIRE: resource scheduling for data center in-network computing
Switches for HIRE: resource scheduling for data center in-network computing Open
The recent trend towards more programmable switching hardware in data centers opens up new possibilities for distributed applications to leverage in-network computing (INC). Literature so far has largely focused on individual application s…
View article: Multi-Framework Reliability Approach
Multi-Framework Reliability Approach Open
Despite advances in making datacenters dependable, failures still happen. This is particularly onerous for long-running "big data" applications, where partial failures can lead to significant losses and lengthy recomputations. Big data pro…
View article: The Difficulty in Scaling Blockchains: A Simple Explanation
The Difficulty in Scaling Blockchains: A Simple Explanation Open
Blockchains have become immensely popular and are high on the list of national and international research and innovation agenda's. This is partly caused by the numerous interesting applications, combined with the promise of full decentrali…
View article: Switches for HIRE: Resource Scheduling for Data Center In-Network Computing
Switches for HIRE: Resource Scheduling for Data Center In-Network Computing Open
Artifact for ASPLOS'2021
View article: Switches for HIRE: Resource Scheduling for Data Center In-Network Computing
Switches for HIRE: Resource Scheduling for Data Center In-Network Computing Open
Artifact for ASPLOS'2021
View article: RoCC
RoCC Open
In this paper, we present RoCC, a robust congestion control approach for datacenter networks based on RDMA. RoCC leverages switch queue size as an input to a PI controller, which computes the fair data rate of flows in the queue, signaling…
View article: Scalable and serializable networked multi-actor programming
Scalable and serializable networked multi-actor programming Open
A major challenge in writing applications that execute across hosts, such as distributed online services, is to reconcile (a) parallelism (i.e., allowing components to execute independently on disjoint tasks), and (b)cooperation (i.e., all…
View article: Programming Scalable Cloud Services with AEON
Programming Scalable Cloud Services with AEON Open
Designing low-latency cloud-based applications that are adaptable to unpredictable workloads and efficiently utilize modern cloud computing platforms is hard. The actor model is a popular paradigm that can be used to develop distributed ap…
View article: GRASS: generic reactive application-specific scheduling
GRASS: generic reactive application-specific scheduling Open
High resource utilization is important to operate compute infrastructures and data centers efficiently. High utilization is achieved by multiplexing several applications over the same physical infrastructure. Yet, with this approach, the d…
View article: Towards Fine Grained Network Flow Prediction
Towards Fine Grained Network Flow Prediction Open
One main challenge for the design of networks is that traffic load is not generally known in advance. This makes it hard to adequately devote resources such as to best prevent or mitigate bottlenecks. While several authors have shown how t…
View article: Versatile event correlation with algebraic effects
Versatile event correlation with algebraic effects Open
We present the first language design to uniformly express variants of n -way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive and concurrent programming. We model asy…
View article: A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems Open
A key requirement for many distributed systems is to be resilient toward partial failures, allowing a system to progress despite the failure of some components. This makes programming of such systems daunting, particularly in regards to av…
View article: NVthreads
NVthreads Open
Non-volatile memory technologies, such as memristor and phase-change memory, will allow programs to persist data with regular memory instructions. Liberated from the overhead to serialize and deserialize data to storage devices, programs c…
View article: Programming Scalable Cloud Services with AEON
Programming Scalable Cloud Services with AEON Open
Designing low-latency cloud-based applications that are adaptable to unpredictable workloads and efficiently utilize modern cloud computing platforms is hard. The actor model is a popular paradigm that can be used to develop distributed ap…
View article: WebRanz: web page randomization for better advertisement delivery and web-bot prevention
WebRanz: web page randomization for better advertisement delivery and web-bot prevention Open
Nowadays, a rapidly increasing number of web users are using Ad-blockers to block online advertisements. Ad-blockers are browser-based software that can block most Ads on the websites, speeding up web browsers and saving bandwidth. Despite…