DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Weak Inversion and Its Application to Parallelization

Zhenjiang Hu,
University of Tokyo

Monday (!), September 4, 2006, 15:15-16:00
DIKU, Universitetsparken 1, room N213

Abstract:

Function g is said to be a weak inversion of function f provided that g y = x if f x = y. A weak inversion exists for any function. In this
talk, we show that weak inversions can be derived automatically for a wide class of functions. As a nontrivial application, we demonstrate that weak inversion can be very useful for automatic parallelization of sequential programs, based on the well-known Third Homomorphism Theorem.

This is a joint work with Kazutaka Morita, Akimasa Morihata, Kimonori Matsuzaki, and Masato Takeichi.

Scientific host: Robert Glück. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org