Introduction: Globally, there is increased focus on getting the greatest impact from available health funding. However, the pursuit of overall welfare maximization may mean some are left worse off than before. Pareto efficiency takes welfare shifts into account by ruling out funding reallocations that worsen outcomes for any person or group. Methods: Using the Optima HIV model, studies of HIV response efficiency were conducted in Sudan in 2014 and Togo in 2015. In this article, we estimate the welfare maximizing and Pareto efficient allocations for these two national HIV budgets, using data from the original studies. Results: We estimate that, if the 2013 HIV budget for Sudan was annually available to 2020 but with funds reallocated according to the welfare maximizing allocation, a 36% reduction in cumulative new infections could be achieved between 2014 and 2020. We also find that this is Pareto efficient. In Togo, however, we find that it is possible to reduce overall new infections but applying the Pareto efficiency criterion means that shifts in emphases cannot occur in the HIV response without additional resources. Discussion: Protecting service coverage for key population groups is not necessarily equivalent to protecting health outcomes. In some cases, requiring Pareto efficiency may reduce the potential for population-wide welfare gains, but this is not always the case. Conclusion: Pareto efficiency may be an appropriate addition to the quantitative toolset for evaluating HIV responses.