ICFP Poster Session Participants and Presentations

• Measuring and Visualising Haskell Programs, Chris Ryder (Graduate Student)
• Progress on 'HaRe: the Haskell Refactorer', Huiqing Li (Graduate Student)
• Verifying Compiler generation for a domain specific language, Amala Vijaya Selvi Rajan (Graduate Student)
• Boxed Ambients with Communication Interfaces, Pablo Garralda (Graduate Student)
• Toward A Browsable Design Space and Integrated Pedagogical Environment, Fritz Ruehr (Professional)
• Opaque Signature Inference for ML, Mike Furr (Graduate Student)
• Estimating Reliability in a Haskell Programming Environment, Mark Sherriff (Graduate Student)
• Rapid, Reliable Compiler Development with the MetaPRL Logical Framework, Nathaniel Gray (Graduate Student)
• Functional Reactive Programming for Global Control of Sensor Networks, Ryan Newton (Graduate Student)