With the rollout of CBRS service, dynamic channel allocation for the PAL holders and GAA users remains a challenging problem in the spectrum community. To address this challenge, we develop a mathematical framework for optimal channel allocation for PAL holders and GAA users in a real-world setting. By exploiting the unique geographical characteristics associated with Navy shipborne radar incumbents along Virginia’s east coast, we formulate an optimization problem for joint channel allocation of PAL holders and GAA users while meeting all interference threshold constraints for the incumbents and PAL holders. By leveraging several novel reformulation techniques, we show that the raw MINLP can be reformulated into a MILP with no approximation error. Through simulation experiments on real-world data for counties along Virginia’s east coast, we show that our optimal solution can offer guaranteed interference protection to the incumbents and PAL holders while maximizing channel utilization for the GAA users.