E. Christopher

Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems (2008)

Xiaoxin Chen, Tal Garfinkel, E. Christopher, Lewis Pratap, Subrahmanyam Carl, A. Waldspurger, ...

Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, we introduce a...

Abstract The Implementation and Evaluation of Fusion and Contraction in Array Languages* (2008)

E Christopher, Lewis Calvin, Lint Lawrence Snyder

many benefits in simplifying array-based computations and expressing data parallelism. However, they can suffer large performance penalties because they introduce intermediate arrays-both at the...

Abstract Deconstructing Transactional Semantics: The Subtleties of Atomicity (2008)

Colin Blundell, E Christopher, Lewis Milo, M. K. Martin

Researchers have recently proposed software and hardware support for transactions as a replacement for the traditional lock-based synchronization most common in multithreaded programs. Transactions...

y (2007)

E Christopher, Lewis Calvin Lin, Lawrence Snyder

Array languages such as Fortran 90, HPF and ZPL have many benefits in simplifying array-based computations and expressing data parallelism. However, they can suffer large performance penalties...

Subtleties of transactional memory atomicity semantics (2006)

Colin Blundell, E Christopher, Lewis Milo, M. K. Martin

Abstract — Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute atomically....

Subtleties of transactional memory atomicity semantics (2006)

Colin Blundell, E Christopher, Lewis Milo, M. K. Martin

Abstract — Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute atomically....

Using DISE to Protect Return Addresses from Attack (2004)

Marc Corliss Christopher, E Christopher, Lewis Amir Roth

Stack-smashing by buffer overflow is a common tactic used by viruses and worms to crash or hijack systems. Exploiting a bounds-unchecked copy into a stack buffer, an attacker can---by supplying a...

A DISE Implementation of Dynamic Code Decompression (2003)

Marc Corliss Christopher, E Christopher, Lewis Amir Roth

Code compression coupled with dynamic decompression is an important technique for both embedded and general-purpose microprocessors. Post-fetch decompression, in which decompression is performed...

DISE: Implementing Application Meta-Features via (2002)

Marc L. Corliss, E Christopher, Lewis Amir Roth

Dynamic Instruction Stream Editing (DISE) is a cooperative software-hardware scheme for efficiently adding meta-features---e.g., safety/security checking, profiling, and dynamic code...

Regions: An abstraction for expressing array computation (1999)

Bradford L. Chamberlain, E Christopher, Lewis Calvin Lin, Lawrence Snyder

Most array languages, such as Fortran 90, Matlab, and APL, provide support for referencing arrays by extending the traditional array subscripting construct found in scalar languages. We present an...

Problem space promotion its evaluation as a technique for efficient parallel computation (1999)

Bradford L. Chamberlain, E Christopher, Lewis Lawrence Snyder

In this paper we describe a parallel programming paradigm called problem space promotion (PSP), a technique that increases parallelism by reducing communication and synchronization. We present four...

Array Language Support for Wavefront and Pipelined Computations (1999)

Bradford Chamberlain Christopher, E Christopher, Lewis Lawrence Snyder

Array languages such as Fortran 90, High Performance Fortran and ZPL are convenient vehicles for expressing data parallel computation. Unfortunately, array language semantics prohibit the natural...

Regions: An abstraction for expressing array computation (1999)

Bradford L. Chamberlain, E Christopher, Lewis Calvin, Lin Lawrence Snyder

Most array languages, such as Fortran 90, Matlab, and APL, provide support for referencing arrays by extending the traditional array subscripting construct found in scalar languages. We present an...

Regions: An abstraction for expressing array computation (1999)

Bradford L. Chamberlain, E Christopher, Lewis Calvin, Lin Lawrence Snyder

Most array languages, such as Fortran 90, Matlab, and APL, provide support for referencing arrays by extending the traditional array subscripting construct found in scalar languages. We present an...

Regions: An Abstraction for Expressing Array Computation (1998)

Bradford L. Chamberlain, E Christopher Lewis, E Christopher, Calvin Lin, Lawrence Snyder

ion for Expressing Array Computation Bradford L. Chamberlain E Christopher Lewis Calvin Lin + Lawrence Snyder University of Washington, Seattle, WA 98195-2350 + University of Texas, Austin, TX 78712...

Regions: An Abstraction for Expressing Array Computation (1998)

Bradford Chamberlain Christopher, E Christopher, Lewis Calvin Lin, Lawrence Snyder

ion for Expressing Array Computation Bradford L. Chamberlain E Christopher Lewis Calvin Lin y Lawrence Snyder University of Washington, Seattle, WA 98195-2350 y University of Texas, Austin, TX 78712...

The Implementation and Evaluation of Fusion and Contraction in Array Languages (1998)

E. Christopher Lewis, E Christopher, Calvin Lin, Lawrence Snyder

Array languages such as Fortran 90, HPF and ZPL have many benefits in simplifying array-based computations and expressing data parallelism. However, they can suffer large performance penalties...

A Region-based Approach for Sparse Parallel Computing (1998)

Bradford L. Chamberlain, E Christopher Lewis, E Christopher, Lawrence Snyder

This paper introduces a technique for parallel sparse computation by extending the array-language concept of regions---regular programmer-specified index sets used for specifying array computations....

Regions: An Abstraction for Expressing Array Computation (1998)

Bradford L. Chamberlain, E Christopher Lewis, E Christopher, Calvin Lin, Lawrence Snyder

ion for Expressing Array Computation Bradford L. Chamberlain E Christopher Lewis Calvin Lin y Lawrence Snyder University of Washington, Seattle, WA 98195-2350 USA y University of Texas, Austin, TX...

Array Language Support for Wavefront and Pipelined Computations (1998)

Bradford L. Chamberlain, E Christopher Lewis, E Christopher, Lawrence Snyder

Array languages such as Fortran 90, High Performance Fortran and ZPL are convenient vehicles for expressing data parallel computation. Unfortunately, array language semantics prohibit the natural...

A region-based approach for sparse parallel computing (1998)

Bradford L. Chamberlain, E Christopher, Lewis Lawrence Snyder

This paper introduces a technique for parallel sparse computation by extending the array-language concept of regions—regular programmer-specified index sets used for specifying array computations....