Sessions
Here is a list of sessions sorted alphabetically. Feel free to log in and post comments for before and after the event with your thoughts.
ACL2: Eating One's Own Dogfood
Saturday, October 02, 2010 - 04:30 PM - 05:00 PMWe are using the ACL2 theorem-proving system for formally verifying properties of the X86-compatible, 64-bit VIA Nano microprocessor. To validate Nano circuit models, we translate its Verilog into our formally defined HDL. We write specifications in the ACL2 logic, and mechanically verify HDL descriptions using the ACL2 theorem prover to... // More
Building robust servers with Erlang
Friday, October 01, 2010 - 09:00 AM - 12:30 PMThe Building Robust Servers with Erlang tutorial will cover the fundamental concepts needs to write highly fault tolerant servers with Erlang/OTP. In this tutorial you will learn some OTP basics focusing specifically on the gen_server and supervision behaviours. With these behaviours you will build server that is capable of processing requests... // More
Camlp4 and Template Haskell
Friday, October 01, 2010 - 02:00 PM - 06:00 PM"Static metaprogramming" is compile-time code analysis and synthesis. It has many applications, such as (from simple to complex): defining abbreviations, generating boilerplate from type definitions, extending the language syntax, and embedding DSLs. Static metaprogramming is supported for Haskell with Template Haskell, and for OCaml with Camlp4... // More
Clojure Tutorial
Friday, October 01, 2010 - 09:00 AM - 12:30 PMIn this tutorial you will spend some time learning about what clojure has to offer and build an application that solves a real world problem. In this tutorial pair programming is welcome and encouraged! Bring a friend to help you work through the exercises and to bounce ideas off of. Introduction Clojure's Elevator Pitch Diving into the Syntax... // More
Cryptol, a DSL for Cryptographic Algorithms
Saturday, October 02, 2010 - 11:00 AM - 11:45 AMCryptol is a domain-specific functional language designed by Galois, Inc in collaboration with the the NSA for specifying cryptographic algorithms. The Cryptol language includes native support for arbitrary sized words, a strong type-system based on Hindley-Milner style polymorphism extended with arithmetic size constraints, and the ability to... // More
Eden: An F#/WPF framework for building GUI tools
Saturday, October 02, 2010 - 01:45 PM - 02:30 PMOur group within Credit Suisse is responsible for developing quantitative models used to value financial products within the Securities Division of the bank. One aspect of this role is to deliver tools based on those models to trading and sales staff, which they can use to quickly price proposed transactions and perform other analysis of market... // More
F# 2.0 - A day at the beach
Friday, October 01, 2010 - 02:00 PM - 06:00 PMThis tutorial will be organised around learning the building blocks of F#, real world functional programming principles, and platform compatibility. "Hello Seagull" - A first glimpse of F# Beyond the REPL - A relaxing Visual Studio 2010 rubdown The Power of Types - A distinct lack of unpleasant surprises Asynchrony and Concurrency - Be lazy, it... // More
Functional Language Compiler Experiences at Intel
Saturday, October 02, 2010 - 02:30 PM - 03:00 PMFor five years Intel's Programming Systems Lab (PSL) has been collaborating with an external partner on a new functional programming language designed for productivity on many-core processors. While the language is not yet public, this talk outlines motivations behind the language and describes our experiences in implementing it using a variety... // More
Functional Programming at Freebase
Saturday, October 02, 2010 - 04:00 PM - 04:30 PMFreebase is a community-built, online database of facts and information, developed by Metaweb Technologies in San Francisco, California [1]. Freebase uses a proprietary graph database technology to store and query a network of over 12 million interrelated topics involving several hundred million individual graph relations. Third-party applications... // More
High-Performance Haskell
Friday, October 01, 2010 - 09:00 AM - 12:30 PMHaskell makes it possible to write elegant, high-level code that rivals the performance of low-level, imperative languages. In this tutorial, I will introduce the tools Haskell provides for reasoning about the performance of your code and techniques that you can use to make your code faster. I will cover important topics in Haskell performance... // More
