Programming Research Group – Page 31 – Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)

Papers on Context-Oriented Programming at COP’13 workshop

The following papers have been accepted and presented at 5th International Workshop on Context-Oriented Programming, Montpellier, France, co-located with ECOOP’13.

Tetsuo Kamina, Tomoyuki Aotani and Hidehiko Masuhara: A Unified Context Activation Mechanism
Robert Hirschfeld, Hidehiko Masuhara and Atsushi Igarashi: L – Context-oriented Programming With Only Layers

2013-07-02.

We’ve moved to Tokyo Tech!

We are excited to have moved to Tokyo Tech, and to welcome new members!

2013-04-01.

Older News

November 2012: Masuhara will talk on Ruby as an educational programming language at a symposium at Tsukuba University.
October 2012: An article on event-based context-oriented programming authored by Kamina, Aotani and Masuhara is accepted by IPSJ Transaction on Programming.
October 2012: A paper on foundations on context-oriented programming, written by Igarashi, Hirschfeld, and Masuhara will be presented at FOOL 2012.
July 2012: A poster on Ikra, authored by Nishiguchi and Masuhara will be presented at GTC Japan 2012.
June 2012: Two talks on context-oriented programming were given by Kamina, Aotani and Masuhara at IPSJ PRO 89th workshop.
June 2012: A paper on Ikra, authored by Masuhara, and Nishiguchi will be presented at RAM-SE’12.
June 2012: A paper on designing context-oriented programs, authored by Kamina, Aotani and Masuhara is presented at COP’12.
June 2012: A paper on Selene, authored by Masuhara, Murakami, and Watanabe will be presented at SUITE’12.
June 2012: A poster on Selene, authored by Murakami and Masuhara will be presented at RSSE’12.
April 2012: An article on PathFinder, authored by Perscheid, Haupt, Hirschfeld, and Masuhara is accepted by the Computer Software Journal from JSSST.
April 2012: Murakami and Bingfeng went on to master’s courses.
March 2012: An article on a trace-based debugger authored by Sakurai, Masuhara and Komiya is awarded as the best paper of the IPSJ Transaction on Programming, 2011.
March 2012: A paper on Generic Aspects authored by Toyama, Aotani and Masuhara will be presented at VariComp’12.
March 2012: Ichikou Kinen Shou is awarded to Murakami.
March 2012: A poster on Selene, authored by Murakami and Masuhara will be presented at PPL2012.
March 2012: A poster on Ikra, authored by Nishiguchi and Masuhara will be presented at PPL2012.
October 2011: Yang Chen has joined the group as a Research Student.
October 2011: Kouhei Sakurai moved to Kanazawa University.

2013-03-31.

Yet Older News

