Effective field theories provide a quite model-independent approach to new physics searches. A bottom-up approach allows us to describe experimental results in an agnostic way that can be easily interpreted in any new physics model, by means of a map between experimental (pseudo)observables and the Wilson coefficients of an Effective Lagrangian. In this talk we discuss a complementary approach in which EFTs are used from the top-down. In this approach we map specific UV completions to the Wilson coefficients of the Effective Lagrangian via matching. The goal is to perform a complete classification of UV completions and their effects at a fixed order in mass dimension and number of loops in the form of a UV/IR dictionary. I will describe the UV/IR dictionary at tree-level and dimension-6, which is nearly complete. Then I will introduce a new tool, MatchMaker, that aims at an automated, general purpose tool to perform one-loop matching calculations. This tool is the first step towards the calculation of the UV/IR dictionary at one loop.