Geoff Pike

Publication Activity (10 Years)

Years Active: 1995-2014
Publications (10 Years): 0

Top Topics

Software Testing

Reactive Systems

Business Process Models

Formal Semantics

Top Venues

USENIX Security Symposium

Publications

Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, Úlfar Erlingsson, Luis Lozano, Geoff Pike
Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM. USENIX Security Symposium (2014)
Geoff Pike, Paul N. Hilfinger
Better tiling and array contraction for compiling scientific programs. SC (2002)
Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick
Titanium: A High Performance Java Dialect. PPSC (1999)
Geoff Pike, Luigi Semenzato, Phillip Colella, Paul N. Hilfinger
Parallel 3D Adaptive Mesh Refinement in Titanium. PPSC (1999)
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10 (11-13) (1998)
Geoff Pike
On controlling the presentation of information. SIGWEB Newsl. 4 (2) (1995)