Spy: A flexible code profiling framework. - Alexandre Bergel; Felipe Bañados; Romain Robbes; David Röthlisberger (Comput. Lang. Syst. Struct., 2012)

Execution profiling blueprints. - Alexandre Bergel; Felipe Bañados; Romain Robbes; Walter Binder (Softw. Pract. Exp., 2012)

A theory of gradual effect systems. - Felipe Bañados Schwerter; Ronald Garcia; Éric Tanter (ICFP, 2014)

Side effects take the blame. - Felipe Bañados Schwerter (SLE, 2016)

Gradual type-and-effect systems. - Felipe Bañados Schwerter; Ronald Garcia; Éric Tanter (J. Funct. Program., 2016)

Abstracting gradual typing moving forward: precise and space-efficient. - Felipe Bañados Schwerter; Alison M. Clark; Khurram A. Jafery; Ronald Garcia (Proc. ACM Program. Lang., 2021)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. - Felipe Bañados Schwerter; Ronald Garcia; Reid Holmes; Karim Ali 001 (Art Sci. Eng. Program., 2025)