Merge branch 'SIGPLAN:master' into master

Author: potanin

_data/POPL.yaml

@@ -1,3 +1,13 @@
+2026:
+- Awardee: Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin
+  Other: |
+    (for 2016): _[Dependent Types and Multi-monadic Effects in F*](https://dl.acm.org/doi/10.1145/2914770.2837655)_
+  Citation: |
+    This paper introduced F*, an SMT-aided verification-oriented language that integrates SMT solving (via Z3) with the interactive, proof assistant reasoning of dependent types. By combining Dijkstra monads for weakest-precondition inference with solver automation, F* showed that expressive effectful programs could be verified at scale, shaping the direction of solver-assisted proof-oriented languages.
+    F* became the foundation of Project Everest, and was further developed and maintained by a large team of contributors, enabling applications such as verified cryptographic libraries (e.g., HACL*, EverCrypt), protocols (e.g., miTLS, DY*,  MLS*), and parsers (e.g., EverParse), through the use of DSLs for low-level code (Vale, Low*, Steel, Pulse). The resulting code has been integrated into widely used software stacks, demonstrating real-world impact and validating the paper’s core vision: that SMT automation, tightly integrated with interactive proofs in a principled language design, makes large-scale formal verification practical for high-assurance, high-performance software.
+
+
+
 2025:
 - Awardee: Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Paabøl Svendsen, Aaron Joseph Turon, Lars Birkedal, Derek Dreyer
   Other: |

_data/Service.yaml

@@ -1,3 +1,30 @@
+2025:
+- Awardee: Stephanie Weirich
+  Citation: |
+
+    Over the course of many years, Stephanie Weirich has generously dedicated 
+    time and energy towards building a better SIGPLAN community, 
+    through a variety of formal and informal roles. 
+    She co-founded the highly impactful Programming Languages Mentoring Workshop (PLMW)
+    and continues to help the workshop evolve and thrive as it welcomes new generations 
+    of researchers to the most important events of the SIGPLAN community. 
+    Stephanie was also one of the founding members of the SIGPLAN CARES committee, 
+    an important resource for those who may have experienced discrimination or harassment 
+    in the PL community. She was an early supporter of, and continues to be a dedicated mentor for, 
+    the SIGPLAN long-term mentoring program. 
+    It is no coincidence that the program started at ICFP 2020, a conference Stephanie chaired, 
+    and in which she worked tirelessly to find creative ways to engage with the community despite 
+    the circumstances, some of which spun off into larger initiatives, like SIGPLAN-M. 
+    ICFP 2020 was only the second SIGPLAN conference to be held virtually following the onset of the Covid pandemic. 
+    Running ICFP 2020 required an enormous amount of preparation and organization, 
+    and it is a testament to the hard work of Stephanie and care that the conference was able to run more or 
+    less normally and provided crucial structure to subsequent virtual conferences.  
+    Stephanie has also done a significant amount of what one might call invisible service---impactful community work that 
+    is often not noticed despite being thoughtful and effective. 
+    These and other service roles Stephanie has taken on have fundamentally improved the structure of the SIGPLAN community.
+
+    * Selection committee: Alexandra Silva, Jeff Foster, Michael Greenberg, Dan Grossman, Talia Ringer
+
 2024:
 - Awardee: Emery Berger
   Citation: |