Re: [hackathon] Formal Languages at the Hackathon

Lucas Pardue <lucaspardue.24.7@gmail.com> Wed, 06 November 2019 11:24 UTC

Return-Path: <lucaspardue.24.7@gmail.com>
X-Original-To: hackathon@ietfa.amsl.com
Delivered-To: hackathon@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E1DC3120869 for <hackathon@ietfa.amsl.com>; Wed, 6 Nov 2019 03:24:58 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.748
X-Spam-Level:
X-Spam-Status: No, score=-1.748 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id k422HM83dE32 for <hackathon@ietfa.amsl.com>; Wed, 6 Nov 2019 03:24:57 -0800 (PST)
Received: from mail-vk1-xa36.google.com (mail-vk1-xa36.google.com [IPv6:2607:f8b0:4864:20::a36]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 5E498120864 for <hackathon@ietf.org>; Wed, 6 Nov 2019 03:24:57 -0800 (PST)
Received: by mail-vk1-xa36.google.com with SMTP id j84so5518854vkj.6 for <hackathon@ietf.org>; Wed, 06 Nov 2019 03:24:57 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=aet2CDj4A51MPMGJJvP6kWjMWh7jojrfp9odNuuivfI=; b=dGhl53L/uy2yrfitZUxGXKiuuVpt/RorA0wYwvc8MqR0yRPgwAaicu7tpvGQrCrvd6 7gdiol0VeW+IRwLnTfVK0xtwQLj9Q13d9CbnTg9Qbs5t7WczC+khth7P6p6HfYEMwoYh CTxWX97DMbV15IVLU53sIGMswTldw81uq66TFyqCkS717KPcR07B3L8JSvx6pg9vOCEf Pfn/l4OCQvReh4T9cSj8D7qKrXIiBguWuRowXJDJi3ZMEGLw4tSfuXefm6FBp53IXQyJ fE9BfMlbV/lBEj/pc8+cIB/o6hxNqrET4YltR9bQrl4rroSuqz8p+1jKh2O/vLu5K7IL jrZA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=aet2CDj4A51MPMGJJvP6kWjMWh7jojrfp9odNuuivfI=; b=rBbzuv28KGb/5CIuBGy8ChUYt+2ewWR8yIHTntfwoHwDqhhOhkJJ0tCzDioQGexoqL bLATN4ZIYt3GfenV3KChSZ2gRfXyvYw3EuhztJEYKBeVlObCk896UpGk3+XhJOn402Na E76Eojqr4vrCQNy+wyzbY9hbtBlKy4p3Fr62oP5m0ewfvz+wjvuakccsevv5w5vdHRtT h8TGsMsTtBz2KEGK+AGYFIfb8vlDjQLbbJiHLmptwb63I3zp51JBI90VV3xq+wMLHbpl 8RfcT4txL2V4yXA8tCs+jIUYPge5XwPAF9lN0XAqCB9LQCyB9D20GadZlp/Xq8FpcHZc fCWA==
X-Gm-Message-State: APjAAAUIpmVBo3uBjiEVs56l1jeiVd99Pb5ZCF4MkLEwlMQyS/ZJmRmc NqOqnKQIG72NmUAK1KOjzQNlQ/KcScO/5G8GXFOE3YVl4qw=
X-Google-Smtp-Source: APXvYqwbh7pK3/prNCMlHLZsPpXVrI0ZFxJJwn1JXAUUqHGJJTBuBn4PI9r4jCizyPbsiLGuj7cT1yozTH5OB5YfIpo=
X-Received: by 2002:a1f:b655:: with SMTP id g82mr999489vkf.16.1573039496288; Wed, 06 Nov 2019 03:24:56 -0800 (PST)
MIME-Version: 1.0
References: <4BD0608C-A277-4130-B85C-D7A75FAEFD8F@smcquistin.uk>
In-Reply-To: <4BD0608C-A277-4130-B85C-D7A75FAEFD8F@smcquistin.uk>
From: Lucas Pardue <lucaspardue.24.7@gmail.com>
Date: Wed, 6 Nov 2019 11:24:42 +0000
Message-ID: <CALGR9oaiE3N1wGc6n6JZsgHc31PkJmSNKvZOvBUP5p47yP=Fsw@mail.gmail.com>
To: Stephen McQuistin <sm@smcquistin.uk>
Cc: hackathon@ietf.org, Marc Petit-Huguenin <marc@petit-huguenin.org>, Colin Perkins <csp@csperkins.org>
Content-Type: multipart/alternative; boundary="00000000000064df0c0596abcc8d"
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/vHe42iax2SLEFADkSqFEnw1dLKM>
Subject: Re: [hackathon] Formal Languages at the Hackathon
X-BeenThere: hackathon@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Discussion regarding past, present, and future IETF hackathons." <hackathon.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/hackathon>, <mailto:hackathon-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/hackathon/>
List-Post: <mailto:hackathon@ietf.org>
List-Help: <mailto:hackathon-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/hackathon>, <mailto:hackathon-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 06 Nov 2019 11:24:59 -0000

Hello,

The timing of this is quite good because the QUIC WG have recently been
debating the pros and cons of the bitmap diagram for describing packets and
frames particularly for variable-length fields, see issue #3115 [1].

Cheers
Lucas

[1] https://github.com/quicwg/base-drafts/issues/3115

On Wed, Nov 6, 2019 at 10:09 AM Stephen McQuistin <sm@smcquistin.uk> wrote:

> Hi all,
>
> Marc Petit-Huguenin and I are championing formal languages projects at the
> hackathon in Singapore. Broadly, these
> projects seek to improve the quality of standards by using formal and
> structured languages in specification documents.
> These documents can then be parsed by tooling that can, for example,
> generate parser code or verify properties for the
> protocol being specified.
>
> There will be two formal languages projects being worked on: Augmented
> Packet Header Diagrams and Computerate
> Specifying. Details for both projects are available on the Wiki at
> https://trac.ietf.org/trac/ietf/meeting/wiki/106hackathon/formal-languages
> ,
> but I'll give a brief outline of the Augmented Packet Header Diagrams
> project here. I'll let Marc describe his
> Computerate Specifying project separately.
>
> The Augmented Packet Header Diagram format
> (draft-mcquistin-augmented-ascii-diagrams) is a consistent packet header
> diagram format and accompanying structured text constructs that allow for
> the parsing process of protocol headers to be
> fully specified. This provides support for the automatic generation of
> parser code, and for other benefits that follow
> from being able to use tooling to process packet header diagrams.
>
> Our goal at the hackathon is to improve both the Augmented Packet Header
> Diagram format itself, by attempting to rewrite
> existing I-Ds and RFCs using its syntax, and to improve the tooling, and
> in particular, its Rust parser generator.
>
> Please join us: we are particularly interested in examples of packet
> header diagrams that might be challenging to write
> in the format our draft describes, and in how our tooling might fit into
> existing workflows.
>
> I-D:
> https://datatracker.ietf.org/doc/draft-mcquistin-augmented-ascii-diagrams
> Getting started information:
> https://trac.ietf.org/trac/ietf/meeting/wiki/106hackathon/formal-languages
>
> Thanks,
>
> Stephen
>
>
>
> _______________________________________________
> hackathon mailing list
> hackathon@ietf.org
> https://www.ietf.org/mailman/listinfo/hackathon
>