From 4f612a0204aa45945ac2988f398bd44f53819dbe Mon Sep 17 00:00:00 2001 From: Lindsey Kuper Date: Fri, 19 Jan 2024 12:34:02 -0800 Subject: [PATCH] Move Katherine's talk to Feb. 9 --- content/lsd-seminar/2024wi.md | 20 +++++++------------- 1 file changed, 7 insertions(+), 13 deletions(-) diff --git a/content/lsd-seminar/2024wi.md b/content/lsd-seminar/2024wi.md index 3e1f0d4..ed48708 100644 --- a/content/lsd-seminar/2024wi.md +++ b/content/lsd-seminar/2024wi.md @@ -20,10 +20,10 @@ Talks will be advertised on the [ucsc-lsd-seminar-announce](https://groups.googl | Date | Speaker | Title | |------- |--------- |--------- | | [Jan. 12](#jan-12) | Beta Ziliani | Making monkeys and ducks behave with Crystal Lang | -| [Jan. 19](#jan-19) | Katherine Philip | Formalizing Type-Directed Specialization | +| [Jan. 19](#jan-19) | *Talk rescheduled for [Feb. 9](#feb-9)* | | [Jan. 26](#jan-26) | Devashish Purandare | Shimmer: Supercharging Adoption of Modern SSD Interfaces | | [Feb. 2](#feb-2) | Joe Cutler | _TBD_ | -| [Feb. 9](#feb-9) | _TBD_ | _TBD_ | +| [Feb. 9](#feb-9) | Katherine Philip | Formalizing Type-Directed Specialization | | [Feb. 16](#feb-16) | Laura Israel | _TBD_ | | [Feb. 23](#feb-23) | Achilles Benetopoulos | _TBD_ | | [March 1](#march-1) | Karuna Grewal | _TBD_ | @@ -50,13 +50,7 @@ Crystal is a rarity in the Static Languages section that has Duck Typing and Mon # Jan. 19 -**Speaker:** Katherine Philip - -**Title:** Formalizing Type-Directed Specialization - -**Abstract:** We present a formal study of type-directed specialization, an implementation and optimization technique for implementing parametric polymorphism in programming languages. Type-directed specialization (also known as monomorphization) systematically eliminates polymorphic code by generating monomorphic copies, each specialized for a particular type. We focus on the full specialization of parametric polymorphic expressions in an ML-like language that uses the Hindley-Milner type system. We formalize this with a family of representation transformation functions that translate source language programs into a novel target language that is capable of binding the potentially infinite families of specialized functions generated by full specialization. A key contribution of this paper is to prove that these functions preserve typing for all well-typed source programs. Finally, we lay the groundwork for future study of semantics preservation and for the formalization of other kinds of specialization and representation transformations. - -**Bio:** Katherine is a PhD student at Portland State University, advised by Mark P. Jones. They are interested in the design and implementation of efficient languages for low-level systems development. Currently, they are working on the Habit programming language (https://www.habit-lang.org/). +*Rescheduled for [Feb. 9](#feb-9)* # Jan. 26 @@ -83,13 +77,13 @@ We present Shimmer, an all-userspace shim layer that enables host-device coordin # Feb. 9 -**Speaker:** _TBD_ +**Speaker:** Katherine Philip -**Title:** _TBD_ +**Title:** Formalizing Type-Directed Specialization -**Abstract:** _TBD_ +**Abstract:** We present a formal study of type-directed specialization, an implementation and optimization technique for implementing parametric polymorphism in programming languages. Type-directed specialization (also known as monomorphization) systematically eliminates polymorphic code by generating monomorphic copies, each specialized for a particular type. We focus on the full specialization of parametric polymorphic expressions in an ML-like language that uses the Hindley-Milner type system. We formalize this with a family of representation transformation functions that translate source language programs into a novel target language that is capable of binding the potentially infinite families of specialized functions generated by full specialization. A key contribution of this paper is to prove that these functions preserve typing for all well-typed source programs. Finally, we lay the groundwork for future study of semantics preservation and for the formalization of other kinds of specialization and representation transformations. -**Bio:** _TBD_ +**Bio:** Katherine is a PhD student at Portland State University, advised by Mark P. Jones. They are interested in the design and implementation of efficient languages for low-level systems development. Currently, they are working on the Habit programming language (https://www.habit-lang.org/). # Feb. 16