I will first review recent advances in F-theory GUT model building, including the construction of globally well-defined compactification geometries, which realize additional U(1) symmetries, for instance to disallow proton decay operators, which are vital in building realistic models. I will then explain how to determine the complete set of possible U(1) charge patterns using Tate's algorithm.