Institute of Computer Languages
Compilers and Languages Group

Talks 2007 - Robert Glück

The Compilers and Languages Group invites you to a talk given by

Prof. Dr. Robert Glück

University of Copenhagen, Denmark

on

Reversible Machine Code and its Abstract Processor Architecture

Date: Friday, November 9th, 2007
Time: 14:00 (c.t.)
Location: TU Wien, Elektrotechnik, EI 3 Sahulka-Hörsaal, Gusshausstraße 25-29 (Altbau), 2. Stock

Abstract:

A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets is proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this talk. (Joint work with Holger Bock Axelsen and Tetsuo Yokoyama.)

About Prof. Dr. Robert Glück:

Robert Glück is an Associate Professor of Computer Science at the University of Copenhagen, Denmark. He received his Habilitation and doctor degree from the Vienna University of Technology, Austria, where he also worked as Universitätsassistent. He was research assistant at the City University of New York, USA, and received the Erwin-Schrödinger-Fellowship of the Austrian Science Foundation (FWF). For four years he worked at Waseda University, Tokyo, as a researcher and project leader for the Japan Science and Technology Agency (JST) and the Japan Society for the Promotion of Science (JSPS). His main research interests include advanced programming languages, automatic program transformation, and metaprogramming techniques. (http://www.diku.dk/~glueck/)

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)