Sure, here's two:
https://www.cbo.gov/publication/60235
https://www.brookings.edu/articles/is-government-too-big-ref...
Every publication I've looked at has the overall spending for federal employee salaries as around 280 billion. The total budget is around 6 trillion.