We construct compactifications of type IIB string theory that
yield, at leading order in the α ′ α ′ and g s g s expansions, de
Sitter vacua of the form envisioned by Kachru, Kallosh, Linde, and
Trivedi. We specify explicit Calabi-Yau orientifolds...