papers

Publications (12)

astro-ph.GA2025

Dust in the Smith Cloud? A UV Investigation into the Smith Cloud's Gas-Phase Abundance Patterns

Johanna Vazquez, Kathleen Barger, Frances Cashman +11

The Smith Cloud is a high-velocity cloud (HVC) on its final approach to the Milky Way that shows evidence of interaction with the Galaxy's disk. We investigate the metallicity and…

astro-ph.IM2026

Early Exploration of the Scientific Discovery Space for the Habitable Worlds Observatory

Courtney D. Dressing, Danica Adams, Evelyne Alecian +324

The Habitable Worlds Observatory (HWO) is a future NASA flagship mission concept identified by the Astro2020 Decadal Survey as the highest priority for large space missions. HWO sh…

astro-ph.IM2012

Unique Astrophysics in the Lyman Ultraviolet

Jason Tumlinson, Alessandra Aloisi, Gerard Kriss +24

There is unique and groundbreaking science to be done with a new generation of UV spectrographs that cover wavelengths in the "Lyman Ultraviolet" (LUV; 912 - 1216 Ang). There is no…

astro-ph.SR2010

X-shooter, NACO, and AMBER observations of the LBV Pistol Star \footnote{Based on ESO runs 85.D-0182A, 085.D-0625AC}

Christophe Martayan, Ronny Blomme, Jean-Baptiste Le Bouquin +15

We present multi-instruments and multi-wavelengths observations of the famous LBV star Pistol Star. These observations are part of a larger program about early O stars at different…

astro-ph2007

The Abundance of Deuterium in the Warm Neutral Medium of the Lower Galactic Halo

Blair Savage, Nicolas Lehner, Andrew Fox +2

We use high resolution spectra obtained with FUSE and STIS to obtain interstellar column densities of H I, D I, O I, S II, Fe II and P II toward the QSO HE 0226-4110 ( l = 253.4 de…

cs.PL2026

Towards Cumulative Abstract Semantics via Handlers

Cade Lueker, Andrew Fox, Bor-Yuh Evan Chang

We consider the problem of modularizing control flow in a generic abstract interpretation framework. A generic abstract interpretation framework is not truly flexible if it does no…