The research in the COSTA team is focused on formal techniques and models for optimizing, verifying and understanding programs, and related implementation technology. Recent work has been centered on the development of automatic tools for proving program termination and inferring the resource consumption of executing programs, as well as leveraging these techniques to a concurrent and distributed setting. Elvira has published more than 100 papers on these topics in international journals and conferences.