SmartEiffel was release on Friday Dec 6th.
They have a list of research papers. I like the idea behind the "Compiler Support to Customize the Mark and Sweep Algorithm" [pdf].