Integral Points on Elliptic Curves and Modularity

In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication case. The key input of our approach is the use of modularity techniques to prove the vanishing of certain Selmer groups involved in the Chabauty-Kim method.