Merge pull request #320 from nikivazou/patch-6

ICFP OOPSLA AWARDS

Author: sampsyo

_data/Achievement.yaml

@@ -1,3 +1,9 @@
+2025:
+- Awardee: Martin Odersky
+  Citation: |
+   
+   Martin Odersky has had a profound and lasting impact on the field of programming languages through both groundbreaking research and transformative practical contributions. Over a career spanning more than 35 years, he has shaped the design of widely-used languages, from foundational work on object-oriented type systems and Java generics to the creation of Scala—the only academic-designed language of the 21st century to achieve widespread mainstream adoption. Scala elegantly combines functional and object-oriented paradigms with a strong static type system, and its influence is visible across modern programming ecosystems. Beyond the language itself, Martin's leadership in evolving Scala, founding the Scala Center, mentoring over 50 successful researchers, and continuously bridging research with real-world development exemplifies the highest standards of the programming languages community. His work has directly impacted hundreds of thousands of developers worldwide and inspired a new generation of researchers and practitioners.
+
 2024:
 - Awardee: Keshav Pingali
   Citation: |

_data/Educator.yaml

@@ -1,3 +1,17 @@
+2025:
+- Awardee: Simon Peyton Jones 
+  Citation: |
+
+    Simon's contributions to education are extraordinary. He has arguably done more to advance the cause of computing education in UK schools than any other individual. As a founder of the Computing At School initiative, and subsequently as Chair of the National Centre for Computing Education, Simon led a campaign to recognise computer science as a foundational discipline in the UK national curriculum. This effort has seen outdated ICT instruction replaced with a modern curriculum focused on algorithms, programming, and computational thinking, equipping students with both theoretical and practical skills. Simon's advocacy, tireless enthusiasm, and ability to unite policymakers, educators, and industry played a central role in this reform, which continues to serve as a model for other countries. In recognition of these contributions, Simon was made an Officer of the Order of the British Empire (OBE) in 2022.
+
+    Simon is best known within the SIGPLAN community for his major contributions to the design and implementation of the Haskell programming language -- a language that has itself played a crucial role in computer science education. Its clean semantics and powerful type system make it ideal for introducing students to key concepts of functional programming such as higher-order functions, immutability, and lazy evaluation. Universities around the world use Haskell as a vehicle for teaching foundational topics in programming structures, language design, compiler implementation, and type theory, often relying on Simon's 1987 textbook, "The Implementation of Functional Programming Languages". By providing a practical yet cutting-edge platform, Haskell has helped students and researchers explore advanced ideas while grounding their understanding in real-world applications. Beyond academia, Haskell has influenced the design of other languages, ensuring its educational legacy continues to shape the field.
+
+    Finally, Simon is well known as a vibrant speaker. His presentations are characterized by clarity, energy, and accessibility. As a result, he has long been a sought-after speaker at conferences and a frequent contributor to summer schools and mentoring workshops. His advice on how to give talks and write research papers has been invaluable to many students and researchers, helping them communicate their ideas effectively and maximise their impact.
+
+    Through his work on curriculum development, programming language innovation, technical communication, and career advice, Simon has made direct and lasting impact on the education of programmers and programming language researchers throughout the world, as well as millions of UK schoolchildren. His dedication and achievements make him an exceptionally deserving candidate for the SIGPLAN Distinguished Educator Award.
+
+    * Selection committee: Niki Vazou, Will Crichton, John Wickerson, Michael Greenberg, Johan Jeuring
+
 2023:
 - Awardee: Kathi Fisler and Shriram Krishnamurthi
   Citation: |

_data/ICFP.yaml

@@ -1,3 +1,10 @@
+2025:
+- Awardee: Andreas Rossberg 
+  Other: |
+    (for 2015) _[1ML - Core and Modules United (F-ing first-class modules)](https://dl.acm.org/doi/10.1145/2858949.2784738)_
+  Citation: |
+     1ML – Core and Modules United (F-ing First-Class Modules) is a milestone in the understanding of the ML module system, uniting core and modules in a simple calculus that clarified long-standing questions in language design. As the culmination of a long line of research dating back to MacQueen’s original design, it has shaped both the theoretical foundations and practical evolution of modular programming. Its lasting impact is clear in its continued readership: it remains the most frequently downloaded ICFP paper from the ACM Digital Library, with more than 1,100 downloads to date and nearly 300 in the past year alone.
+
 2024:
 - Awardee: Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones
   Other: |

_data/OOPSLA.yaml

@@ -1,3 +1,10 @@
+2025:
+- Awardee: Vu Le, Chengnian Sun, and Zhendong Su
+  Other: |
+    (for 2015) _[Finding Deep Compiler Bugs via Guided Stochastic Program Mutation](https://dl.acm.org/doi/10.1145/2858965.2814319)_
+  Citation: |
+    This paper has made substantial contributions in establishing systematic and automated test generation as a widely-used technique for ensuring compiler robustness in practice, through an extension of the Equivalence Modulo Inputs (EMI) technique.  EMI-based compiler testing observes which code is unexecuted for a given program and input to that program, modifies the unexecuted code, and then checks that the resulting program behaves identically to the original program on the same input. The key innovation of the paper was to insert new unexecuted code into the program, leveraging a Markov-Chain-Monte-Carlo search to generate diverse mutants more likely to expose compiler bugs.  Compiler testing techniques building on this new EMI-based technique have exposed over 1,000 bugs in the GCC and LLVM compilers that were reported and fixed by the developers, as well as bugs in compilers for a variety of other languages. 
+
 2024:
 - Awardee: Terence Parr, Sam Harwell, Kathleen Fisher
   Other: |