As part of their CS 427 work at the University of Illinois the following refactorings was implemented In Photran

Toggle End Name Refactoring
Authors: Won Jun Jang, William Seemann, Jegan Sridharma, Francois Toguo, Jim Tonyan
See detailed specification
    Toggle End Name Refactoring

Convert Specification Statement to Declaration Attribute
Authors: Fred Hsu, Miguel Diaz, Anu Pardeshi, Jing Vergara
See detailed specification
    Convert Specification Statement To Declaration Attribute

Removal  of Obsolete Language Features
Authors:  Rita Chow, Nicola Hall, Jerry Hsiao, Mark Mozolewski, Chamil Wijenayaka
See detailed specification
    Remove Branch To END IF
    Remove ­Real ­And Double ­Precision ­Loop ­Counters

IF Statement/Construct Refactoring
Authors: Zeeshan Ansari, Mark Chen, Mumtaz Vauhkonen, Burim Isai,Waseem Sheikh
See detailed specification

Remove Assigned Goto
Authors: Andrea Dranberg, John Hammonds, Rajashekhar Arasanal, Balaji Ambresh Rajkumar, Paramvir Singh
See detailed specification

Make Save Attribute Explicit
Authors: Stephen Downs, Robert Samblanet, Kevin Schilling, Jon Woolwine, Chad Zamzow
See detailed specification