Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 11:10 - 11:30 at L3 - Talk session 2

Genspio is a typed domain specific language embedded in OCaml that compiles terms to POSIX shell scripts or one-liners. It is used to build, for instance, complex deployment scripts which need to be run over SSH on hosts that may not have OCaml or any scripting language available.

The implementation is based on a GADT and has allowed us to scale to increasingly complex “Dev-Ops” deployments, thanks to the composability and modularity provided by OCaml itself. We describe these in Secotrec, for now our heaviest use of the Genspio EDSL.

While the released version has proved very useful, we detail quite a few very interesting future work problems.

Fri 8 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:30 - 11:30: Talk session 2OCaml at L3
10:30 - 10:50
Talk
OCaml
Liang WangUniversity of Cambridge
Link to publication Pre-print
10:50 - 11:10
Talk
OCaml
Runhang LiTwitter, Inc, Jeremy YallopUniversity of Cambridge, UK
Link to publication Pre-print
11:10 - 11:30
Talk
OCaml
Sebastien MondetMount Sinai - Hammer Lab
Pre-print