Add Feb monthly meeting entry.

Author: vgvassilev

_data/meetinglist.yml

@@ -1,3 +1,38 @@
+- name: "CaaS Monthly Meeting"
+  date: 2024-02-01 17:00:00 +0200
+  time_cest: "17:00"
+  connect: "[Link to zoom](https://princeton.zoom.us/j/92811687505?pwd=Zk13akpuUlowbjhqK0t1TDVPbS9Ydz09)"
+  label: caas_01Feb2024
+  agenda:
+    - title: "Exocompilation for productive programming of hardware accelerators"
+      speaker: "Yuka Ikarashi"
+      description: |
+        High-performance kernel libraries are critical to exploiting
+        accelerators and specialized instructions in many applications. Because
+        compilers are difficult to extend to support diverse and
+        rapidly-evolving hardware targets, and automatic optimization is often
+        insufficient to guarantee state-of-the-art performance, these libraries
+        are commonly still coded and optimized by hand, at great expense, in
+        low-level C and assembly. To better support development of
+        high-performance libraries for specialized hardware, we propose a new
+        programming language, Exo, based on the principle of exocompilation:
+        externalizing target-specific code generation support and optimization
+        policies to user-level code. Exo allows custom hardware instructions,
+        specialized memories, and accelerator configuration state to be defined
+        in user libraries. It builds on the idea of user scheduling to
+        externalize hardware mapping and optimization decisions. Schedules are
+        defined as composable rewrites within the language, and we develop a
+        set of effect analyses which guarantee program equivalence and memory
+        safety through these transformations. We show that Exo enables rapid
+        development of state-of-the-art matrix-matrix multiply and convolutional
+        neural network kernels, for both an embedded neural accelerator and x86
+        with AVX-512 extensions, in a few dozen lines of code each.
+    - title: Update
+      speaker: Vassil Vassilev
+    - title: Next meeting
+      speaker: Vassil Vassilev
+      link: 7 Mar 1700
+
 - name: "CaaS Monthly Meeting"
   date: 2024-01-11 17:00:00 +0200
   time_cest: "17:00"