Who am I ?
I am a researcher at IBM Resarch, Tokyo. My research field is programming languages: one of the oldest research fields in computer science, and many interesting ideas are developed in their long history of study. Now, what remains to be done is to close the gap between ideas and practices there, and this is my recent research goal.
Publications
Scripting Language and Compiler
- Evaluation of a Just-in-Time Compiler Retrofitted for PHP
Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera In Proceedings of The 2010 ACM SIGPLAN/SIGOPS International Conference on Vitual Execution Environments (VEE 2010), Pittsburgh, PA, USA, March 17-19, 2010, pp.?-?, March, 2010.
- Highly Scalable Web Applications with Zero-Copy Data Transfer
Toyotaro Suzumura, Michiaki Tatsubori, Scott Trent, Akihiko Tozawa, and Tamiya Onodera, In Proceedings of 18th International World Wide Web Conference (WWW 2009), Madrid, Spain, April 20-24, 2009, pp.921-930, April, 2009. - Copy-on-Write in the PHP Language,
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, and Yasuhiko Minamide, In Proceedings of the 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, January 21-23, 2009, pp.200-212, January, 2009.
Formal Languages
- Complexity Results on Balanced Context-Free Languages
Akihiko Tozawa, Yasuhiko Minamide, Tenth International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2007, To appear, Copyright (C) Springer-Verlag, - XML Validation For Context Free Grammars
Yasuhiko Minamide, Akihiko Tozawa, The Fourth ASIAN Symposium on Programming Languages and Systems, APLAS 2006, pp. 357-373, Copyright (C) Springer-Verlag,
- A Decision Procedure for the Alternation-free Two-way Modal μ-calculus
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, and Masami Hagiya, TABLEAUX 2005, Lecture Notes in Artificial Intelligence, Vol.3702, 2005, pp.277-291, Copyright (C) Springer-Verlag
XML Types and Transformation
- XML Type Checking Using High-Level Tree Transducer
Akihiko Tozawa, 8th International Symposium on Functional and Logic Programming, FLOPS 2006, Lecture Notes in Computer Science, Vol.3945, 2006, pp. 81-96, Copyright (C) Springer-Verlag,
- Regular Expression Containment with xs:all-like Operators
Akihiko Tozawa, Workshop on Programmable Structured Documents, 2005,,
- XML Schema Containment Checking based on Semi-implicit Techniques
Akihiko Tozawa and Masami Hagiya, Implementation and Application of Automata, 8th International Conference, CIAA 2003, Lecture Notes in Computer Science, Vol.2759, 2003, pp.213-225. Copyright (C) Springer-Verlag ,,
- Towards Static Type Checking for XSLT
Akihiko Tozawa,Proceedings of the 1st ACM Symposium on Document Engineering,ACM Press, 2001,