I hope you enjoyed the summer break and managed to catch up on some of your reading :). To kick things off again, I’ve pulled together a selection of papers from ECOOP ’15 that was held in Prague last month:
- Towards Practical Gradual Typing examines the age-old debate between dynamically and statically typed languages and how we might be able to have the best of both worlds rather than being forced to choose.
- Cooking the books: Formalizing JMM Implementation Recipes continues looking lower down the stack. This paper examines the Java Memory Model cookbook recipes and via a formal model shows how the JMM can be safely mapped to both x86 and Power architectures. They find and solve some problems with the Power mapping in the Cookbook along the way….
- Access-Rights Analysis in the Presence of Subjects introduces the first static analysis tool for security permissions that can cope with Subject-based permissions models. It found and corrected hundreds of problems in the WebSphere Application Server codebase on the way to CC EAL 4 certification.
So that’s a little taster of what’s coming up this week, and we’ll have a couple more from the ECOOP program next week too.