Ben Lippmeier

Ben Lippmeier
School of Computer Science
Room N312, CSIT Building 108
Australian National University
Canberra, ACT 0200, Australia

Ben.Lippmeier (wibble) anu.edu.au
Google Maps

About Me

I am a PhD student in the Department of Computer Science at the Australian National University. My thesis is currently under examination.
My supervisor is Dr Clem Baker-Finch.
My PhD project concerns the implementation of Functional Programming Languages.
I usually attend the fp-syd functional programming seminar group.
When I'm not working I try to go to Aikido

Publications

(paper) Witnessing Purity, Constancy and Mutability, APLAS 2009 (to appear)
(thesis) Type Inference and Optimisation for an Impure World, Submitted June 2009.
(paper) An AMPLE Implementation (with Clem Baker-Finch), IFL 2003 (draft proceedings)

Projects

DDC - The Disciplined Disciple Compiler

Disciple is an explicitly lazy dialect of Haskell. DDC uses effect and closure typing to allow destructive update and arbitrary side-effects to play nicely with laziness and compiler optimisations. It also supports real (object.field) type-directed projections and some other useful features. DDC is still a research project, but it'll compile some programs if you're nice to it. Update data without state monads. Write putStr "foo" and mean it. Learn to live again.

(wiki) DDC at haskell.org
(wiki) DDC Development wiki
(paper) Witnessing Purity, Constancy and Mutability, APLAS 2009 (to appear)
(thesis) Type Inference and Optimisation for an Impure World, Submitted June 2009.
(talk) The Poisoning Problem, FP-SYD, June 2009
(talk) The Disciplined Disciple Compiler, University of Melbourne, May 2008

(source) (core)

(source)

GHC - The Glasgow Haskell Compiler

GHC is the industrial strength Haskell compiler. In Q3 2007 I spent three months working at GHC HQ where I wrote a new graph coloring register allocator for the native code generator. In Q1 2009 I'm spending three months working on the GHC on OpenSPARC project. This project will resurrect the native code generator's support for SPARC, and optimise its performance on the highly multi-threaded UltraSPARC T2 (Niagra 2) architecture. During the project I'll be using two separate T5120 servers generously donated by Sun Microsystems to the ANU and haskell.org community.

(blog) GHC on SPARC
(wiki) The GHC Register Allocator
(talk) GHC on the OpenSPARC T2, (video), HIW 2009
(talk) Graph Colouring Register Allocation in the Glasgow Haskell Compiler, SAPLING Nov 2009

Collar Weights

Code and switching hardware for the Collar Weights mixed media installation. Inside each of the collars are electroluminescent lamps that are programmed to switch on, illuminating texts that become visible through the fabric. Phrases from interviews with the owners of the collars are played.
With Alexandra Gillespie and Somaya Langley.

Alex's photostream
Bathurst Regional Art Gallery, 7th August - 20th September 2009
Canberra Contemporary Art Space (CCAS) Gorman House, 7th February - 14th March 2009
Canberra Contemporary Art Space (CCAS) Manuka, 6th - 16th November 2008

ANUPlot

ANUPlot hides the pain of drawing simple 2D graphics in Haskell behind a nice data structure and a couple of display functions. Used in 1st year CompSci here at ANU. The library uses the GHC OpenGL binding, but you don't have to. No IORefs required in user code! 6 coats of gloss!

(source)

AMPLE - An Abstract Machine for Parallel Lazy Evaluation

An experimental environment that can be used to study the behavior of parallel functional programs in terms of an abstract machine, without needing to worry about details specific to a native implementation. Can execute programs fully speculatively to determine the maximum embodied parallelism in a piece of code.

Project Page
(paper) An AMPLE Implementation (with Clem Baker-Finch), IFL 2003 (draft proceedings)

full-speculation

with par/seq

Sunshine II RISC CPU Simulator

A simulator for a classic 5 stage pipelined RISC processor. Visualisation of pipeline stalls, calculation of cpi, single step mode, breakpoints, instruction counts, memory mapped file and console IO. Pipeline setup is easy to change.

Darcs Repo

High temperature superconducting microwave filters

Design and implementation of a filter intended to block interference that the Australia Telescope Compact Array was suffering from a nearby microwave distribution service (MDS). A summer vacation scholarship position, supervised by Russell Gough and Graham Gay of the Receivers Group.