ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Sun 12 Oct 2025 15:00 - 15:30 at Seminar Room 2 - Session 2

When developing a new programming language, having a large corpus of both correct and incorrect programs allows language designers to test and explore the capabilities of their new language. However, bootstrapping such a corpus of incorrect programs is time consuming and arduous. We therefore explore how to reuse code from more mature languages to generate a corpus of ill-typed code for newer ones. We have developed a compiler to Hazel, an emerging language with typed holes, from the more mature OCaml ecosystem. We find it practical to generate a comprehensive corpus of ill-typed programs for Hazel development, and discuss future larger scale efforts towards bridging ecosystems.

This program is tentative and subject to change.

Sun 12 Oct

Displayed time zone: Perth change

14:00 - 15:30
Session 2TyDe at Seminar Room 2
14:00
30m
Talk
Gradual Metaprogramming
TyDe
Tianyu Chen Indiana University, Darshal Shetty Indiana University, Jeremy G. Siek Indiana University, USA, Chao-Hong Chen Indiana University, Weixi Ma Meta, Arnaud Venet Meta, Rocky Liu Meta
Link to publication DOI Pre-print
14:30
30m
Talk
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search
TyDe
Satoshi Takimoto Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo
DOI
15:00
30m
Talk
Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract)
TyDe
Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK