Mein(e) Ansprechpartner/-in

Prof. Dr. Martin Ruckert

Prof. Dr. Martin Ruckert
Fakultaet 07
Raum: R 4.027
Adresse: 80335 München, Lothstr. 64


Fakultät 07
Tel.: 089 1265-3730
Fax: 089 1265-3780

Aktuelles

I will spend the summer term of 2017 at California Polytechnic State University (Cal Poly) in San Luis Obispo where I will teach a course on Programming Languages.


Fachgebiete / Schwerpunkte

  • Programming Languages
  • Compiler
  • Formal Methods
  • Hardware Simulation


Funktionen

  • From November 2005 to October 2010, I served as head of the department for Computer Science and Mathematics (Dekan)
  • I spent the spring semester 2011 in Stanford as a visiting researcher. Working on MMIX, I enjoyed a teriffic support from Donald Kuth.
  • Since September 2011, I maintain mmix.cs.hm.edu the new home of the MMIX virtual machine.
  • Since September 2011, I serve as Vice Chairman of the Bezirksausschuss 2 in Munich


Weitere Informationen

Further information (office hours) may be found in the department information database .


WEB to cweb

Converting TeX from WEB to cweb

This book describes a project to convert the TEX source code written by Donald E
. Knuth as a WEB into a cweb.

A WEB here means a literate program, that is a program which is written as a for
m of literature and consequently published as a book. Of course there is a way o
f converting such a piece of literature into an ordinary program: it contains Pa
scal code. Over the years, the support for Pascal as a major programming languag
e decreased and Pascal was replaced by C as the system programming language of c
hoice. Consequently, WEB was replaced by cweb, leading to the
obvious question: can we convert the TEX source code to cweb. And the answer is:
yes and no.


No, because TEX is a rather large program, so it is not feasible to translate it
manually, and translating literature by means of an automatic process is not fe
asible either.

Yes, because the program contained in this book, a literate program itself, is s
pecifically tailored to the TEX source code and achieves a good approximation to
such a translation.

The book is available directly from CreateSpace


The MMIX Supplement

The MMIX Supplement to The Art of Computer Programming Volumes 1,2,3 by Donald E. Knuth

The MMIX Supplement Cover

In February 2015, I finished the MMIX Supplement to Donald Knuths series of Books on The Art of Computer Programming. The book contains trasnslations for the MMIX processor of all the programs Donald Knuth had written for the (by now a bit outdated) MIX computer. Along with the programs, the analysis of the algorithms was updated to reflect the new processor.


Understanding MP3

Understanding MP3: Syntax, Semantics, Mathematics, and Algorithms

More Information about the book, you find on the Understanding MP3 Homepage


Understanding MP3 - Syntax, Semantics, Mathematics, and Algorithms


Thanks to CreateSpace the book is again available in print, either directly from CreateSpace or form Amazon Understanding MP3



The book has two main objectives:


To explain the syntax, the semantics, the mathematics, the software, and the purpose that is inherent in an MPEG audio bit stream, and


to provide a highly efficient, general purpose implementation of a decoder, called mp32pcm, that can transform such a bit stream into an ordinary stream of PCM data.


The Virtual Motherboard (VMB)

A Generic Virtual Bus for Hardware Simulator Composition

IEEE Design and Test Logo

The paper


"A Generic Virtual Bus for Hardware Simulator Composition" ,


together with Axel Böttcher and Martin Hauser appeared in IEEE Design&Test. Thanks go to my students in the IT-Systems course who helped testdriving the simulator during the last semesters.


As part of my current project, I converted TeX from WEB to cweb. The conversion is documented as a literate program. For further details see the WEB to cweb homepage .


MMIX

MMIX Logo Small

VMB

VMB Logo large

WEB to cweb

WEB to cweb logo 150