September 2011: A paper on EventCJ, authored by Aotani, Kamina and Masuhara will be presented at JSSST 2011.
September 2011: A paper on a debugger, authored by Perscheid，Haupt，Hirschfeld and Masuhara will be presented at JSSST 2011.
September 2011: A paper on Ikra, authored by Nishiguchi and Masuhara will be presented at JSSST 2011.
September 12, 2011: Chris Dutchyn has joined the group as a visiting professor.
September 12-14, 2011: A paper on a methodology for developing context-oriented software, authored by Kamina, Aotani, Masuhara and Tamai will be presented at SES 2011.
July 2011: A poster on Generic Aspects, authored by Toyama and Aotani will be presented at ECOOP 2011.
July 2011: A paper on formalization of EventCJ, authored by Aotani, Kamina and Masuhara will be presented at COP’11.
June 2011: GentleAJ compiler is available.
June 2011: A paper on AspectKlava, authored by Yang, Aotani, Masuhara, Nielson and Nielson will be presented at COORDINATION’11.
May 28 2011: A paper on Selene, authored by Watanabe and Masuhara will be presented at SUITE’11.
20 May 2011: Spontaneous source code recommendation tool Selene version 1.4.0 is released.
April 2011: Murakami Naoya has joined the group as an undergraduate student.
March 2011: A paper on formalization of context-oriented programming authored by Igarashi,Hirschfeld and Masuhara will be presented at FOAL’11.
March 2011: A paper on the type relaxed weaving authored by Aotani, Toyama and Masuhara will be presented at FOAL’11.
March 2011: A paper on EventCJ authored by Kamina, Aotani and Masuhara will be presented at AOSD’11.
February 2011: Manabu Toyama made presentation of master’s thesis.
December 2010: An article on “Teaching Programming and Using Programming to Teach” by Hidehiko Masuhara is pubilshed at IPSJ Maganize.
November 2010: Sakurai’s Ph.D. dissertation is get introduced as a Quick Report on Doctoral Theses Recommended by IPSJ SIGs in IPSJ Maganize.
October 25 2010: Fan Yang, who studied as a visiting graduate student in 2009, defensed his Ph.D. at Technical University of Denmark. Thesis title: “Aspects with Program Analysis for Security Policies”
October 2010: Aotani’s Ph.D. dissertation is get introduced as a Quick Report on Doctoral Theses Recommended by IPSJ SIGs in IPSJ Maganize.
October 2010: Shao Bingfeng has joined the group as a Research Student.
September 27-28 2010: Workshop on Self-sustaining Systems (S3) 2010 will be held at Komaba Campus, University of Tokyo.
September 25 2010: AOAsia/Pacific’10 Workshop will be held at Komaba Campus, University of Tokyo.
September 14 2010: A talk about StrongRelaxAJ will be given at the 27th JSSST Conference.
August 31 2010: Toyama gives a talk of the AOSD’10 paper on “Type Relaxed Weaving” at SES2010.
July 1-2 2010: A paper on context-oriented programming will be presented at the international conference on Software Composition 2010.
June 22 2010: Raffi Khatchadourian has joined the group as a JSPS Summer Program fellow.
June 22 2010: A paper on event-based context-oriented programming will be presented at COP’10: International Workshop on Context-oriented Programming at ECOOP’10.
9 June 2010: Spontaneous source code recommendation tool Selene version 1.2.0 is released.
May 2010: A paper on ContextJ is accepted by the journal of Computer Software.
April 2010: A trace based debugger implementation, Traceglasses is released. Also, a paper about Traceglasses is accepted by IPSJ PRO (Transaction of Programming, in Japanese).
April 2010: NISHIGUCHI Yusuke has joined the group as an undergraduate student.
March 2010: Post-doctoral researcher Tomoyuki Aotani moved to JAIST
March 2010: A talk about AspectKlava was given at ACP4IS workshop, and demo was given at AOSD
March 2010: A talk about StrongRelaxAJ was given at FOAL workshop
Febrary 2010: a paper on StrongRelaxAJ is accepted by FOAL (Foundations of Aspect-Oriented Languages)
27 January 2010: a talk about a trace based debugger, Traceglasses is given at IPSJ Special Interest Group on Programming (Japanese)
January 2010: The latest version(0.2.0) of RelaxAJ compiler is available.
January 2010: a paper on AspectKlava is accepted by ACP4IS (Workshop on Aspects, Components, and Patterns for Infrastructure Software)
January 2010: a demonstration of AspectKlava is accepted by AOSD’10
December 2009: A paper on the Type Relaxed Weaving is accepted by AOSD’10.
25 November 2009: The Kumiki Symposium on Technologies of Software Composition is held at Komaba Campus, the University of Tokyo. We welcome your attendance. (detail)
October 2009: RelaxAJ compiler is available.
September 2009: A position paper entitled “A Join Point Model for Implicit Conversion” authored by Tomoyuki Aotani and Hidehiko Masuhara was accepted at the AOAsia 5.
September 2009: A paper on “ContextJ: Context-oriented Programming with Java” authored by Appeltauer, Hirschfeld, Haupt and Masuhara is presented at the 26th JSSST Conference.
August 2009: A position paper “Establishing criteria for measuring the source code similarity” authored by Watanabe Takuya is accepted by the Workshop on Source Code Similarity, co-located with SES2009.
July 2009: A paper on “ContextJ: Improving the Development of Context-dependent Java Applications” authored by Appeltauer, Hirschfeld and Masuhara is accepted by the Intenational workshop on Context-oriented Programming (COP’09).
June 2009: A talk on “Can we use AOP for patching?: A weakness in AspectJ’s type system and a remedy” is given at the Workshop on Trade-offs in Software Language Engineering by Masuhara.
June 2009: A tutorial article on “Aspect-Oriented Programming” authored by Masuhara received the best tutorial paper award from JSSST.
11 May 2009: Fan Yang has joined the group as a visiting graduate student.
April 14, 2009: The Young Scientists’ Prize of The Commendation for Science and Technology by the Minister of Education,Culture, Sports, Science and Technology is awarded to Hidehiko Masuhara.
April 1, 2009: Robert Hirschfeld has joined the group as a Visiting Professor.
March 2009: Ichikou Kinen Shou is awarded to Tomoyuki Aotani.
March 2009: Tomoyuki Aotani and Kohei Sakurai received Ph.D., Hiroaki Muroi received M.A. and Manabu Toyama received B.A. degrees.
February 9, 2009: A poster on SCoPE AspectJ Compiler was accpeted at the AOSD09 poster event.
January 30, 2009: A paper on the type relaxed weaving was accepted at the PPL2009.
December 11, 2008: Hidehiko Masuhara gave a talk on “an abstraction mechanism for aspect-oriented programming based on test cases” (the project page) at the GRACE Seminar.
July 8, 2008: A paper on the type relaxed weaving was presented at the 3rd International Workshop on Aspects, Dependencies and Interactions (ADI’08).
July 7, 2008: Hidehiko Masuhara gave a keynote talk on “Toward Right Abstraction of Crosscutting Concerns” at RAM-SE’08 5th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution.
June 21, 2008: Hidehiko Masuhara gave a talk on “Teaching *with* Ruby (Not “Teaching Ruby”) ” at RubyKaigi’08.
March 4, 2008: A poster on SCoPE AspectJ Compiler was accpeted at the AOSD08 poster event.
February 12, 2008: Posters are accepted at PPL2008 category 3:
- A poster on SCoPE AspectJ Compiler,
- A poster on dflow,
- A poster on Selene,
- A poster on Aspectual Haskell.
December 21, 2007: A paper on Test-Based Pointcuts is accepted at the AOSD08
February 2, 2007: A paper on rejecting never-matching pointcut compositions is accepted at the AOSD07 workshop on the Foundations of Aspect-Oriented Languages.
December 2, 2006: A paper on SCoPE is accepted at the AOSD07
September 19, 2006: A workshop on aspect-oriented software development will be held in Tokyo.
- AOAsia 2
September 18, 2006: Komaba Mini AOSD Workshop 2006 will be held in Tokyo.
- detail
August 11, 2006: A paper on fine-grained join point model is accepted at the APLAS 2006.
- detail
Dr. Alessandro Garcia at Lancaster University will give a talk on Aspectizing Design Patterns and Exception Handling at our group seminar.
- Rm.104, Bldg.15, Komaba Campus, University of Tokyo
- 17:00- May 15, 2006
May 5, 2006: A paper on the expressive pointcuts and aspect dependency is accepted at the ECOOP 2006 workshop on Aspects, Dependencies and Interactions.
April 22, 2006: Our work on aspect mining is presented at The Second DIKU-IST Joint Workshop on Foundations of Software.
- detail
April, 2006: An article on the SCoPE compiler and a tutorial on “Aspect-Oriented Programming” is published in the April 2006 issue of Computer Software.
- SCoPE compiler

