Physical Sciences and Mathematics Commons^™

Semantics Of Rxjs, Tian Zhao, Yonglun Li

Computer Science Faculty Articles

RxJS is a popular JavaScript library for reactive programming in Web applications. It provides numerous operators to create, combine, transform, and filter discrete events and to handle errors. These operators may be stateful and have side effects, which makes it difficult to understand the precise meaning of the resulting computation. In this paper, we define a formal model for RxJS programs by formalizing a selected subset of RxJS operators using a small-step operational semantics. We present several debugging related applications using the semantics as a model. We also implemented a subset of RxJS based on this semantics, which provides convenient …

Stable Matchings With Restricted Preferences: Structure And Complexity, Christine T. Cheng, Will Rosenbaum

Computer Science Faculty Articles

In the stable marriage (SM) problem, there are two sets of agents–traditionally referred to as men and women–and each agent has a preference list that ranks (a subset of) agents of the opposite sex. The goal is to find a matching between men and women that is stable in the sense that no man-woman pair mutually prefer each other to their assigned partners. In a seminal work, Gale and Shapley showed that stable matchings always exist, and described an efficient algorithm for finding one.

Irving and Leather defined the rotation poset of an SM instance and showed that it determines …

On Equivalence Of Anomaly Detection Algorithms, Carlos Ivan Jerez, Jun Zhang, Marcia R. Silva

Computer Science Faculty Articles

In most domains anomaly detection is typically cast as an unsupervised learning problem because of the infeasability of labelling large datasets. In this setup, the evaluation and comparison of different anomaly detection algorithms is difficult. Although some work has been published in this field, they fail to account that different algorithms can detect different kinds of anomalies. More precisely, the literature on this topic has focused on defining criteria to determine which algorithm is better, while ignoring the fact that such criteria are meaningful only if the algorithms being compared are detecting the same kind of anomalies. Therefore, in this …