Add semi-formal LIVE workshop paper

_data/news.yml

@@ -1,3 +1,9 @@
+- pinned: true
+  desc: >
+    We are looking to recruit **1–2 fully-funded PhD students** to work with us on [accessible data representations](/pubs/#tag=accessibility), [interpretable/explainable](/pubs/#tag=machine-learning-interpretability) AI & human alignment, or [malleable interfaces & LLMs](/pubs/#tag=malleable-interfaces). 
+    
+
+    Apply through [MIT EECS](https://www.eecs.mit.edu/academics/graduate-programs/admission-process/) (deadline: **Dec 15, 2023**). The MIT EECS website lists a number of resources to help with the application process. For instance, consider signing up with [MIT EECS GAAP](https://eecs-gaap.mit.edu/) to receive mentorship about your application from a current MIT EECS PhD student.
 - date: 2023-06-09
   desc: >
     Two papers this summer: [Saliency Cards](/pubs/saliency-cards) at ACM FAccT 2023 and [VisText](/pubs/vistext) at ACL 2023. VisText was recognized with an <a href="/pubs/vistext/"><span class="award">Outstanding Paper Award</span></a>.

_data/tags.yml

@@ -18,3 +18,4 @@
   - human-ai interaction
   - debugging
   - convivial information
+  - malleable interfaces

_data/venues.yml

@@ -129,3 +129,9 @@ acl:
   bibtex:
     type: inproceedings
     venue: booktitle
+live:
+  short: Live Programming
+  full: The Live Programming Workshop at SPLASH
+  bibtex:
+    type: inproceedings
+    venue: booktitle

_pubs/semi-formal-llms.md

@@ -0,0 +1,17 @@
+---
+stub: true
+title: Language Model Agents Enable Semi-Formal Programming
+authors:
+  - key: jopo
+  - key: arvindsatya
+  - name: Daniel Jackson
+    affiliation: MIT CSAIL
+type: workshop
+venue: live
+year: 2023
+date: 2023-10-23
+tags:
+  - language
+  - malleable interfaces
+---
+In the pursuit of malleable programming environments, researchers and practitioners have explored different ways to capture semantic information before a user has fully specified their program. To date, however, these efforts have required system designers to build their formalisms from parts that are either fully formal or else fully opaque to the system. In this paper, we sketch how large language models (LLMs) can enable semi-formal programming. In a semi-formal program, some pieces of information are fully formalized in the host language's data structure, but other pieces are left informal. Semi-formal information that is semantically meaningful can be executed directly by a language model agent (LMA), be used to guide the user in fully formalizing their program, or serve as a specification for generating a program that captures the user's intent.

_pubs/towards-convivial-info-space.md

@@ -24,6 +24,7 @@ doi: 10.1145/3397537.3397542
 tags:
   - interaction design
   - convivial information
+  - malleable interfaces
 ---
 The historical moment when a person worked in front of a single computer has passed. Computers are now ubiquitous and embedded in virtually every new device and system, connecting our personal and professional activities to ever-expanding information resources with previously unimaginable computational power. Yet with all the increases in capacity, speed, and connectivity, our experiences too often remain difficult, awkward, and frustrating. Even after six decades of design evolution there is little of the naturalness and contextual sensitivity required for convivial interaction with computer-mediated information.
 

_pubs/varv.md

@@ -21,6 +21,7 @@ tags:
   - interaction design
   - qualitative methods
   - convivial information
+  - malleable interfaces
 videos:
   - name: 30s Video Preview
     key: vfxogIys0Dw

_sass/news.scss

@@ -15,6 +15,19 @@
   margin-top: 0.25em;
 }
 
+#pinned {
+  background: rgba($csail-yellow, 0.4);
+  border-radius: $border-radius;
+  margin-bottom: 1em;
+
+  a, strong { font-weight: 500; }
+
+  p {
+    padding: 0.5em;
+    margin: 0;
+  }
+}
+
 #news {
   position: relative;
   height: 10rem;

index.md

@@ -27,9 +27,16 @@ home: true
 
   <div class="pure-u-1 pure-u-md-2-5">
     <h2 id="news-header">News</h2>
+
+    <div id="pinned">
+      {% assign pinned = site.data.news | where: "pinned", true %}
+      {{pinned[0].desc | markdownify}}
+    </div>
+
     <div id="news">
       <div id="news-items">
-        {% for item in site.data.news limit: 10 %}
+        {% assign unpinned = site.data.news | where_exp: "item", "item.date" %}
+        {% for item in unpinned limit: 10 %}
           <div class="item">
             <p class="date">{{item.date}}</p>
             {{item.desc | markdownify}}