Recent former students:

PhD student(s):

Asger Munk Nielsen:

Digit-serial Arithmetic,

Thesis defended October, 1997. Available at Asger's thesis

Master's students:

Henning Riis:

Multi-user Games on Networks

Thesis defended June, 2006

Lars Nesting:

Netværkssikkerhed (Network Security)

Thesis defended March, 2003

Claus Madsen:

Translation between markup languages.

Thesis defended February, 2000

Thomas A. Jensen:

Alternative Implementations of SRT Division and Square Root

Thesis delivered July, 1998 thesis.ps.gz

COURSES:

Fall semester 2008:

DM506 Computer Organization

Based on the book by A. Tanenbaum: "Structured Computer Organization", 5rd Ed., Prentice Hall, 2005.

DM805 Computer Networks

Based on the book by A. Tanenbaum: "Computer Networks", 4th Ed., Prentice Hall, 2003.

Other courses taught recently:

DM51 Computer Arithmetic

Seminar/studygroup, based on a draft of book in progress

DM524 Computer Security

Based on the book by D. Gollmann "Computer Scurity", 2nd Ed.

DM22 Programming Languages

(This description is obsolete, as the course is now given by Rolf Fagerberg)

Based on Simon Thompson: "Haskell, The Craft of Functional Programming", 2nd ed., and W.F. Clocksin and C.S. Mellish: "Programming in Prolog", 5th ed. and some additional material

DM18 Compiler Construction

(This description is obsolete, as the course is now given by Kim Skak Larsen)
The course is based on Aho, Sethi and Ullman: "Compilers: Principles, Techniques and Tools" (the "Dragon Book"), and the course project is to produce a compiler for a subset of Pascal, called Minip, generating code in SPARC assembler.

The project is split in four parts: 1) The symbol table, 2) lexical and syntactical analysis, 3) symbol and type checking and 4) code generation.

The grammar for Minip is: Grammar.ps and its LaTeX source can be found in the following file: Grammar.tex

Here are some sample programs in Minip for testing: Sample programs

And some pseudo programs for generating code to access variables and parameters in the stack: Access of variables, and some program skeletons for code to be generated in connection with procedure calls, etc. Codeskeletons

A SPARC Instruction Set Emulator with interactive facilities is available from tkisem

DM47 Computer Architecture: A Quantitative Approach

Study group over the book by Patterson and Hennesy by the same name

---

Last modified: Tue Mar 17 21:52:39 CET 2009

kornerup@imada.sdu.dk