Hans-Wolfgang Loidl's Home Page

Places: [TCS@LMU], [LMU], [CIP], [MACS@HW], [Heriot-Watt], [StAnd], [EdiUni], [DCS@Gla], [RISC@Linz]
Research: [GHC], [Haskell], [GpH], [GdH], [Hume], [PCC], [MRG], [EmBounded], [SCIENCE], [GranSim], [Publications],
Software: [Prging Lang], [Cool Tools], [Emacs], [Elisp] [E-Publishing], [Parallel Computing]
Misc: [People] , [Institutes], [Conferences], [Computer Algebra], [Ref], [Linux], [Docu], [GIS]

Research

I am currently working as an RA at the Ludwig-Maximilians Universität (LMU), Munich on the EmBounded Project, an EU-funded project aiming to identify, to quantify and to certify resource-bounded code in a domain-specific high-level programming language for real-time embedded systems, Hume. In the past, I've worked into a similar direction in the Mobile Resource Guarantees Project, which produced a proof-carrying-code (PCC) infrastructure for resource-related properties. A demo of this infrastructure is available on-line.

Previously I worked as a research fellow at the Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh. I was working on the parallel implementation of functional languages, in particular Glasgow Parallel Haskell (GPH). This research focussed on architecture-independent parallelism and was funded by an APART fellowship of the Austrian Academy of Sciences.

As part of my PhD work, at Glasgow University, I have developed GranSim, a simulator for the parallel execution of annotated Haskell programs. GranSim is built on top of the Glasgow Haskell Compiler (GHC) (version 0.29 until 3.02; more recent version are not supported, sorry). Pre-compiled bundles of GranSim are available from the GpH web page. The GranSim Home Page provides more information (including the GranSim User's Guide).

Publications

Most of my publications are available on-line.

Activities

Upcoming Events

• TFP09 The Tenth Symposium on Trends in Functional Programming, Komarno, Slovakia, June 2-4 2009.
• FOPARA '09 International Workshop on Foundational and Practical Aspects of Resource Analysis 3rd of November Eindhoven, The Netherlands
• LTPD'09 Third Workshop on Languages and Tools for Parallel and Distributed Programming Gramado, Brazil
• DAMP'10 Declarative Aspects of Multicore Programming, January 20-22, 2010, Madrid, Spain

Past Activities

• Workshop on Resource Analysis, University of Hertfordshire, September 9th, 2008.
• KPS2005 Kolloquium Programmiersprachen und Grundlagen der Programmierung, Fischbachau, Oktober 5-7, 2005,
• APPSEM II Summer School, International Summer School On Applied Semantics 2005 Frauenchiemsee, Germany, September 8-12, 2005
• APPSEM II Workshop, APPSEM II Workshop 2005 Frauenchiemsee, Germany, September 13-15, 2005
• Symposium on Trends in Functional Programming 2004 (TFP04), Munich, Germany, November 25-26, 2005.

Teaching

• Advanced Functional Programming, SS 2009
• Seminar: Program Analysis, SS 2009
• Proof-carrying-code (including an extended reading-list), part of a course on Formal Methods in Software Development
• Compilerbau, WS 2007/08
• Seminar Programmiersprachentheorie, SS 2007
• Compilerbau, WS 2005/06
• Functional Languages, part of a course on Programming Languages

Links

I have collected lists of people and institutes working in research areas I am interested in: functional programming, parallel computation, symbolic computation.

In a separate page I keep a rather random collection of programming languages. This covers mainly, but not exclusively, declarative languages.

Hacking

Occasionally I do a wee bit of Elisp hacking. You can find the packages I am working on in my Elisp archive.

My Office Address:	My Austrian address:
Ludwig-Maximilians-Universität München, Institut für Informatik Theoretische Informatik Oettingenstraße 67 D 80538 München Germany	Mitterweissenbach 12 A-4820 Bad Ischl Austria Tel: ++43 6132 29106 Email: h w l o i d l | at | direkt PUNKT at

Room: D1.05
Tel: +49 89 / 2180 9864
Fax: +49 89 / 2180 9338
E-Mail: h w l o i d l | at | tcs PUNKT ifi PUNKT lmu PUNKT de 

My GPG Key.

My Geek code.

Hans-Wolfgang Loidl Last modified: Mon Jun 15 19:55:54 2009 Stardate: [-28]1403.73