Stefan Klinger
| email |
mail at stefan dash klinger dot
de
I prefer receiving plain text messages, no HTML, not
exceeding 32kB in size. |
| location |
southwest of
Munich (OpenStreetMap) |
Current Job
Currently I'm employed
with GSOC,
evaluating and working on software in the ground
segment, i.e., related
to mission
control.
Stuff
Teaching (before 2017)
I'll keep links to some of my lecture materials for
reference. Most of this material has evolved over a couple of
years (i.e., has proven successful in many lectures).
-
Konzepte der
Programmierung (de) — Introduction to programming
concepts, with a strong focus on the functional paradigm
(using Haskell).
Together with Programmierkurs 2, this lecture forms a
curricular module. (2015 and 2016; based on Declarative Programming)
-
Programmierkurs 2 (de) —
Introduction to functional programming. Together
with Konzepte der
Programmierung, this lecture forms a curricular module.
(annually 2011–2016)
-
Programming Course 3 — The C
programming language, and Linux system programming. Reviews
operating systems concepts from a practical perspective.
(annually 2013–2015)
-
Key
Competence in Computer Science — Introduction to
fundamental tools in a Unix-like environment. (biannually
2013–2015)
-
Subversion in der Lehre (de) — Based
on several years of teaching experience, I discuss the
benefits and caveats of using
the SCM
software Subversion as a tool
to manage lectures. (2016 talk)
-
Compiler Construction — Construction of a
compiler following Turner's FPL SASL. (2010)
-
Declarative Programming — Introduction to
functional programming with Haskell. (2006, 2009; precursor
of Konzepte der
Programmierung and Programmierkurs 2 )
-
Operating Systems — Fundamental concepts of
operating systems: Scheduling, inter process communication,
file systems, memory management, …. Also, an introduction to
the C programming language. (2009; precurser of a curricular
module which was split into Programming Course 3 and an Operating
Systems lecture)
Publications (before 2011)
-
Stefan Klinger. Pathfinder—Full
Text or Extending a Purely Relational XQuery Compiler
with a Scoring Infrastructure for XQuery Full Text. PhD
thesis, Department of Computer and Information Science,
University of Konstanz, December 2010.
-
Djoerd
Hiemstra, Stefan Klinger, Henning
Rode, Jan
Flokstra, Peter
M. G. Apers. Sound ranking algorithms
for XML search. Proceedings of the 2nd SIGIR workshop on
focused retrieval, Singapore, July 24, 2008.
-
Stefan Klinger. The Haskell Programmer's Guide to the IO
Monad — Don't Panic. Technical report, December 2005,
no. 05-54, 33 pp., Centre for Telematics and Information
Technology (CTIT), ISSN 1381-3625.
-
Torsten Grust, Stefan
Klinger. Schema Validation and Type Annotation for
Encoded Trees. Proceedings of the ACM SIGMOD/PODS 1st
International Workshop on XQuery Implementation, Experience
and
Perspectives XIME-P. Paris, June 17-18, 2004.
-
Stefan Klinger. Streaming XML Schema Validation for
Relational Tree Encodings. Diploma Thesis. Konstanzer
Online Publikations
System KOPS. April 2004.