Futoshi Iwama
I am a doctoral student at Prof. Naoki Kobayashi's research group,
Department of Computer and Mathmatical Sciences,
Graduate School of Information Sciences, Tohoku University.
Japanese version
Refereed Papers
Resource Usage Analysis for a Functional Language with Exceptions.
(Conference version; pdf ),
(Full version; pdf )
- Futoshi Iwama, Atsushi Igarashi and Naoki Kobayashi
- In Proceedings of PEPM'06, ISBN:1-59593-196-1, pages.38-47, ACM Press, 2006.
A New Type System for JVM Lock Primitives.
(Conference version; pdf ),
(Full version; pdf )
- Futoshi Iwama and Naoki Kobayashi
- In Proceedings of ASIA-PEPM'02, ISBN:1-58113-458-4, pages.156-168, ACM Press, 2002.
Refereed Papers in Japanese
Software
A Prototype Resource Usage Analyzer for a Functinal Language.
- Based on the paper "Resource Usage Analysis for a Functional Language with Exceptions",
Futoshi Iwama, Atushi Igarashi and Naoki Kobayashi.
-
GUI version is available from here
Java Bytecode Verifier checking safe usage of Lock Primitives
- Based on the paper "A New Type System for JVM Lock Primitives",
Futoshi Iwama and Naoki Kobayashi.
-
Demonstrated at Open Symposium 2003 of Scientific Area for Priority Research, a MonbuKagaku-sho Funding, Japan.
Prof. Naoki Kobayashi's research group,
Tohoku University.
Graduate shcool of infomation siences.
Department of Computer and Mathematical Sciences.
iwama @ kb.ecei.tohoku.ac.jp
Last update: 2006/3/8