Login / Signup
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)