SAPLING 2007B

10am-4:30pm, November 12, 2007

Engineering Theatre, Building 32 (Engineering), Australian National University

Program

9:55-10:00Welcome and Introduction
10:00-10:40Invited Talk
William Waite, University of Colorado, "Compiler Construction – A Declarative Approach" abstract
10:40-11:10Break 1
11:10-11:30Talk 1
Manuel M T Chakravarty, University of New South Wales, "Generic Programming with Type Families" abstract
11:30-11:50Talk 2
Len Hamey, Macquarie University, "Domain-Specific Characteristics of a Machine Vision Library" abstract
11:50-12:20Break 2
12:20-12:40Talk 3
Ben Lippmeier, Australian National University, "Graph Colouring Register Allocation in the Glasgow Haskell Compiler" abstract
12:40-1:00Talk 4
Cristina Cifuentes, Sun Microsystems Laboratories, "Parfait: Layered Program Analysis for Bug and Security Vulnerability Checking of C Code" abstract
1:00-2:30Lunch
2:30-2:50Talk 5
Roman Leshchinskiy, University of New South Wales, "Proofs in Haskell" abstract
2:50-3:10Talk 6
Andrew Appleyard, University of New South Wales, "Salsa dancing with .NET in Haskell" abstract
3:10-3:40Break 3
3:40-4:00Talk 7
Robin Garner, Australian National University, "Effective Prefetch for Garbage Collection" abstract
4:00-4:20Talk 8
Daniel Frampton, Australian National University, "Generational Real-time Garbage Collection" abstract
4:20-4:30Closing, planning discussion