The Fourth DIKU-IST Joint Workshop on Foundations of Software

10 – 14 January, 2011


Important Dates

  • January 10-12: Workshop at Asakusa View Hotel
  • January 13: Workshop at The University of Tokyo
  • January 14: Free Discussion


After the success of the first, second, and third DIKU-IST workshops, the fourth DIKU-IST workshop aims to provide a forum for exchanging research ideas among researchers on programming languages and foundations of software, and promoting research collaboration between Department of Computer Science (DIKU) at University of Copenhagen and Graduate School of Information Science and Technology (IST) at University of Tokyo.


Despite tremendous progress in hardware, the production of software is manual, error prone, and costly. The exploding demand for software has led to a dramatic worldwide undersupply of skilled programmers, outsourcing, and to low software quality, which is evident to anyone today who uses software. Computer languages and their semantics play a central role in all phases of software development: from the specification of an abstract software entity and its presentation in an implementation language, through verifying that software will behave in reliable and error-free ways in safety-critical applications, and finally to the mapping of specifications onto software and hardware within space and speed constraints.

Tentative Programme

— January 10 (Monday, Asakusa View Hotel) —

(Place: Room Kototoi)

13:00-13:30  Registration

13:30-13:40  Openning

13:40-15:10  Session 1

Neil D. Jones (University of Copenhagen)
Programming in Biomolecular
Kenichi Asai (Ochanomizu University)
Functional Derivation of Small-Step Semantics for Symmetric Lambda Calculus
Robert Glueck (University of Copenhagen)
Online Specialization

15:10-15:30  Tea Break

15:30-17:00  Session 2

Holger Bock Axelsen (University of Copenhagen)
A Universal Reversible Turing Machine
Tetsuo Yokoyama (Nanzan University)
Generating Input-Erasing Efficient Clean Reversible Programs for Injective Functions
Poul Clementsen (University of Copenhagen)
Reversible Coroutines

18:00-20:00  Reception

  • Place: Asakusa View Hotel, 4th Floor Room Komagata
  • Pay your reception fee at the registration.

— January 11 (Tuesday, Asakusa View Hotel) —

(Place: Room Kototoi)

09:00-10:30  Session 3

Andrzej Filinski (University of Copenhagen)
Monadic Effects in Operational Semantics
Ken Friis Larsen (University of Copenhagen)
Probability Monad And Generic Multiset Discrimination
Tom Hvitved (University of Copenhagen)
A Trace-based Model for Multiparty Contracts

10:30-10:50  Tea Break

10:50-11:50  Session 4

Jesper Andersen (University of Copenhagen)
Semantic patch inference
Kazutaka Matsuda (Tohoku University)
Towards Decidable Inverse Computation of Functional Programs

13:30-15:00  Session 5

Naoki Kobayashi (Tohoku University)
Towards a Software Model Checker for ML
Kazuhiro Inaba (National Institute of Informatics)
Modal-Mu Definable Graph Transduction
Yoichi Hirai (University of Tokyo)
Determining the Valid Parameters for the Weight-Balanced Tree Algorithm

15:00-15:20  Tea Break

15:20-16:50  Session 6

Anders Starcke (University of Copenhagen)
An Adversarial Approach to Modelling Interaction Specifications
Keisuke Nakano (University of Electro-Communications)
Jigsaw Radix Conversion
Patrick Bahr (University of Copenhagen)
Compositional Data Types

— January 12 (Wednesday, Asakusa View Hotel) —

(Place: Room Kototoi)

09:00-10:30  Session 7

Akimasa Morihata (Tohoku University)
From parametric polymorphism to balanced tree structures for parallel programming
Yu Liu (National Institute of Informatics)
A Homomorphism-based MapReduce Framework for Systematic Parallel Programming
Mikkel Jønsson Thomsen (University of Copenhagen)
Specification and Implementation of Requirements for ERP systems

10:30-10:50  Tea Break

