From 7e7ae70d96f2d2647cb0e01b3bdc3a39158de3d8 Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 15:35:23 +1000 Subject: [PATCH 1/8] Add 2023 award --- _data/PLDI.yaml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/_data/PLDI.yaml b/_data/PLDI.yaml index f04bbc7..f9b6ca7 100644 --- a/_data/PLDI.yaml +++ b/_data/PLDI.yaml @@ -1,3 +1,23 @@ +2023: +- Awardee: | + Jonathan Ragan-Kelley (MIT), Connelly Barnes (Adobe), Andrew Adams (Adobe), + Sylvain Paris (Adobe), Frédo Durand (MIT), Saman Amarasinghe (MIT) + Other: | + (for 2013) _[Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Representation in Image Processing Pipelines](https://doi.org/10.1145/2491956.2462176)_ + Citation: | + Halide is a C++-embedded DSL that exploits locality and vectorized + computation for efficient use of SIMD multicore, GPU, and DSP + platforms in image and array processing applications. It has + become a key element of modern image processing pipelines at + Adobe, Google & Qualcomm. The main innovation of Halide is + separation of algorithm from execution schedule. Programmers can + separately schedule the image pipeline for their target + architecture. Combined with stochastic search over the space of + schedules, Halide enables terse, composable programs to achieve + state-of-the-art performance on a wide range of real image + processing pipelines to achieve order of magnitude performance + improvements over hand-tuned C and CUDA implementations. + 2022: - Awardee: | John Regehr (University of Utah), Yang Chen (Meta), Pascal Cuoq From 931df02d9ef1829f6d734bef4b2d6bc8e5f2f264 Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 15:48:47 +1000 Subject: [PATCH 2/8] Add 2023, add 2016 selection committee --- _data/Dissertation.yaml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/_data/Dissertation.yaml b/_data/Dissertation.yaml index d771e66..2576ffd 100644 --- a/_data/Dissertation.yaml +++ b/_data/Dissertation.yaml @@ -1,3 +1,25 @@ +2023: +- Awardee: "Sam Westrick, Carnegie Mellong University" + Other: _Efficient and Scalable Parallel Functional Programming through Disentanglement_ + Advisor: "Umut Acar" + Citation: | + + Writing understandable and performant concurrent programs, + especially ones that exploit racing updates, is one of the most + important problems in computing. Sam Westrick's dissertation + introduces a new concept, disentanglement, that can be exploited + to design efficient parallel and concurrent programs. The work + assembles a benchmark suite of existing programs to evaluate the + proposed techniques and shows that the technique is widely + applicable. The thesis also develops the MPL compiler and shows + how disentanglement can be exploited to improve execution, notably + garbage collection. Overall, the thesis is clearly written, with + every technical concept introduced with an informative example, + and is a pleasure to read. + + * Selection committee: Işil Dillig, Philip Wadler, Milind Kulkarni, + Stephanie Weirich, Hidehiko Masuhara + 2022: - Awardee: "Uri Alon, Technion" Other: _Machine Learning for Programming Language Processing_ @@ -332,6 +354,8 @@ understanding of the potential of automated program verification and its application to real-world programs. + * Selection committee: Susan Eisenbach, Tiziana Margaria, Antony Hosking, Suresh Jagannathan + - Awardee: "Vilhelm Sjöberg, University of Pennsylvania" Other: | _[A Dependently Typed Language with Nontermination](/Awards/Dissertation/2016_sjoberg.pdf)_ @@ -363,6 +387,8 @@ generation of language designs supporting significantly more robust and reliable software development. + * Selection committee: Susan Eisenbach, Tiziana Margaria, Antony Hosking, Suresh Jagannathan + 2015: - Awardee: "Mark Batty, University of Cambridge" Other: | From 1efd8a1fa25e022f59fc5f975ea7111b301caf37 Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 15:50:51 +1000 Subject: [PATCH 3/8] Add 2023 --- _data/Milner.yaml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/_data/Milner.yaml b/_data/Milner.yaml index b4b49b3..d7f5d3b 100644 --- a/_data/Milner.yaml +++ b/_data/Milner.yaml @@ -1,3 +1,25 @@ +2023: +- Awardee: Nate Foster + Citation: | + + Nate Foster is a world leader in programming languages and + software-defined networking. His skills as a PL researcher run the + gamut: adept at design, theory, implementation, and applications, + a combination rare to find in a single individual. His work brings + elegant PL techniques to bear on fundamental problems in + networking, makes pioneering contributions to both fields, and + enables verification approaches for networking + implementations. Notably, this is the second field Nate has opened + up: his PhD work introduced "lenses" as a language construct for + bidirectional tree transformations applied to the database view + update problem. His work has been recognized with multiple + distinguished paper and "test of time" awards. Nate also gives + significant service & leadership to the PL community on conference + program and steering committees, mentoring workshops, and + representative to influential working groups. + + * Selection committee: Antony Hosking, Sandrine Blazy, Suresh Jagannathan, Ranjit Jhala, Éric Tanter. + 2022: - Awardee: Viktor Vafeiadis Citation: | From c721b9997d8aad17eb98621b57e74607ff90e671 Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 15:53:24 +1000 Subject: [PATCH 4/8] Add 2023 --- _data/Service.yaml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/_data/Service.yaml b/_data/Service.yaml index 45607e1..dd9372b 100644 --- a/_data/Service.yaml +++ b/_data/Service.yaml @@ -1,3 +1,27 @@ +2023: +- Awardee: Talia Ringer + Citation: | + + Talia Ringer has been fearless and passionate about building a + welcoming and inclusive environment in the PL community, + especially for newcomers. Even so early in their career, Talia's + service has already had extraordinary impact in the PL community + and beyond. In 2020, Talia founded SIGPLAN-M, a + cross-institutional long-term mentoring program for the PL + community, which Talia chaired until recently. It currently + reaches more than 200 mentors and 300 mentees across more than 41 + countries, and has been described by mentees as “life changing” + and “a career saver.” Talia then helped the computer architecture + community start their own long-term mentoring program. The two + programs, the history, and their impact is described in CACM. Last + year, Talia founded the Computing Connections Fellowship, to + provide institution-independent transitional funding and research + visits for CS Ph.D. students, initially in PL. Talia led the + fundraising necessary to run the fellowship and the recruiting of + a committee to select the awardees. + + * Selection committee: Antony Hosking, Kathleen Fisher, Steve Blackburn, Zena Ariola, Heather Miller + 2022: - Awardee: Mike Hicks Citation: | @@ -33,6 +57,8 @@ engineering practices and the benefits of good programming languages. + * Selection committee: Antony Hosking, Kathleen Fisher, Steve Blackburn, Zena Ariola, Heather Miller + 2021: - Awardee: Ben Zorn Citation: | From 08345a968eb8d7999ef6d0291dd54e9dda0a494a Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 15:57:53 +1000 Subject: [PATCH 5/8] Add 2023 --- _data/Software.yaml | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/_data/Software.yaml b/_data/Software.yaml index 8f4c55a..789d14a 100644 --- a/_data/Software.yaml +++ b/_data/Software.yaml @@ -1,3 +1,36 @@ +2023: +- Awardee: OCaml + Citation: | + + The OCaml Compiler Distribution is the reference implementation of + the OCaml language, a dialect of ML that aims to be pragmatic, + both in language features and implementation, encouraging a simple + programming style that yields good performance and usability. It + has a large user base in industry, research, and education + throughout the world, and was used to implement a number of other + impactful systems, notably in verification: Coq proof assistant, + CompCert verified compiler, Why3 verified programming environment, + Frama-C, Astrée and Gillian static analyzers, Infer, Hack and Flow + projects at Meta, SLAM/SDV and F* at Microsoft, etc. + + The nominated contributors are: + * David Allsopp, Tarides + * Florian Angeletti, INRIA + * Stephen Dolan, Jane Street + * Damien Doligez, INRIA + * Alain Fritsch, Lexifi + * Jacque Garrigue, University of Nagoya + * Xavier Leroy, Collège de France + * Anil Madhavapeddy, Cambridge University + * Luc Maranget, INRIA + * Nicolás Ojeda Bär, Lexifi + * Gabriel Scherer, INRIA + * KC Sivaramakrishnan, Tarides + * Jérôme Vouillon, CNRS + * Leo White, Jane Street + + Selection Commitee: Antony Hosking, Dominique Devriese, Manu Sridharan, Andreas Rossberg, David Grove + 2022: - Awardee: CompCert Citation: | @@ -28,6 +61,8 @@ * Bernhard Schommer * Jean-Baptiste Tristan + Selection Commitee: Antony Hosking, Dominique Devriese, Manu Sridharan, Andreas Rossberg, David Grove + 2021: - Awardee: "WebAssembly" Citation: | From 5114ef4164f6719c508cfbdfdccde6628c7654f2 Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 15:59:21 +1000 Subject: [PATCH 6/8] Add 2023 --- _data/Achievement.yaml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/_data/Achievement.yaml b/_data/Achievement.yaml index fa91dc3..eb5f97b 100644 --- a/_data/Achievement.yaml +++ b/_data/Achievement.yaml @@ -1,3 +1,24 @@ +2023: +- Awardee: Kathryn S. McKinley + Citation: | + + Kathryn McKinley has made seminal contributions to a number of + areas in PL, most notably memory management and parallelizing + compilers. Her contributions to memory management include some of + the most innovative and effective algorithms available for garbage + collection and memory allocation. … She served in leadership + roles in numerous SIGPLAN conferences and was instrumental in + introducing double blind reviewing to the programming languages + community, seeking to reduce bias and improve scientific quality. + McKinley also played a key role in advancing women and minorities + in programming languages, and more generally, within computer + science. She has energetically championed this cause and has been + a dedicated mentor to her 23 PhD students and countless other + researchers. In short, Kathryn McKinley is the "whole picture" of + what the SIGPLAN achievement award seeks to recognize. + + Selection committee: Işil Dillig, Nate Foster, Cormac Flanagan, Jonathan Aldrich, Robby Findler + 2022: - Awardee: Xavier Leroy Citation: | From 844d754637279e77f5f58b792a00b592b2216b9e Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 16:00:01 +1000 Subject: [PATCH 7/8] Cleanup --- _data/Achievement.yaml | 70 +++++++++++++++++++++++------------------- 1 file changed, 38 insertions(+), 32 deletions(-) diff --git a/_data/Achievement.yaml b/_data/Achievement.yaml index eb5f97b..49b0339 100644 --- a/_data/Achievement.yaml +++ b/_data/Achievement.yaml @@ -92,39 +92,45 @@ research with an emphasis on solving problems in widely-used languages - it has made life better for many practicing programmers. - Hans is the primary author of the Boehm-Demers-Weiser garbage collection - (GC) library, the first to enable automatic deallocation of memory for most - C programs -- a surprising result at that time. Its low overhead made - automatic GC widely accessible, enabling many language implementations to - get off the ground quickly, with competitive GC performance. Initially - published in 1988, the library is still widely used. It likely significantly - accelerated the widespread adoption of GC and also enabled many modern C/C++ - memory leak detectors for non-garbage-collected programs. Hans' papers based - on this library provided major new insights into both this "conservative" - style of GC, and GC in general - his sole-author 1993 "most influential" PLDI - paper showed how to greatly reduce the space cost of "conservative" GC, and - his PLDI’91 paper introduced "sticky bit" collection, later adopted by mainstream - Java collectors. + Hans is the primary author of the Boehm-Demers-Weiser garbage + collection (GC) library, the first to enable automatic + deallocation of memory for most C programs -- a surprising result + at that time. Its low overhead made automatic GC widely + accessible, enabling many language implementations to get off the + ground quickly, with competitive GC performance. Initially + published in 1988, the library is still widely used. It likely + significantly accelerated the widespread adoption of GC and also + enabled many modern C/C++ memory leak detectors for + non-garbage-collected programs. Hans' papers based on this library + provided major new insights into both this "conservative" style of + GC, and GC in general - his sole-author 1993 "most influential" + PLDI paper showed how to greatly reduce the space cost of + "conservative" GC, and his PLDI’91 paper introduced "sticky bit" + collection, later adopted by mainstream Java collectors. - Hans is the leading authority on programming language memory models and thread - semantics. The theory of memory models is complex, with subtleties still not well - understood. Defining the model for a popular language is even harder, requiring - balancing conflicting constituencies – teachable to the masses, performance for - advanced programmers, and compatibility with legacy and future hardware. Leading - the C++11 process, Hans miraculously managed to satisfy all constituencies. He - argued for the core model to be the teachable “sequential-consistency for - data-race-free” model, but additionally developed an alternate path for advanced - programmers and non-compatible hardware using the concept of relaxed atomics. - Along the way, Hans wrote several seminal papers. The PLDI’05 paper exposed - problems with the then-prevalent approach of implementing threads as a library, - the PLDI’08 paper described the C++ model, and a series of papers exposed hitherto - unknown problems with benign data races, fences, seqlocks, and subtleties in the - notorious out-of-thin-air (OOTA) issue. Hans was also a major contributor to the - Java memory model effort, a precursor to the C++ effort, and his C++ work has - influenced analogous OOTA related open problems for Java. It is impossible to - overstate Hans’ impact on the understanding and practice of language memory models. - He has had profound influence on the boundary between PL and computer architecture - communities. + Hans is the leading authority on programming language memory + models and thread semantics. The theory of memory models is + complex, with subtleties still not well understood. Defining the + model for a popular language is even harder, requiring balancing + conflicting constituencies – teachable to the masses, performance + for advanced programmers, and compatibility with legacy and future + hardware. Leading the C++11 process, Hans miraculously managed to + satisfy all constituencies. He argued for the core model to be the + teachable “sequential-consistency for data-race-free” model, but + additionally developed an alternate path for advanced programmers + and non-compatible hardware using the concept of relaxed atomics. + Along the way, Hans wrote several seminal papers. The PLDI’05 + paper exposed problems with the then-prevalent approach of + implementing threads as a library, the PLDI’08 paper described the + C++ model, and a series of papers exposed hitherto unknown + problems with benign data races, fences, seqlocks, and subtleties + in the notorious out-of-thin-air (OOTA) issue. Hans was also a + major contributor to the Java memory model effort, a precursor to + the C++ effort, and his C++ work has influenced analogous OOTA + related open problems for Java. It is impossible to overstate + Hans’ impact on the understanding and practice of language memory + models. He has had profound influence on the boundary between PL + and computer architecture communities. 2019: - Awardee: Alex Aiken From f11a04e2d075f235f1796f5d1487ec1edd7de854 Mon Sep 17 00:00:00 2001 From: Antony Hosking Date: Mon, 31 Jul 2023 16:00:17 +1000 Subject: [PATCH 8/8] Add 2023 --- _data/Educator.yaml | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/_data/Educator.yaml b/_data/Educator.yaml index cfd8254..6e0444c 100644 --- a/_data/Educator.yaml +++ b/_data/Educator.yaml @@ -1,3 +1,22 @@ +2023: +- Awardee: Kathi Fisler and Shriram Krishnamurthi + Citation: | + + Professors Fisler and Krishnamurthi have made significant and + sustained pedagogical contributions to Programming Languages over + the last two decades. Both of them have a long track record of + being SIGPLAN community leaders in PL education, from writing + well-known textbooks to making significant contributions to CS + Curriculum Guidelines. .. With Emmanuel Schanzer, they are + co-founders of Bootstrap, a national program that uses functional + programming to integrate data science and computing into math, + science, and social studies classes. … In short, their innovative + work has paved the way for a new generation of computer scientists + and teachers and has helped to make computing education more + accessible, engaging, and effective for all. + + * Selection committee: Işil Dillig, Graham Hutton, Alastair Donaldson, Elisa Gonzalez Boix, Jeremy Gibbons + 2021: - Awardee: Benjamin Pierce Citation: |