| | 3 | = 2011 = |
| | 4 | Toshiyuki Maeda, Haruki Sato, and Akinori Yonezawa:: |
| | 5 | '''Extended Alias Type System using Separating Implication'''[[br]] |
| | 6 | In ''Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011), pp. 29-42, Austin, USA, January 2011'' |
| | 7 | |
| | 8 | Tomohiro Suzuki, Kevin Pinte, Tom Van Cutsem, Wolfgang De Meuter, and Akinori Yonezawa:: |
| | 9 | '''Programming Language Support for Routing in Pervasive Networks'''[[br]] |
| | 10 | In ''Proceedings of the 8th International IEEE Workshop on Middleware and System Support for Pervasive Computing (!PerWare 2011), Austin, USA, March 2011'' |
| | 11 | |
| | 12 | = 2010 = |
| | 13 | Masaaki Shimizu and Akinori Yonezawa:: |
| | 14 | '''Remote Process Execution and Remote I/O for Heterogeneous Processors in Cluster Systems'''[[br]] |
| | 15 | In ''Proceedings of the 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2010), pp. 145.154, Melbourne, Australia, May 2010'' |
| | 16 | |
| | 17 | Nan Dun, Kenjiro Taura, and Akinori Yonezawa:: |
| | 18 | '''!ParaTrac: A Fine-Grained Profiler for Data-Intensive Workflows'''[[br]] |
| | 19 | In ''Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing (HPDC2010), pp. 37.48, Chicago, USA, June 2010'' |
| | 20 | |
| | 21 | Toshiyuki Maeda and Akinori Yonezawa:: |
| | 22 | '''Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts'''[[br]] |
| | 23 | In ''Proceedings of the 5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada, October 2010'' |
| | 24 | |
| | 25 | Nan Dun, Kenjiro Taura, and Akinori Yonezawa:: |
| | 26 | '''Easy and Instantaneous Processing for Data-Intensive Workflows'''[[br]] |
| | 27 | In ''Proceedings of the 3rd IEEE Workshop on Many-Task Computing on Grids and Supercomputers (MTAGS2010), New Orleans, USA, November 2010'' |
| | 28 | |
| | 29 | Junya Sawazaki, Toshiyuki Maeda, and Akinori Yonezawa:: |
| | 30 | '''Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms'''[[br]] |
| | 31 | In ''Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), pp. 37-46, Tokyo, Japan, December 2010'' |
| | 32 | |
