We present a new technique for speeding up static analysis of (shared memory) concurrent programs. We focus on analyses that compute thread correlations: such analyses infer invariants that capture correlations between the local states of different threads (as well as

Search engines today present results that are often oblivious to recent shifts in intent. For example, the meaning of the query `independence day' shifts in early July to a US holiday and to a movie around the time of the

Network-on-Chips (NoCs) are likely to become a critical shared resource in future many-core processors. The challenge is to develop policies and mechanisms that enable multiple applications to efficiently and fairly share the network, to improve system performance. Existing local packet

Microsoft Research has found a novel way of beating the deplorably slow speeds of mobile broadband, by combining several phones together to make one high-speed hotspot.

We introduce a new, efficient algorithm for the automatic detection and localization of anatomical structures within 3D CT images. Our algorithm builds upon recent randomized decision tree classifiers and produces accurate posterior probabilities for each of the classes (e.g. organ

We consider the problem of providing ubiquitous yet affordable Internet connectivity to devices at home, at work, and on the move. In this context, we take advantage of two significant technology trends: the commoditization of WiFi WLAN technology and the

Mining temporal network models from discrete event streams is an important problem with applications in many domains like computational neuroscience, physical plant diagnostics, and human-computer interaction modeling. We focus in this paper on temporal models representable as excitatory networks where

Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies include both work flow errors and low performance problems. People often use system logs produced by distributed systems for

This paper presents a new, parallel segmentation algorithm which enables radiologists to separate a region of interest from 2D or 3D images accurately and efficiently. This, in turn, enables fast and accurate area/volume measurements as well as the extraction of

Shipping-container-based data centers have been introduced as building blocks for constructing mega-data centers. However, it is a challenge on how to interconnect those containers together with reasonable cost and cabling complexity, due to the fact that a mega-data center can

The existing approaches for refining static analyses focus on the refinement either of the elements of abstract domains or of the transfer functions. Here, we focus our attention on the loss of precision induced by abstract domain operations. We introduce

We present RenderAnts, the first system that enables interactive REYES rendering on GPUs. Taking RenderMan scenes and shaders as input, our system first compiles RenderMan shaders to GPU shaders. Then all stages of the basic REYES pipeline, including bounding/splitting, dicing,

We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theory that includes arithmetic, tuples, and sets, and translate the generation problem into a

ThunderDome is a system for collaboratively measuring upload bandwidths in ad-hoc peer-to-peer systems. It works by scheduling bandwidth probes between pairs of hosts, wherein each pairwise exchange reveals the upload constraint of one participant. Using the abstraction of bandwidth tournaments,

We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks are small office networks or residential networks, where typically traffic management is

User mobility has given rise to a variety of Web applications, in which the global positioning system (GPS) plays many important roles in bridging between these applications and end users. As a kind of human behavior, people's transportation modes, such

JavaScript is widely used in web-based applications and is increasing popular with developers. So-called "browser wars" in recent years have focused on JavaScript performance, specifically claiming comparative results based on benchmark suites such as SunSpider and V8. In this paper