• Publications
  • Influence
A Reconfigurable Fabric for Accelerating Large-Scale Datacenter Services
TLDR
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
  • T. Ball, J. Larus
  • Computer Science
    Proceedings of the 29th Annual IEEE/ACM…
  • 2 December 1996
TLDR
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.
Mining specifications
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
TLDR
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
TLDR
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 Science
    PLDI '99
  • 1 May 1999
TLDR
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
TLDR
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.
Transactional Memory
TLDR
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
TLDR
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.
...
...