We state the Brumer-Stark conjecture and motivate it from two perspectives. Stark's perspective arose in his attempts to generalize the classical Dirichlet class number formula for the leading term of the Dedekind zeta function at s = 1 (equivalently, s = 0). Brumer's perspective arose by generalizing Stickelberger's work regarding the factorization of Gauss sums and the annihilation of class groups of cyclotomic fields. These viewpoints were synthesized by Tate, who stated the Brumer-Stark conjecture in its current form.The conjecture considers a totally real field F and a finite abelian CM extension H/F . It states the existence of p-units in H whose valuations at places above p are related to the special values of the L-functions of the extension H/F at s = 0. Essentially equivalently, the conjecture states that a Stickelberger element associated to H/F annihilates the (appropriately smoothed) class group of H.This conjecture has been refined by many authors in multiple directions. Notably, Kurihara conjectured that the Stickelberger element lies in the Fitting ideal of the Pontryagin dual of the class group, and furthermore conjectured an exact formula for this Fitting ideal. Burns constructed a Selmer group whose Fitting ideal he conjectured to be generated by the Stickelberger element. Atsuta and Kataoka conjectured a formula for the Fitting ideal of the class group, rather than its dual. Rubin stated a higher rank generalization of the Brumer-Stark conjecture. The first author and his collaborators stated an exact p-adic analytic formula for Brumer-Stark units, generalizing conjectures of Gross that give the image of the units under the Artin reciprocity map.We conclude by stating our results toward these various conjectures and summarizing the proofs. In particular, we prove the Brumer-Stark conjecture, Rubin's higher rank version, and Kurihara's conjecture, all "away from 2." We also prove strong partial results toward Gross's conjecture and the exact p-adic analytic formula for Brumer-Stark units. The key technique involved in the proofs is Ribet's method. We demonstrate congruences between Hilbert modular Eisenstein series and cusp forms, and use the associated Galois representations to construct Galois cohomology classes. These cohomology classes are interpreted in terms of Ritter-Weiss modules, from which results on class groups may be deduced.