Read without ads and support Scribd by becoming a Scribd Premium Reader.
See Premium Plans
 
Building a business with Haskell
Case Studies: Cryptol, HaLVM, Copilot
Don Stewart
|
BelHac 
|Nov 5, 2010
 
© 2010 Galois, Inc. All rights reserved.
This talk...
Earlier talk, “
 A decade of functional programming at Galois
” described how we use Haskell at Galois
This talk introduces three case studies from some of our projects:
•
Cryptol
– a cryptography language and toolchain
•
HaLVM
– OS component isolation via GHC + Xen
•
Copilot
– a Haskell EDSL for avionics monitoring
Less about Haskell itself, more about the kinds of things we build with it
To give
a flavor of how to think functionally aboutclient problems, and hopefully inspire you!
 
© 2010 Galois, Inc. All rights reserved.
Building systems that are trustworthy
~40 employees in Portland, Oregon
11 years in business
Galois
Search
Search History:
Searching...
Result 00 of 00
00 results for result for
  • p.

    • More From This User

    34 p.
    Concurrent Orchestration in Haskell
    Don Stewart
    1275 Reads
    21 p.
    Hackage, Cabal and the Haskell Platform: The Second Year
    Don Stewart
    6062 Reads
    44 p.
    Practical Haskell Programming: scripting with types
    Don Stewart
    11491 Reads
    49 p.
    Engineering Large Projects in a Functional Language
    Don Stewart
    28328 Reads
    93 p.
    Multicore Haskell Now!
    Don Stewart
    4762 Reads
    84 p.
    An Introduction to Communicating Haskell Processes
    Don Stewart
    637 Reads
    55 p.
    Multicore programming in Haskell
    Don Stewart
    4913 Reads
    8 p.
    The Semantics of Asynchronous Exceptions
    Don Stewart
    519 Reads
    13 p.
    Evaluation strategies and synchronization: things to watch for
    Don Stewart
    1076 Reads
    19 p.
    Modern Benchmarking in Haskell
    Don Stewart
    2774 Reads
    22 p.
    Galois Tech Talk: A Scalable Io Manager for GHC
    Don Stewart
    791 Reads
    90 p.
    Loop Fusion in Haskell
    Don Stewart
    2599 Reads
    90 p.
    Multicore Haskell Now!
    Don Stewart
    1791 Reads
    31 p.
    Domain Specific Languages for Domain Specific Problems
    Don Stewart
    1790 Reads
    35 p.
    Specialising Generators for High-Performance Monte-Carlo Simulation...
    Don Stewart
    1987 Reads
    16 p.
    Haskell: Batteries Included
    Don Stewart
    1237 Reads
    39 p.
    Improving Data Structures
    Don Stewart
    1661 Reads
    47 p.
    Haskell Arrays Accelerated with GPUs
    Don Stewart
    7308 Reads
    26 p.
    The Birth of the Industrial Haskell Group : CUFP 2009
    Don Stewart
    369 Reads
    22 p.
    A Wander Through GHC's New IO Library
    Don Stewart
    6439 Reads
    38 p.
    The Design and Implementation of xmonad
    Don Stewart
    4581 Reads
    31 p.
    Stream Fusion for Haskell Arrays
    Don Stewart
    2289 Reads
    46 p.
    Engineering Large Projects in Haskell: A Decade of FP at Galois
    Don Stewart
    4024 Reads
    26 p.
    Supercompilation for Haskell
    Don Stewart
    6332 Reads
    Notes
    Load more