HIPERFIT News August 2015
News from the Research Center on Functional High-Performance Computing for Financial IT
This summer, HIPERFIT associates have been busy with conducting research and with improving the various open source tools that are being developed in the HIPERFIT research center. In September, a number of HIPERFIT researchers are visiting the ICFP'15 conference (read: International Conference on Functional Programming), which, this year, is held in Vancouver, Canada. Two papers are being presented at the event in Canada, one on the main conference and one on FHPC'15, an associated workshop on Functional High-Performance Computing:
- Frederik Meisner Madsen, Robert Clifton-Everest, Manuel Chakravarty, and Gabriele Keller. Functional Array Streams. In Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'15). Vancouver, Canada. September, 2015.
- Patrick Bahr, Jost Berthold, and Martin Elsman. Certified Symbolic Management of Financial Multi-Party Contracts. In ACM International Conference on Functional Programming (ICFP'15). Vancouver, Canada. September, 2015. [pdf]
Tomorrow, Friday, August 28, 13:00-14:00, Frederik Meisner Madsen is presenting - at DIKU - his work on Functional Array Streams. Please consult the announcement on the HIPERFIT web page for further information.
As always, more information about HIPERFIT activities is available from the HIPERFIT web site, including access to recent publications.