The severe decline in house prices during and after the Great Recession may have hampered adjustment in U.S. labor markets by limiting mobility of unemployed workers. Mobility will suffer if unemployed workers are reluctant to leave homes that, with debt exceeding value, cannot be disposed of without injecting cash or defaulting—a pattern referred to as "housing lock-in." If such reluctance keeps workers from moving from depressed areas to areas with available jobs, the Beveridge curve, which depicts the relationship between vacancies and joblessness, may shift outward. To examine whether this has been the case in the United States in recent years, the authors use individual-level credit reports merged with loan-level mortgage data to estimate how mobility relates to home equity when labor markets are weak or strong, and they develop and calibrate a dynamic quantitative model of consumption, housing, employment, and mobility that replicates the data well.