4th UK Memory Management Network Workshop
Computing Laboratory
University of Cambridge
10am - 5pm, Monday 19 April 2004

The UK Memory Management Network intends to hold a general workshop at the University of Cambridge Computer Laboratory on Monday, 19 April. This follows on from our first general workshop, held at the University of Glasgow in June 2002, and workshops on Analytical Techniques for Memory Management at the University of Kent at Canterbury in May 2003 and on Memory Management for Handheld Devices at University College London in December 2003.

We define memory management broadly to include topics such as:

As with previous workshops, the day will include a mixture of presentations and time for discussion about ongoing work and future research directions. Sessions will run from 10am until 5pm, with coffee etc available from 9am.

Programme

10.00 Welcome
10.10 Keynote : Derek McAuley, Intel Research Cambridge
11.00 Coffee
11.30

Kevin Hammond, University of St. Andrews
"Bounded-space dynamic memory management for recursive Hume programs" (30 min)
[pdf] [ppt]

Richard Sharp, Intel Research Cambridge
"Linear types for packet processing" (30 min)
12.30 Lunch, sponsored by Intel Research Cambridge
13.30

Eben Upton, University of Cambridge Computer Laboratory
"A binary buddy allocator" (15 min)
[ps]

Simon Marlow, Microsoft Research Cambridge
"GHC's garbage collector" (30 min)
[ppt]

Richard Jones, University of Kent
"Birrell's distributed reference listing revisited" (30 min)
[ppt]

Martin Vechev, University of Cambridge Computer Laboratory
"Write barrier elision" (15 min)

15.00 Coffee
15.30

Richard Bornat, Middlesex University
"Permissions, readers-n-writers and multicasting" (30 min)
[pdf]

Nicholas Nethercote, University of Cambridge Computer Laboratory
"Valgrind: a program supervision framework" (30 min)
[sxi]

James Bulpin, University of Cambridge Computer Laboratory
"The interation of simultaneous multithreading processors and the memory hierarchy: some early observations" (15 min)
[ppt]
16.45 Discussion & end
ppt Microsoft PowerPoint presentation, pdf Adobe PDF, sxi OpenOffice presentation

Registration is free for mm-net members and should be made by e-mail to the organiser, Tim Harris <tim.harris@cl.cam.ac.uk>. Coffees and lunch will be provided. Talk slots will be allocated on a first-come first-served basis. If you would like to give a talk, please indicate this when registering for the workshop, and indicate whether you prefer a short (15 min) or normal (30 min) slot. Please also indicate if you would like suggestions about traveling to Cambridge or about local accommodation.

We will collect presentations from the workshop online to form an informal proceedings at the time, and may approach speakers to form an edited formal proceedings at a later date.

Directions to the Computing Laboratory can be found here (see the "Contact details & how to get there" link).

Some support for travel costs for UK personnel may be available (please contact mm-net project co-ordinator Richard Jones <R.E.Jones@ukc.ac.uk>).

Important Dates:

19th April 2004 workshop
26th April 2004 provide copies of presentations for online "proceedings"

MM-NET is generously sponsored by the UK's Engineering and Physical Sciences Research Council (EPSRC).

Problems with this page?
Contact the mm-net webmaster