About Tomoyuki Aotani

View all posts by Tomoyuki Aotani

Paper presentation at NOOL

Our paper entitled “Towards Automatic Decoration”, authored by Aotani and Kamina,  has been accepted by and will be presented at NOOL 2016

Paper presentation at FTfJP

Our paper “Towards Modular Reasoning for Context-Oriented Programs” (authored by Aotani and Leavens) was accepted for publication at the International Workshop on Formal Techniques for Java-like Programs (FTfJP), co-located with ECOOP 2016.