In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT.
In addition to DrRacket and software contracts, Findler focuses on the design and implementation of a workbench for semantics engineers.
Most recently, SUN's Fortress research team used Redex to specify and explore key parts of their language.
He and his PhD student Jacob Matthews developed a Redex model of the core semantics, which is included as an appendix of the report.
The appendix plays the same role as Standard ML's formal specification (Milner, Tofte, Harper, MacQueen) but is executable and thus can visualize individual examples.