A talk on formal verification of DSLs generating GPGPU programs at PPL 2016
A paper titled “Formal Verification of Data Parallel Code Templates for GPGPU”, authored by Asakura, Masuhara, Aotani is accepted at PPL 2016.
Paper on Babelsberg at 108th IPSJ PRO Workshop
A paper titled “Declaring Constraints on Object-oriented Collections”, authored by Tim Felgentreff, Robert Hirschfeld, Maria Graber, Alan Borning and Hidehiko Masuhara, is presented at 108th IPSJ PRO Workshop.
1st Meeting of SIGPX: Special Interest Group on Programming Experience
The first meeting of SIGPX (Special Interest Group on Programming Experience) is planned as follows.
- date: Saturday February 27, 2016
- location: Tokyo Tech
More information is on the SIGPX page.
Asakura presented master’s thesis, and Okugawa, Taya, and Watanabe presented bachelor’s thesis
Asakura presented his master’s thesis at the Tokyo Institute of Technology.
The title:
- Formal Verification of Data Parallel DSLs for GPGPU based on Concurrent Separation Logic (PDF)
Okugawa, Taya and Watanabe presented their bachelor’s theses at the Tokyo Institute of Technology.
Theses titles:
- An Extension of Meta-Theory a la Carte for Object Oriented Programming Languages (Ryo Okugawa)
- A Method of Data Representation and Parallelization for Multiple GPUs on Array Oriented DSL (Atsushi Taya)
- Improvement of Power of Expression of a Multi-dimensional Context Oriented Programming Language Korz (Keita Watanabe)
Paper presentation by Kazunori Ogata
Sorry, this entry is only available in 日本語.
Season’s Greetings 2015/2016
Greetings of the Season from the PRG members!
Ruochen’s Chinese Specials
A group including Kiriyama won the IDW ’15 Challenging-spirit Demonstration Award
A paper “Development of Poor Man’s 3D-AR Platform for Amateur Game Creators” authored by a group including Kiriyama has won the IDW ’15 Challenging-spirit Demonstration Award.
Grady Booch’s talk on the Future of Software Engineering
Title: The Future of Software Engineering
Speaker: Grady Booch
Date/Time: Tuesday, November 24, 2015, 15:00-16:30
Location:
E1001 Meeting Room, 10F, West Building 8-E,
Ookayama Campus, Tokyo Institute of Technology
東京工業大学 大岡山キャンパス 西8号館 E棟 10階大会議室
(access and map) (more…)
A discussion on 20 Years of Ruby, the Future of Ruby, published in IPSJ Magazine
A discussion on “20 Years of Ruby, The Future of Ruby”, with Yukihiro Matsumoto, Kazuhiko Kato, Shigeru Chiba, and Hidehiko Masuhara, is published in IPSJ Magazine.
Broken pointcut detection paper at ASE’15
A paper on the detection of broken pointcuts using structural commonality and degree-of-interest, authored by Khatchadourian, Rashid, Masuhara and Watanabe is accepted by International Conference on Automated Software Engineering (ASE 2015).