Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Hidehiko Masuhara: Publications
The documents contained in these directories are included
by the contributing authors as a means to ensure timely
dissemination of scholarly and technical work on a
non-commercial basis. Copyright and all rights therein
are maintained by the authors or by other copyright
holders, notwithstanding that they have offered their
works here electronically. It is understood that all
persons copying this information will adhere to the terms
and constraints invoked by each author's copyright.
These works may not be reposted without the explicit
permission of the copyright holder.
Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara.
``A type system for dynamic layer composition.''
In Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012), pp.13-24, October 2012. PDF File (688 Kbytes), 12 pages.
Hidehiko Masuhara and Yusuke Nishiguchi.
``A data-parallel extension to Ruby for GPGPU: Toward a framework for implementing domain-specific optimizations.''
In Proceedings of the 9th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'12). ACM, pp.3-6, June 2012. PDF File (221 Kbytes), 4 pages.
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
``Bridging real-world contexts and units of behavioral variations by composite layers.''
In Proceedings of the Workshop on Context-Oriented Programming (COP'12), pp.4:1-4:6, June 2012. PDF File (227 Kbytes), 6 pages.
Naoya Murakami and Hidehiko Masuhara.
``Optimizing a search-based code recommendation system.''
In Proceedings of the third International Workshop on Recommendation Systems for Software Engineering (RSSE'12), pp.68-72, June 2012. PDF File (1.12 Mbytes), 5 pages.
Hidehiko Masuhara, Naoya Murakami, and Takuya Watanabe.
``Duplication removal for a search-based recommendation system.''
In Proceedings of the 4th International Workshop on Search-driven development: Users, Infrastructure, Tools and Evaluation (SUITE'12), pp.31-24, June 2012. PDF File (109 Kbytes), 4 pages.
Hidehiko Masuhara.
``Reflection on the power of pointcuts.'' Concurrent Objects and Beyond: From Theory to High-Performance Computing, May 2012.
Manabu Toyama, Tomoyuki Aotani, and Hidehiko Masuhara.
``A per-type instantiation mechanism for generic aspects.''
In Proceedings of the 3rd International Workshop on Variablity and Composition (VariComp'12), pp.25-30, March 2012. PDF File (312 Kbytes), 5 pages.
Michael Perscheid, Michael Haupt, Robert Hirschfeld, and Hidehiko Masuhara.
``Test-driven fault navigation for debugging reproducible failures.''
In Proceedings of the 28th Annual Conference of Japan Society of Software Science and Technology, 3E-3, Naha, Okinawa, September 2011. PDF File (573 kbytes), 17 pages.
Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara,
``Featherweight EventCJ: a core calculus for a context-oriented
language with event-based per-instance layer transition'',
in Proceedings of the Workshop on Context-Oriented Programming (COP'11) pp.1:1-1:7, July 2011. PDF File (615 kbytes), 7 pages.
Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson,
``Combining static analysis and runtime checking in security aspects for distributed tuple spaces'',
in Proceeding of the 13th International Conference on Coordination Models and Languages (COORDINATION'11), LNCS volume 6721, pp.202-218, June 6-8 2011. PDF File (1.3 Mbytes), 15 pages.
Takuya Watanabe and Hidehiko Masuhara,
``A spontaneous code recommendation tool based on associative search'',
in Proceedings of 3rd International Workshop on Search-driven development:
Users, Infrastructure, Tools and Evaluation (SUITE'11), pp.17-20, May 28 2011. PDF File (1.0 Mbytes), 4 pages.
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara,
``EventCJ: A context-oriented programming language with declarative event-based context transition'', in Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD'11),
March 21-25 2011. pp.253-264. PDF File (193 kbytes), 12 pages.
Tomoyuki Aotani, Manabu Toyama, and Hidehiko Masuhara.
``Supporting covariant return types and generics in type-relaxed
weaving'',
In Proceedings of Foundations of
Aspect-Oriented Langauges (FOAL2011), 21 March 2011. pp.13-17. PDF File (223 kbytes), 5 pages.
Robert Hirschfeld, Atsushi Igarashi, and Hidehiko Masuhara.
``ContextFJ: A minimal core calculus for context-oriented
programming'',
In Proceedings of Foundations of
Aspect-Oriented Langauges (FOAL2011), 21 March 2011. pp.25-29 PDF File (84 kbytes), 5 pages.
Malte Appeltauer, Robert Hirschfeld, Michael Haupt and Hidehiko Masuhara,
``ContextJ: Context-oriented Programming with Java'', Computer Software, Vol.28, No.1, pp.272-292, 2011.
(revised version of a paper presented at JSSST Annual Conference 2009.)
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masuhara, Michael Haupt, and Kazunori Kawauchi
``Event-specific software composition in context-oriented programming'', in Proceedings of the Conference on Software Composition (SC'10),
LNCS 6144, pp. 50--65, July 1-2 2010.
(PDF @ SpringerLink)
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
``Designing event-based context transition in context-oriented
programming'',
In Proceedings of 2nd International
Workshop on Context-Oriented Programming (COP'10),
pp. 7--12, 22 June 2010.
Hidehiko Masuhara, Atsushi Igarashi, and Manabu Toyama
``Type Relaxed Weaving'',
In Proceedings of the 9th International Conference on
Aspect-Oriented Software Development (AOSD'10), pp.121-132, 18 March 2010. PDF file (174 kbytes), 12 pages,
an extended version with full language denfitition and proofs.
Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson
``AspectKE*: Security aspects with program analysis for distributed systems''
Demonstration presentation at Aspect-Oriented Software Development (AOSD'10),
17 and 18 March 2010.
Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson
``AspectKE*: Security Aspects with Program Analysis for Distributed Systems'',
In Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), pp.27-31, March 16, 2010. PDF file (234 kbytes), 5 pages.
Tomoyuki Aotani, Manabu Toyama, and Hidehiko Masuhara
``StrongRelaxAJ: integrating adaptability of RelaxAJ and
expressiveness of StrongAspectJ'',
In Proceedings of Foundations of Aspect-Oriented
Langauges (FOAL2010), pp. 1--4, March 2010. PDF file (872 kbytes), 4 pages.
Tomoyuki Aotani and Hidehiko Masuhara,
``A Join Point Model for Implicit Conversion'',
In Proceedings of the 5th Asian Workshop on Aspect-Oriented Softawer Development (AOAsia 5), Auckland, New Zealand, 17 November 2009.
Position paper.
Malte Appeltauer, Robert Hirschfeld, Michael Haupt and Hidehiko Masuhara,
``ContextJ: Context-oriented Programming with Java'',
In Proceedings of the 26th JSSST Annual Conference,
2D-1, Shimane University, Matsue, Shimane, 16 September 2009. PDF file (507 kbytes), 15 pages.
(a full paper appears in Computer Software)
Malte Appeltauer, Robert Hirschfeld and Hidehiko Masuhara,
``ContextJ: Improving the Development of Context-dependent Java Applications'',
In Proceedings of the Intenational workshop on Context-oriented Programming, co-located with the 23rd European Conference on Object-Oriented Programming (ECOOP'09), Geona, Italy, 7 July 2009.
Hidehiko Masuhara,
``Can we use AOP for patching?: A weakness in AspectJ's type system and a remedy'',
a talk at the workshop on Trade-offs in Software Language Engineering, University of Twente, the Netherlands, 11 June 2009.
Hidehiko Masuhara,
``An abstraction mechanism for aspect-oriented programming based on test cases'',
a talk at the 12th GRACE Seminar, National Instutite of Informatics, December 2008. slides in PDF (388 kbytes).
Hidehiko Masuhara,
``On Type Restriction of Around Advice and Aspect Interference'',
In Proceedings of the 3rd International Workshop on Aspects, Dependencies and Interactions (ADI'08), July 2008. PDF file (92 kbytes), 11 pages.
Hidehiko Masuhara,
``Towards Right Abstraction Mechanisms for Crosscutting Concerns'',
A keynote talk at 5th ECOOP Workshop on
Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'08),
July 2008. PDF file (275 kbytes)
Kouhei Sakurai and Hidehiko Masuhara,
``Test-Based Pointcuts for Robust and Fine-Grained Join Point Specification'',
In Proceedings of the 7th International Conference on
Aspect-Oriented Software Development (AOSD'08), pp.96-107, March-April 2008. PDF file (495 kbytes), 12 pages.
Tomoyuki Aotani and Hidehiko Masuhara,
``SCoPE: an AspectJ compiler for developing intuitive and robust aspects by using program analysis'',
Poster presentation at AOSD.08, March 2008.
Hidehiko Masuhara and Takuya Watanabe,
Poster presentation at Microsoft Research Asia (MSRA) Regional Workshop on Web-Scale Natural Language Processing, Daedeok, Korea, February 2008.
Hidehiko Masuhara,
``Relaxing Type Restrictions of Around Advice in Aspect-Oriented Programming'', The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), November 2007. poster presentation. Abstract in PDF (40 k bytes, 2 pages)
Kouhei Sakurai and Hidehiko Masuhara,
``Test-based Pointcuts: A Robust Pointcut Mechanism Based on Unit Test
Cases for Software Evolution'',
In Proceedings of Workshop on Linking Aspect Technology and
Evolution revisited (LATE 2007), March 2007. PDF file (148 k bytes, 6 pages)
Tomoyuki Aotani and Hidehiko Masuhara,
``Towards a Type System for Detecting Never-Matching Pointucut
Compositions'',
In Proceedings of Workshop on Foundations of Aspect-Oriented Languages
(FOAL'07), pp.23-26, March 2007. PDF file (193 k bytes, 4 pages)
Tomoyuki Aotani and Hidehiko Masuhara,
``SCoPE: an AspectJ Compiler for Supporting User-Defined Analysis-Based Pointcuts'',
In Proceedings of the 6th International Conference on
Aspect-Oriented Software Development (AOSD'07), pp.161-172,
March
2007. PDF file (190 k bytes, 12 pages)
Hidehiko Masuhara, Yusuke Endoh and Akinori Yonezawa,
``A Fine-Grained Join Point Model for More Reusable Aspects'',
In Proceedings of the Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006),
LNCS 4279, pp.131-147, November 2006. PDF file (758 kbytes), 17 pages.
Hidehiko Masuhara and Tomoyuki Aotani,
``Issues on Observing Aspect Effects from Expressive
Pointcuts'',
In Proceedings of Workshop on Aspects, Dependencies and
Interactions (ADI'06),
pp.53--61, July 2006. PDF file (83 kbytes), 9 pages.
Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa,
``Continuation Join Points'',
In Proceedings Foundations of Aspect-Oriented Languages
Workshop (FOAL 2006),
pp.1-10, March 2006. PDF file (157 kbytes), 10 pages.
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu
Ubayashi, Saeko Matsuura and Seiichi Komiya,
``Design and Implementation of An Aspect Instantiation
Mechanism'',
In LNCS Transaction on Aspect-Oriented Software Development,
volume 3880, pp.259--292, 2006. PDF file at SpringerLink
Naoyasu Ubayashi, Hidehiko Masuhara and Tetsuo Tamai,
``A Parameterized Interpreter for Modeling Different AOP
Mechanisms'',
In Proceedings of 2005 IEEE/ACM International Conference
on Automated Software Engineering (ASE 2005),
pp.194--203, November 2005.
Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa,
``Is Join Point a Point?: a pointcut and advice mechanism
for making aspects more reusable'',
In Proceedings of Workshop on New Approaches
to Software Construction (WNASC 2005),
pp.93-98, September 2005.
Hidehiko Masuhara, Hideaki Tatsuzawa and Akinori Yonezawa,
``Aspectual Caml: an Aspect-Oriented Functional Language'',
In Proceedings of International Conference on Functional
Programming (ICFP 2005), pp.320-330, September 2005. PDF file (105 kbytes), 11 pages.
Slides in PDF (249 kbytes), 23 pages.
Yudai Yamazaki, Kouhei Sakurai, Saeko Matsuura,
Hidehiko Masuhara, Hiroaki Hashiura and
Seiichi Komiya,
``A Unit Testing Framework for Aspects without Weaving'',
In Proceedings of Workshop on Testing Aspect-Oriented
Programs, March 2005.
Tomoyuki Aotani and Hidehiko Masuhara,
``Compiling Conditional Pointcuts for User-Level Semantic
Pointcuts'',
In Proceedings of Software-Engineering Properties of Languages
and Aspect Technologies (SPLAT05), March 2005.
Hideaki Tatsuzawa, Hidehiko Masuhara and Akinori Yonezawa,
``Aspectual Caml: an Aspect-Oriented Functional Language'',
In Proceedings of Foundations of Aspect-Oriented
Langauges (FOAL2005), March 2005.
Takahiro Kamio and Hidehiko Masuhara,
``A Value Profiler for Assisting Object-Oriented Program
Specialization'',
In Proceedings of Workshop on New Approaches to
Software Construction (WNASC 2004), September 2004. PDF file (479kbytes), 8 pages.
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu
Ubayashi, Saeko Matsuura and Seiichi Komiya,
``Association Aspects'',
In Proceedings of the 3rd International Conference on
Aspect-Oriented Software Development (AOSD'04), March
2004. PDF file (479 kbytes), 10 pages.
Hidehiko Masuhara and Kazunori Kawauchi, ``Dataflow Pointcut in Aspect-Oriented Programming'',
In Proceedings of The First Asian Symposium on Programming Languages and Systems (APLAS'03), LNCS2895, pp.105--121, November 2003. PDF file (472kbytes), 17 pages,
slides (PDF).
Hidehiko Masuhara and Gregor Kiczales, ``Modeling Crosscutting in Aspect-Oriented Mechanisms'',
In Proceedings of ECOOP2003, LNCS 2743, pp.2-28, July 2003. PDF file (240kbytes), 26 pages, slides (PDF, PPT).
Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn,
``A Compilation and Optimization Model for Aspect-Oriented Programs'',
In Proceedings of Compiler Construction (CC2003), LNCS 2622, pp.46-60, 2003. PDF file (127kbytes) , 15 pages.
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii and Akinori Yonezawa,
``Supporting Objects in Run-time Bytecode Specialization'',
In ACM SIGPLAN ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM'02), pp.50-60, 2002. Gzipped Postscript file (198kbyets)
Chirs Dutchyn, Gregor Kiczales and Hidehiko Masuhara,
``AOP Language Exploration Using the Aspect Sand Box'',
A Tutorial on 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), Apr. 2002
Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn,
``Compilation Semantics of Aspect-Oriented Programs'',
In FOAL 2002 Proceedings: Foundations Of Aspect-Oriented Languages, Workshop at AOSD 2002, pp.17-25, 2002. revised version appeared in CC2003 PDF file (109kbytes), 9pages
Hidehiko Masuhara and Akinori Yonezawa,
``A Portable Approach to Dynamic Optimization in
Run-time Specialization'',
In Journal of New Generation Computing,
Volume 20, Number 1, November 2001. A4 size Postscript file(289kbytes),
PDF file(221kbytes), 28 pages.
Hidehiko Masuhara and Akinori Yonezawa,
``Reflection in Concurrent Object-Oriented Languages'',
In Howard Bowman and John Derrick eds., Formal Methods for Distributed Processing: An Object Oriented Approach'', pp.305-325, Cambridge University Press, 2001.
Hidehiko Masuhara and Akinori Yonezawa,
``Run-time Bytecode Specialization: A Portable Approach to
Generating Optimized Specialized Code'',
In Olivier Danvy and Andrzej Filinski eds.,
Second Symposium on Programs as Data Objects (PADO II),
Aarhus, Denmark, LNCS 2053, pp.138--154, May 2001. A4 size Postscript file(231kbytes),
PDF file(155kbytes), 17 pages.
Hidehiko Masuhara and
Akinori Yonezawa,
``Generating Optimized Residual Code in Run-Time
Specialization'',
In Proceedings of International Colloquium on Partial Evaluation and Program
Transformation (PE Day'99), Waseda University, Tokyo,
Japan, pp. 83--102, Nov., 1999. A4 size Postscript file (232k bytes), PDF file (173k bytes), 20 pages.
Hidehiko Masuhara and
Akinori Yonezawa,
``An Object-Oriented Concurrent Reflective Language ABCL/R3: Its
Meta-level Design and Efficient Implementation Techniques'',
In Object-Oriented Parallel and Distributed Programming, HERMES Science Publications, Paris, pp. 151--165, 2000.
(request for copies should be sent to the first author)
Hidehiko Masuhara,
Yuuya Sugita,
and Akinori Yonezawa,
``Optimizing Reflective Languages by Using Partial
Evaluation'',
In Program Transformation Workshop (PTW'99), Sapporo, March 1999.
Postscript file: A4 size (10 pages, 147k bytes).
Hidehiko Masuhara and Akinori Yonezawa,
``Run-time Program Specialization in Java Bytecode'',
In Proceedings of the JSSST SIGOOC 1999 Workshop on Systems
for Programming and Applications (SPA'99),
March 1999. Japanese version is also available.
Postscript file: A4 size,Letter size (14pages, 216k bytes) PDF file(14pages, 155k bytes)
Hidehiko Masuhara, ``Architecture Design and Compilation Techniques Using
Partial Evaluation in Reflective Concurrent Object-Oriented
Languages'',
Ph.D. Thesis, Department of Information Science, University of
Tokyo, January 1999. A4 size Postscript file, PDF file.
Yuuya Sugita,
Hidehiko Masuhara, Ken'ichi Harada, and Akinori Yonezawa,
``On-the-fly Specialization of Reflective Programs Using
Dynamic Code Generation Techniques'',
In Proceedings of OOPSLA'98 workshop on Reflective Programming
in C++ and Java, October 1998.
Postscript file: A4 size (5 pages).
Hidehiko Masuhara and Akinori Yonezawa,
``Design and Partial Evaluation of Meta-objects for a
Concurrent Reflective Language'',
In Proceedings of European Conference on Object-Oriented
Programming (ECOOP'98), LNCS volume 1445, Brussels, pp. 418--439, July 1998.
An electric copy is available through the following links until it becomes available from Springer (http://www.springer.de/comp/lncs):
Postscript file: A4 size,Letter size, (22 pages, 115k bytes each)
PDF file (22 pages, 293k bytes)
Hidehiko Masuhara and Akinori Yonezawa,
``A Reflective Approach to Support Software Evolution'',
In Preprints of International Workshop on Principles of
Software Evolution (IWPSE'98)
(in conjuction with International Conference
on Software Evolution), Kyoto, Apr. 1998, pp.135-139
Gzipped Postscript file
(A4 size, 5 pages, 87k bytes)
Hidehiko Masuhara and Akinori Yonezawa,
``Reasoning-conscious Meta-object Design of a Reflective Concurrent
Language'',
In Proceedings of International Symposium on Biologically Inspired
Computation (IMSA'97), Tsukuba, Oct., 1997, pp.42-56.
Postscript file: A4 size,letter size, (63k bytes each)
Kenichi Asai,
Hidehiko Masuhara, and Akinori Yonezawa,
``Partial Evaluation of Call-by-value lambda-calculus with
Side-effects,''
In Proceedings of Partial Evaluation and Semantics-Based Program
Manipulation (PEPM'97), Amsterdam, June, 1997.
Postscript file
Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa,
``Implementing Parallel Language Constructs Using a Reflective
Object-Oriented Language'',
In Reflection'96 Conference, San Francisco, California, Apr., 1996.
Postscript file: A4 size,letter size, (84k bytes each)
Hidehiko Masuhara, Satoshi
Matsuoka, Kenichi
Asai, and Akinori Yonezawa,
``Compiling Away the Meta-Level in Object-Oriented Concurrent
Reflective Languages Using Partial Evaluation,''
In Proceedings of OOPSLA'95, Austin, Texas, pp. 300--315,
Oct., 1995, also published as ACM SIGPLAN Notices, Vol. 30, No. 10, Oct., 1995.
Postscript file:
A4 size,
letter size (107k bytes each)
Hidehiko Masuhara, Satoshi
Matsuoka, and Akinori
Yonezawa,
``An Object-Oriented Concurrent Reflective Language for
Dynamic Resource Management in Highly Parallel Computing,''
in IPSJ SIG Notes, 94-PRG-18 (SWoPP'94), pp. 57-64, Jul.,
1994.
Postscript file: A4 size,letter size (123k bytes each)
Hidehiko Masuhara,
``Study on a Reflective Architecture to Provide
Efficient Dynamic Resource Management for Highly-Parallel
Object-Oriented Applications,'' Master's thesis, Department of Information Science, the University of Tokyo, Feb., 1994.
Postscript file:
A4 size,
letter size (278k bytes each)
Hidehiko Masuhara, Satoshi
Matsuoka, Takuo
Watanabe, and Akinori
Yonezawa,
``Object-Oriented Concurrent Reflective Languages can be
Implemented Efficiently,''
In Proceeding of OOPSLA'92,
Vancouver, Canada, pp. 127-144, Oct., 1992, also published as ACM
SIGPLAN Notices, Vol. 27, No. 10, Oct., 1992.
Postscript file:
A4 size,
letter size (318k bytes each)