Developed in 2012 using PHP and the WordPress API.
This WordPress plugin allows you to rename physically the media files by changing their titles, and it will also update theirs references in the posts automatically (cleaner files + better SEO). I tried to use a plugin called rename-media (0.1) in the past, but it wasn’t working properly on IIS and Windows. Also, it wasn’t updating the links in the posts, and was crashing (on Linux) when I tried to use fancy titles. That’s why I decided to create my own (if you wondered :p).