L
Leaf Petersen
Researcher at Intel
Publications - 22
Citations - 387
Leaf Petersen is an academic researcher from Intel. The author has contributed to research in topics: Compiler & Optimizing compiler. The author has an hindex of 11, co-authored 22 publications receiving 378 citations. Previous affiliations of Leaf Petersen include Carnegie Mellon University.
Papers
More filters
Proceedings ArticleDOI
Enabling scalability and performance in a large scale CMP environment
Bratin Saha,Ali-Reza Adl-Tabatabai,Anwar Ghuloum,Mohan Rajagopalan,Richard L. Hudson,Leaf Petersen,Vijay Menon,Brian R. Murphy,Tatiana Shpeisman,Eric Sprangle,Anwar Rohillah,Doug Carmean,Jesse Fang +12 more
TL;DR: This paper presents the architecture of McRT and discusses the experiences with the system, including experimental evaluation that lead to several interesting, non-intuitive findings, providing key insights about the structure of the system stack at this scale.
Patent
Software assisted nested hardware transactions
TL;DR: In this paper, a method and apparatus for efficiently executing nested transactions is described, where the state of variables or memory locations written to during execution of a nested transaction are rolled-back to immediately before the nested transaction, instead of all the way back to an original state of the variables and memory locations before an enclosing transaction.
Proceedings ArticleDOI
A type theory for memory allocation and data layout
TL;DR: It is shown that a language based on ordered types can use the property of adjacency to give an exact account of the layout of data in memory.
Proceedings ArticleDOI
A verifiable SSA program representation for aggressive compiler optimization
Vijay Menon,Neal Glew,Brian R. Murphy,Andrew McCreight,Tatiana Shpeisman,Ali-Reza Adl-Tabatabai,Leaf Petersen +6 more
TL;DR: A verifiable low-level program representation to embed, propagate, and preserve safety information in high perfor-mance compilers for safe languages such as Java and C# and a simple type system that formalizes type safety in an SSA-style control-flow graph program representation.
Proceedings ArticleDOI
Strict bidirectional type checking
TL;DR: This paper introduces a refinement of the bidirectional type system based on strict logic which allows additional type decorations to be eliminated, and shows that it is well-behaved under sequentialization.