Learn More
Habanero Java (HJ), a mid-level concurrent language, provides several correctness advantages if it is data race free: deadlock freedom, determinism, serialization, etc. An HJ program execution can only demonstrate data race freedom for one scheduling path, but the correctness property only holds if it is data race free for all paths. Verifying an HJ program(More)
The International Linear Collider (ILC) has a 14 mrad crossing angle in order to aid extraction of spent bunches. As a result of the bunch shape at the interaction point, this crossing angle at the collision causes a large luminosity loss which can be recovered by rotating the bunches prior to collision using a crab cavity. The ILC baseline crab cavity is a(More)
With a shift to exploiting unconventional petroleum plays in the United States to support energy consumption, understanding the nanopore systems in those unconventional resources becomes important for future exploitation. The goal of this study is to characterize the pore systems of the Cretaceous Lincoln Limestone found in the Denver-Julesburg (DJ) Basin(More)
  • 1