-
Notifications
You must be signed in to change notification settings - Fork 231
Sign up to show and tell
nikswamy edited this page Sep 8, 2019
·
11 revisions
If you'd like to do an informal presentation at the weekly F* meeting, please sign up here.
For the date, enter the earliest Monday that you'd like to present or leave it blank if you're not sure. I (Nik) will reach out to you to try to schedule it.
| Name | Title | Date (Monday) |
|---|---|---|
| Nik | Fun with Setoids | April 29 |
| Jay | EverParse for non-network parsing | ? |
| Jay | Experiments with Meta-F* | ? |
| Tahina | EverParse reading and writing with combinators | Once my intern arrives |
| Chris | Fun types for assembly language semantics | May 6 |
| Chris (or someone) | Experience and examples of using calc | ? |
| Benjamin Beurdouche | MLS | ? |
| Santiago | Hacl* loop combinators | May 13 |
| Jay | A "standard" F* project repository | ? |
| Tom | Performance profiling for F* in OCaml | August |