We study priority-based matching markets with public and private endowments. We show that efficiency-adjusted deferred acceptance (EADA) is justified-envy minimal in the class of efficient mechanisms, while Top trading cycles (TTC) and other popular mechanisms are not. Our findings highlight...

We study college admissions markets, where colleges offer multiple funding levels. Colleges wish to recruit the best-qualified students subject to budget and capacity constraints. Student-proposing deferred acceptance is stable and strategy-proof for students, but the set of stable allocations...

Stability and "no justified envy" are used almost synonymously in the matching theory literature. However, they are conceptually different and have logically separate properties. We generalize the definition of justified envy to environments with arbitrary school preferences, feasibility...