Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
A Reconfigurable Fabric for Accelerating Large-Scale Datacenter Services
The authors deployed the reconfigurable fabric in a bed of 1,632 servers and FPGAs in a production datacenter and successfully used it to accelerate the ranking portion of the Bing Web search engine by nearly a factor of two.
Efficient path profiling
A new algorithm for path profiling is described, which selects and places profile instrumentation to minimize run-time overhead and identifies longer paths than a previous technique, which predicted paths from edge profiles.
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally describe correct…
Exploiting hardware performance counters with flow and context sensitive profiling
This paper extends previous work on efficient path profiling to flow sensitive profiling, which associates hardware performance metrics with a path through a procedure, and describes a data structure, the calling context tree, that efficiently captures calling contexts for procedure-level measurements.
Decentralized Privacy-Preserving Proximity Tracing
This system, referred to as DP3T, provides a technological foundation to help slow the spread of SARS-CoV-2 by simplifying and accelerating the process of notifying people who might have been exposed to the virus so that they can take appropriate measures to break its transmission chain.
Whole program paths
- J. Larus
- Computer SciencePLDI '99
- 1 May 1999
This paper explains how to collect and represent Whole program paths and shows how to use WPPs to find hot subpaths, which are the heavily executed sequences of code that should be the focus of performance tuning and compiler optimization.
Language support for fast and reliable message-based communication in singularity OS
It is shown that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable efficient communication and low-overhead software-based process isolation and reduce the difficulty of the message-based programming model.
Join-Idle-Queue: A novel load balancing algorithm for dynamically scalable web services
This book presents an overview of the state of the art in the design and implementation of transactional memory systems, as of early summer 2006.
EEL: machine-independent executable editing
EEL supports a machine- and system-independent editing model that enables tool builders to modify an executable without being aware of the details of the underlying architecture or operating system or being concerned with the consequences of deleting instructions or adding foreign code.