We are accepting graduate students for Y2007. Please contact us for more information about admission and research topics.

April 1, 2006: 3 members received master’s degree, and go on to the doctoral course. One Ph.D. candidate joined. One Research student joined.
- People

November 30, 2005: Dr. Jan Hannemann joined our group.
- detail

June 19, 2004: A guidance for the entrance examination of the graduate school.
- detail(in Japanese)

April 1, 2004: The new academic year begins with two new graduate students.
- detail

March 30, 2004: Our profiler for object-oriented programs is presented at IPSJ Special Interest Group on Programming. The resume is available.
- detail

January 24, 2004: Paper on the dataflow pointcut is accepted by the journal of JSSST(in Japanese).
- detail

November 27, 2003: Our dataflow pointcut is presented at APLAS2003 in Beijing. Slides are available.
- detail

October 12, 2003: Paper on the dataflow pointcut presented at JSSST Annual Conference is available (in Japanese).
- detail

November 27-29, 2003: Paper on the dataflow pointcut will be presented at APLAS’03. The paper is available.
- detail

Papers on dataflow pointcut will be presented at JSSST Annual Conference, 16-18 September 2003 at Aichi, Japan.
- detail

August 11, 2003: Access information is now available.
- detail
July 21-25, 2003 at Darmstadt, Germany: Paper presentation on modeling modular crosscutting at ECOOP 2003.
- detail

June 27, 2003: First release of prototype implementation of dflow pointcut.
- detail

Saturday June 14, 2003: Guidance of Graduate School Entrance Exam for 2004.
- detail

2011-09-30.

The Programming Research Group is working on programming languages and software development environments. Our goal is to make programming more fun by advancing theory, design and implementation of programming languages and environments.

Theory and design of programming languages: We are investigating for example type systems, control operators, advanced module mechanisms, and program synthesis.
Implementation techniques for high-level programming languages: We are developing object-oriented support for high-level GPGPU programming languages, and runtime compiler frameworks.
Improving software development environment by applying program analysis and machine-learning techniques: We are developing live programming environments for the real programmers, an environment for teaching, code completion mechanisms and debuggers.

For more and detailed research topics, please look our projects page. We welcome interested students and researchers to join us.

2000-04-01.

Papers on Context-Oriented Programming at COP’13 workshop

We’ve moved to Tokyo Tech!

Older News

Yet Older News

About…