Achronix Semiconductor, maker of the world’s fastest FPGAs, today announced (.pdf) the availability of new, high-performance AES IP cores for its SpeedsterTM 1.5 GHz family FPGAs.These high-performance 128-bit key size AES core are targeted at 10 Gbps, 40 Gbps, and 100 Gbps applications have been designed and built by Signali, a Galois spinoff focusing on custom cores targetting computationally intensive algorithms, fixed-function DSP and cryptographic applications. Signali uses their Quattro™ compiler suite to transform high-level descriptions of data-intensive functions, such as AES into high-performance RTL.Read the full story.
Galois has been building systems in Haskell for the past decade. This talk describes some of what we’ve learned about in-the-large, commercial Haskell programming in that time. (Download slides :: .pdf).
- When and where we use Haskell
- Correctness, productivity, scalabilty, maintainability
- What language features we like: types, purity, types, abstractions, types, concurrency, types!
- The Haskell toolchain: FFI, HPC, Cabal, compiler, libraries, build systems, etc.
- Being a commercial entity in a largely open source community
The ICFP 2009 PC team will be in Portland next week, and PSU is holding a free one day functional programming workshop to conincide with the meeting: the ICFP PC Functional Programming Workshop. The program has talks from leading researchers in language design and functional programming:
- Algebra of Programming using Dependent Types. Shin-Cheng Mu (Academia Sinica)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.Lars Birkedal (IT University of Copenhagen)
- A Compiler on a Page.Kristoffer Rose (IBM Thomas J. Watson Research Center)
- A Proof Theory for Compilation.Atsushi Ohori (Tohoku University)
- Data Parallelism in Haskell.Manuel Chakravarty (University of New South Wales)
- Push-down control-flow analysis of higher-order programs. Matthew Might (University of Utah)
- Slicing It: indexed containers in Haskell.Conor McBride (University of Strathclyde)
The April 21st Galois Tech Talk will be delivered by Louis Testa, titled "Growing Software."
- Date: Tuesday, April 21st, 2009
- Time: 10:30am - 11:30am
- Location: Galois, Inc.421 SW 6th Ave. Suite 300(3rd floor of the Commonwealth Building)Portland, OR 97204
- Managing a Development Team
- Product Definition
- Technology Review
- Project Management
Galois has been holding weekly technical seminars for several years on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating system construction, with talks by many figures from the programming language and formal methods communities. The talks are open and free. An RSVP is not required, but feel free to contact the organizer with questions and comments.
I am on the program committees for two upcoming formal methods conferences: Formal Methods in Computer-Aided Design (FMCAD), the preeminent conference on formal methods in hardware and systems, and Automated Formal Methods (AFM), a workshop on the application, usage, and extension of formal methods tools, particularly focusing on SRI's tool suite (including a theorem prover, model-checkers, and SMT solver).Please consider submitting papers! The deadline for FMCAD is May 22 (with abstracts due May 15); the deadline for AFM is April 30. FMCAD will occur in Austin, Texas November 15-18, and AFM will be colocated with CAV in Grenoble, France.