Places:
[TCS@LMU],
[LMU],
[CIP],
[MACS@HW],
[Heriot-Watt],
[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]
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).
Most of my publications are available on-line.
The EmBounded team is organising a
Workshop on Resource Analysis, University of Hertfordshire,
September 9th, 2008. This workshop is co-located with IFL08.
Submission deadline for (extended) abstracts is September 1st, 2008
(by email to h w l o i d l | at | tcs PUNKT ifi PUNKT lmu PUNKT de )
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.
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
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
|
Mitterweissenbach 12 A-4820 Bad Ischl Austria Tel: ++43 6132 29106 Email: hwloidl@direkt.at |
|
|
|
Hans-Wolfgang Loidl Last modified: Mon Sep 22 22:21:59 2008 Stardate: [-28]0074.24 |