Academic Papers

ROTOR has been developed at the University of Kent, as part of a project funded by the EPSRC on Trustworthy Refactoring.

More information on the theory and design behind ROTOR can be found in the following academic papers.

• Towards Large-scale Refactoring for OCaml.
  Reuben N. S. Rowe and Simon J. Thompson,
  (unpublished manuscript)

• Rotor: a tool for renaming values in OCaml’s module system.
  Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens,
  In proceedings of the 3rd International Workshop on Refactoring, IWOR@ICSE 2019, Montreal, QC, Canada, May 28, 2019.

• Characterising renaming within OCaml’s module system: theory and implementation.
  Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens,
  In proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.

  Code for the Coq formalisation of the theoretical framework in the paper.