Program and Schedule

Zeev Dagan
Provost
The City College of New York

Marco T. Morazán
Seton Hall University
Program Chair

Chair: Henrik Nilsson

A Dual Semantics for the Data Description Calculus [abstract] [full text]
Kathleen Fisher, Yitzhak Mandelbaum, and David Walker

A Metalanguage for Structural Operational Semantics [abstract] [full text]
Matthew R. Lakin and Andrew M. Pitts

An Arrow Based Semantics for Interactive Applications [abstract] [full text]
Peter Achten, Marko van Eekelen, Maarten de Mol, and Rinus Plasmeijer

Chair: Marko van Eekelen

Dependent Types: Easy as Pie [abstract] [full text]
Dimitrios Vytiniotis and Stephanie Weirich

Constructing Correct Circuits — Hardware Modelling with Dependent Types [abstract] [full text]
Edwin Brady, James McKinna, and Kevin Hammond

Use-Based Inference of Reference Polymorphism [abstract] [full text]
Dave King and John Hannan

Chair: Rex Page

Bytecode Verification for Haskell [abstract] [full text]
Robert Dockins and Samuel Z. Guyer

unreadTVar: Extending Haskell Software Transactional Memory for Performance [full text]
Nehir Sonmez, Cristian Perfumo, Srdjan Stipic, Adrian Cristal, Osman S. Unsal, and Mateo Valero

Implementing Grover's Algorithm Using Linear Transformations in Haskell [abstract] [full text]
A. Murray Gross and Justin Stallard

Chair: David Walker

An Inference Algorithm for Guaranteeing Safe Destruction [abstract] [full text]
Manuel Montenegro, Ricardo Peña, and Clara Segura

Hierarchical Master-Worker Skeletons [abstract] [full text]
Jost Berthold, Mischa Dieterle, Rita Loogen, and Steffen Priebe

Property Directed Generation of First-Order Test Data [abstract] [full text]
Fredrik Lindblad

Chair: Rinus Plasmeijer

Refactoring for Comprehension [full text]
Gustavo Villavicencio

Towards a Box Calculus for Hierarchical Hume [abstract] [full text]
Gudmund Grov and Greg Michaelson

Scaled Regression: A Framework for Functional Program Termination [abstract] [full text]
Daniel M. Leivant

Chair: Phil Trinder

Equality-Based Uniqueness Typing [abstract] [full text]
Edsko de Vries, Rinus Plasmeijer, and David M. Abrahamson

Lightweight Static Resources: Sexy Types for Embedded and Systems Programming [abstract] [full text]
Oleg Kiselyov and Chung-chieh Shan

Unifying Hybrid Types and Contracts [abstract] [full text]
Jessica Gronski and Cormac Flanagan

Pick-up: The City College of New York

Drop-off:
      La Mela Ristorante Italiano
      Little Italy
      167 Mulberry Street

Chair: Hans-Wolfgang Loidl

Space-Efficient Gradual Typing [abstract] [full text]
David Herman, Aaron Tomb, and Cormac Flanagan

Model-Based Testing of Thin-Client Web Applications and Navigation Input [abstract] [full text]
Pieter Koopman, Peter Achten, and Rinus Plasmeijer

Designing a Generic Graph Library Using ML Functors [abstract] [full text]
Sylvain Conchon, Jean-Christophe Filliâtre, and Julien Signoles

Chair: Ricardo Peña

The SCIence Joint Research Activity [abstract] [full text]
Kevin Hammond, Dana Petcu, Phil Trinder, Abdallah Al Zain, Steve Linton, and Greg Michaelson

Generic and Index Programming [abstract] [full text]
Jeremy Gibbons, Meng Wang, and Bruno C d. S. Oliveira

AHA: Amortized Heap Usage Analysis [abstract] [full text]
Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, and Sjaak Smetsers

Chair: Kathleen Fisher

Mining Helium Programs with Neon [abstract] [full text]
Jurriaan Hage and Peter van Keeken

Design and Implementation of JFP [abstract] [full text]
Hao Xu

Hop Client-Side Compilation [abstract] [full text]
Florian Loitsch and Manual Serrano

Chair: Greg Michaelson

Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment [abstract] [full text]
Jost Berthold, Abyd Al-Zain, and Hans-Wolfgang Loidl

Bundles Pack Tighter than Lists [abstract] [full text]
Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, and Jaime Sanchez-Hernandez