10:50-12:20  Session 8

Soichiro Hidaka (National Institute of Informatics)
Marker-directed optimization of UnCAL graph algebra revisited: Optimizing bidirectional graph transformations
Hiroyuki Kato (National Institute of Informatics)
Functional Graph Transformation with Structural Recursion
Kazuyuki Asada (University of Tokyo)
Semantic Structures of Bidirectional Programming

Afternoon: Free discussion

— Janurary 13 (Thursday, University of Tokyo) —

(Place: Faculty of Engineering Bldg.2, 3rd Floor, Room 1A1B(33A))

10:00-11:50 : DIKU-IST Student Program

10:00-10:15 : Messages from the Dean of IST by Prof. Hagiya
10:15-11:10 : DIKU-IST Student Session
(Introducing DIKU and IST by students followed by discussions)
11:20-11:50 : Visit Robotics Lab. of Prof. Kuniyoshi

14:00-15:00  Session 9

Fritz Henglein (University of Copenhagen)
Regular expressions as Types
Lasse Nielsen (University of Copenhagen)
Workflows as Session Types

15:00-15:20  Tea Break

15:20-16:20  Session 10

Kento Emoto (University of Tokyo)
Semirings for Free! — An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Sebastian Fisher (National Institute of Informatics)
Semiring Fusion

16:20-16:40  Tea Break

16:40-17:40  Session 11

Torben Mogensen (University of Copenhagen)
Partial Evaluation of Janus
Zhenjiang Hu (National Institute of Informatics)
On Determination of Backward Transformation

18:00-20:00  Banquet

  • Place: Restaurant Abreuvoir (in the University of Tokyo)
  • Pay your banquet fee at the registration.

— January 14 (Friday) —

Free Discussion

Venue / Accommodation


From Narita Airport to Asakusa View Hotel:

  • Route (google map): 'Access Express' from Narita Airport Terminal 1 to Asakusa Station; then 10 minutes walk as in the google map.
  • The arrival area of Scandinavian Airlines is South Wing of Terminal 1, 1st Floor.
  • To get on Access Express (map): First go to the entrance on B1F near the blue Encircled Number 4 with orange line (and blue line) on the map.
    Then along the orange line (until the end), first go right (passing the first escalator) then you go to the two escalators going down to the same platform 'Narita SKY ACCESS Line ordinary train platform' (B2F) of Box Number 1, which is the platform you can get on Access Express.
  • Timetable of Access Express: ... 9:09 9:49 10:29 11:09 11:51 12:24 13:09 13:44 ... from Narita Airport Terminal 1
    (It is better to avail Ordinary Trains than Skyliner/Cityliner, since the former is much cheeper and without a transfer. Among Ordinary Trains, use Access Express rather than Limited Express.)
  • Access Express is bound for Haneda Airport. Get off at Asakusa Station (64 min. from Narita Airport).
  • The hotel is here.

From Asakusa View Hotel to Narita Airport:

  • Timetable of Access Express (through train) from Asakusa Station to Narita Airport (basically 1.5 trains every hour):

Between Tokyo Station and Asakusa View Hotel:

Between Asakusa View Hotel and University of Tokyo:

Organization / Program Committee

  • Masato Takeichi, IST
  • Zhenjiang Hu, NII
  • Robert Glück, DIKU
  • Fritz Henglein, DIKU

Local Organizers

  • Keisuke Nakano, UEC
  • Kazuyuki Asada, IST


This workshop is supported by Grant-in-Aid for Scientific Research (A) 19200002, and a joint research project at National Institute of Informatics.
Thanks also to the Danish National Advanced Technology Foundation (Højteknologifonden), the Danish Strategic Research Council (Det Strategiske Forskningsråd), and the Danish Free Research Council (Det Frie Forskningsråd).

Contact Information

If you have any questions, please do not hesitate to send an email to the organizing committee: diku-ist10(a)