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