Hi everyone,
We are very excited to announce Copilot 3.16 [2]. Copilot is a
stream-based EDSL in Haskell for writing and monitoring embedded C
programs, with an emphasis on correctness and hard realtime
requirements. Copilot is typically used as a high-level runtime
verification framework, and supports temporal logic (LTL, PTLTL and
MTL), clocks and voting algorithms.
Copilot has been used at NASA in drone test flights. Through the NASA
tool Ogma [1] (also written in Haskell), Copilot also serves as a
runtime monitoring backend for NASA's Core Flight System, Robot
Operating System (ROS2), and FPrime (the software framework used in the
Mars Helicopter) applications.
This new version provides comprehensive tests for the C99 backend, and
introduces a breaking change in the definition of the type `Arg` in
copilot-language. For details, see [2]. The new version is already
available on Hackage [4].
As always, we're releasing exactly 2 months since the last release. Our
next release is scheduled for Sep 7th, 2023.
We are also extremely excited to announce that Copilot has received
full approval for release as NASA Class D open-source software. Current
emphasis is on increasing test coverage for the two remaining libraries
without tests (copilot-language and copilot-theorem), removing
unnecessary dependencies, hiding internal definitions, and formatting
the code to meet our new coding standards. Users are encouraged to
participate by opening issues and asking questions via our github repo
[3].
There have been many updates on the Copilot front in the last few
months. We'll be able to announce more soon. Stay tuned.
Happy Haskelling!
Ivan
[1] https://github.com/nasa/ogma
[2] https://github.com/Copilot-Language/copilot/releases/tag/v3.16
[3] https://github.com/Copilot-Language/copilot
[4] https://hackage.haskell.org/package/copilot
Dear Haskell Cafe,
I have a PhD position available for a candidate with a master degree in computer science, mathematics or similar
and a passion for Haskell, functional programming and programming language theory.
For more information and applications, see:
https://www.kuleuven.be/personeel/jobsite/jobs/60229600?hl=en&lang=en
--
prof. dr. ir. Tom Schrijvers
Research Professor
KU Leuven
Department of Computer Science
Celestijnenlaan 200A
3001 Leuven
Belgium
Phone: +32 16 327 830
http://people.cs.kuleuven.be/~tom.schrijvers/
The 2023 Haskell Implementors' Workshop deadline is just under one month
away. We are looking forward to your talk submissions.
Best,
Ryan
==================================
ACM SIGPLAN Haskell Implementors' Workshop
https://icfp23.sigplan.org/home/hiw-2023
Seattle, Washington, United States, September 4, 2023
Co-located with ICFP 2023
https://icfp23.sigplan.org/
Important dates
---------------
Deadline: July 4, 2023 (AoE)
Notification: August 4, 2023
Workshop: September 4, 2023
The 15th Haskell Implementors' Workshop is to be held alongside ICFP
2023 this year in Seattle. It is a forum for people involved in the
design and development of Haskell implementations, tools, libraries,
and supporting infrastructure to share their work and to discuss future
directions and collaborations with others.
Talks and/or demos are proposed by submitting an abstract, and
selected by a small program committee. There will be no published
proceedings. The workshop will be informal and interactive, with
open spaces in the timetable and room for ad-hoc discussion, demos,
and short lightning talks.
Scope and target audience
-------------------------
It is important to distinguish the Haskell Implementors' Workshop from
the Haskell Symposium which is also co-located with ICFP 2023. The
Haskell Symposium is for the publication of Haskell-related research. In
contrast, the Haskell Implementors' Workshop will have no proceedings --
although we will aim to make talk videos, slides, and presented data
available with the consent of the speakers.
The Implementors' Workshop is an ideal place to describe a Haskell
extension, describe works-in-progress, demo a new Haskell-related tool,
or even propose future lines of Haskell development. Members of the
wider Haskell community are encouraged to attend the workshop -- we need
your feedback to keep the Haskell ecosystem thriving. Students working
with Haskell are especially encouraged to share their work.
The scope covers any of the following topics. There may be some topics
that people feel we've missed, so by all means submit a proposal even if
it doesn't fit exactly into one of these buckets:
* Compilation techniques
* Language features and extensions
* Type system implementation
* Concurrency and parallelism: language design and implementation
* Performance, optimisation and benchmarking
* Virtual machines and run-time systems
* Libraries and tools for development or deployment
Talks
-----
We invite proposals from potential speakers for talks and
demonstrations. We are aiming for 20-minute talks with 5 minutes for
questions and changeovers. We want to hear from people writing
compilers, tools, or libraries, people with cool ideas for directions in
which we should take the platform, proposals for new features to be
implemented, and half-baked crazy ideas. Please submit a talk title and
abstract of no more than 300 words.
Submissions can be made via HotCRP at https://icfphiw23.hotcrp.com
until July 4 (anywhere on earth).
We will also have a lightning talks session. These have been very well
received in recent years, and we aim to increase the time available to
them. Lightning talks should be ~7mins and are scheduled on the day of the
workshop. Suggested topics for lightning talks are to present a single
idea, a work-in-progress project, a problem to intrigue and perplex
Haskell implementors, or simply to ask for feedback and collaborators.
Program Committee
-----------------
* Gergő Érdi (Standard Chartered Bank)
* Sebastian Graf (Karlsruhe Institute of Technology)
* Wen Kokke (University of Strathclyde)
* Ryan Scott (Galois, Inc.)
* Rebecca Skinner (Mercury)
* Li-yao Xia (University of Edinburgh)
Contact
-------
* Ryan Scott <ryan.gl.scott at gmail.com>
