Merge branch 'master' of github.com:SIGPLAN/SIGPLAN.github.io

sampsyo · sampsyo · commit 58b18d75c82c · 2024-12-15T20:09:03.000-05:00
diff --git a/Awards/Achievement.md b/Awards/Achievement.md
@@ -35,15 +35,12 @@ Award recipients are selected by a committee constituted as follows:
   committee.
 
 The current committee is:
-* [Işil Dillig](https://www.cs.utexas.edu/~isil), U Texas, Austin
-  (Chair)
-* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U (ex-officio)
-* [Nate Foster](https://www.cs.cornell.edu/~jnfoster/), Cornell U (POPL)
-* [Cormac Flanagen](https://engineering.ucsc.edu/people/cormac), UC
-  Santa Cruz (PLDI)
-* [John Hughes](https://www.cse.chalmers.se/~rjmh/), Chalmers U of
-  Technology (ICFP)
-* [Jonathan Aldrich](https://www.cs.cmu.edu/~aldrich/), CMU (SPLASH)
+* [Alexandra Silva](https://alexandrasilva.org/#/main.html), Cornell U (Chair)
+* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
+* [Işil Dillig](https://www.cs.utexas.edu/~isil), U Texas, Austin (PLDI)
+* [Amal Ahmed](https://www.khoury.northeastern.edu/home/amal/), Northeastern U (POPL)
+* [Sukyoung Ryu](https://plrg.kaist.ac.kr/ryu), KAIST (ICFP)
+* [Eliot Moss](https://people.cs.umass.edu/~moss/), University of Massachusetts Amherst (SPLASH)
 
 #### Conflicts of Interest
 
diff --git a/Awards/Dissertation.md b/Awards/Dissertation.md
@@ -65,16 +65,12 @@ Recipients are selected by a committee constituted as follows:
   committee.
 
 The current committee is:
-* [Işil Dillig](https://www.cs.utexas.edu/~isil), U Texas, Austin
-  (Chair)
-* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U (ex-officio)
-* [Tom Reps](http://pages.cs.wisc.edu/~reps/), U Wisconsin (POPL)
-* [Milind Kulkarni](https://engineering.purdue.edu/~milind/), Purdue U
-  (PLDI)
-* [Stephanie Weirich](https://www.cis.upenn.edu/~sweirich/), U Penn
-  (ICFP)
-* [Hidehiko Masuhara](https://prg.is.titech.ac.jp/people/masuhara/),
-  Tokyo Tech (SPLASH)
+* [Niki Vazou](https://nikivazou.github.io/), IMDEA (Chair)
+* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
+* [Loris D'Antoni](https://cseweb.ucsd.edu/~ldantoni/), UCSD (SPLASH)
+* [Santosh Nagarakette](https://people.cs.rutgers.edu/~santosh.nagarakatte/), Rutgers U (PLDI)
+* [Umut Acar](https://www.umut-acar.org/), Carnegie Mellon U (ICFP)
+* [Michael Greenberg](https://www.stevens.edu/profile/mgreenbe), Stevens (POPL)
 
 #### Conflicts of Interest
 
diff --git a/Awards/Educator.md b/Awards/Educator.md
@@ -62,18 +62,12 @@ Award recipients are selected by a committee constituted as follows:
   committee.
 
 The current committee comprises:
-* [Işil Dillig](https://www.cs.utexas.edu/~isil), U Texas, Austin
-  (Chair)
-* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U (ex-officio)
-* [Graham Hutton](http://www.cs.nott.ac.uk/~pszgmh/), U Nottingham
-  (POPL)
-* [Nate Foster](https://www.cs.cornell.edu/~jnfoster/), Cornell U
-  (PLDI)
-* [Simon Peyton
-  Jones](https://royalsociety.org/people/simon-peyton-jones-12889/),
-  Epic Games (ICFP)
-* [Elisa Gonzalez Boix](https://soft.vub.ac.be/disco/elisa/), VU
-  Brussel (SPLASH)
+* [Niki Vazou](https://nikivazou.github.io/), IMDEA (Chair)
+* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
+* [Will Crichton](https://willcrichton.net/), Brown U (SPLASH)
+* [John Wickerson](https://johnwickerson.github.io/), Imperial (PLDI)
+* [Michael Greenberg](https://www.stevens.edu/profile/mgreenbe), Stevens (POPL)
+* [Johan Jeuring](https://johanjeuring.github.io/), Utrecht U (ICFP)
 
 #### Conflicts of Interest
 
diff --git a/Awards/Milner.md b/Awards/Milner.md
@@ -84,18 +84,12 @@ Award recipients are selected by a committee constituted as follows:
   committee.
 
 The current committee is:
-* [Tony Hosking](https://comp.anu.edu.au/antony-hosking/), Australian
-  National U (Chair)
-* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U (ex-officio)
-* [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/), U Rennes
-  (POPL)
-* [Suresh
-  Jagannathan](https://www.cs.purdue.edu/people/faculty/suresh.html),
-  Purdue U (PLDI)
-* [Ranjit
-  Jhala](https://cse.ucsd.edu/people/faculty-profiles/ranjit-jhala),
-  UCSD (ICFP)
-* [Éric Tanter](https://pleiad.cl/people/etanter), U Chile (SPLASH)
+* [Alexandra Silva](https://alexandrasilva.org/#/main.html), Cornell U (Chair)
+* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
+* [Sophia Drosopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial (SPLASH)
+* [Amal Ahmed](https://www.khoury.northeastern.edu/home/amal/), Northeastern U (POPL)
+* [Nate Foster](https://www.cs.cornell.edu/~jnfoster/), Cornell U (PLDI)
+* [Lars Birkedal](https://cs.au.dk/~birke/), Aarhus U (ICFP)
 
 #### Conflicts of Interest
 
diff --git a/Awards/Service.md b/Awards/Service.md
@@ -47,20 +47,12 @@ Award recipients are selected by a committee constituted as follows:
   committee.
 
 The current committee comprises:*
-* [Tony Hosking](https://comp.anu.edu.au/antony-hosking/), Australian
-  National U (Chair)
-* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U
-  (ex-officio)
-* [Kathleen
-  Fisher](https://www.cs.tufts.edu/~kfisher/Kathleen_Fisher/Home.html),
-  Tufts U
-* [Steve Blackburn](https://cecs.anu.edu.au/people/steve-blackburn),
-  Australian National U (PLDI)
-* [Zena Ariola](https://cs.uoregon.edu/profile/ariola), U Oregon
-  (ICFP)
-* [Heather
-  Miller](https://isr.scs.cmu.edu/people/core-faculty/miller-heather.html),
-  CMU (SPLASH)
+* [Alexandra Silva](https://alexandrasilva.org/#/main.html), Cornell U (Chair)
+* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
+* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U (SPLASH)
+* [Michael Greenberg](https://www.stevens.edu/profile/mgreenbe), Stevens (POPL)
+* [Dan Grossman](https://homes.cs.washington.edu/~djg/), U of Washington (PLDI)
+* [Talia Ringer](https://dependenttyp.es/), U of Illinois at Urbana-Champaign (ICFP)
 
 #### Conflicts of Interest
 
diff --git a/Awards/Software.md b/Awards/Software.md
@@ -50,19 +50,12 @@ Award recipients are selected by a committee constituted as follows:
   committee.
 
 The current committee comprises:
-* [Tony Hosking](https://comp.anu.edu.au/antony-hosking/), Australian
-  National U (Chair)
-* [Jeff Foster](https://www.eecs.tufts.edu/~jfoster/), Tufts U (ex-officio)
-* [Dominique
-  Devriese](https://distrinet.cs.kuleuven.be/people/DominiqueDevriese),
-  KU Leuven (POPL)
-* [Manu Sridharan](https://profiles.ucr.edu/app/home/profile/manus),
-  UC Riverside (PLDI)
-* [Andreas Rossberg](https://people.mpi-sws.org/~rossberg/), MPI
-  Software Systems (ICFP)
-* [David
-  Grove](https://researcher.watson.ibm.com/researcher/view.php?person=us-groved),
-  IBM Research (SPLASH)
+* [Niki Vazou](https://nikivazou.github.io/), IMDEA (Chair)
+* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
+* [David Grove](https://researcher.watson.ibm.com/researcher/view.php?person=us-groved), IBM Research (SPLASH)
+* [Alastair Donaldson](https://www.doc.ic.ac.uk/~afd/), Imperial (PLDI)
+* [Xavier Leroy](https://xavierleroy.org/), Inria (ICFP)
+* [Amal Ahmed](https://www.khoury.northeastern.edu/home/amal/), Northeastern U (POPL)
 
 #### Conflicts of Interest
 
diff --git a/Conferences/SPLASH.md b/Conferences/SPLASH.md
@@ -45,9 +45,9 @@ The current SPLASH steering committee is:
 
 - Programming Languages Software Award (David Grove, IBM)
 - Programming Languages Achievement Award (J. Eliot B. Moss, University of Massachusetts)
-- Robin Milner Young Researcher Award (TBC)
+- Robin Milner Young Researcher Award (Sophia Drossopoulou, Imperial College)
 - John C. Reynolds Doctoral Dissertation Award (Loris D'Antoni, UCSD)
-- Distinguished Service Award (TBC)
+- Distinguished Service Award (Jeff Foster, Tufts University)
 - Distinguished Educator Award (Will Crichton, Brown University)
 
 Web Pages of Previous Conferences
diff --git a/LongTermMentoring.md b/LongTermMentoring.md
@@ -37,7 +37,7 @@ Check out our [Twitter](https://twitter.com/SigplanM) for the latest news! You c
 
 ## Committee Members
 
-- **Operations Team**: [Jai Arora](https://www.linkedin.com/in/jaiarora0011/), [Carolina Carreira](https://carolinacarreira.github.io/), [Ronak Chauhan](https://in.linkedin.com/in/ronchauhan), [Kiran Gopinathan](https://gopiandcode.uk/), [Yunjeong Lee](http://www.leeyunjeong.com/), [Jacqueline Mitchell](https://www.linkedin.com/in/jacqueline-mitchell-476aa318a/), [Reshabh Sharma](https://www.linkedin.com/in/reshabh/)
+- **Operations Team**: [Jai Arora](https://jaiarora0011.github.io/), [Carolina Carreira](https://carolinacarreira.github.io/), [Ronak Chauhan](https://in.linkedin.com/in/ronchauhan), [Kiran Gopinathan](https://gopiandcode.uk/), [Yunjeong Lee](http://www.leeyunjeong.com/), [Jacqueline Mitchell](https://jlmitche23.github.io/), [Reshabh Sharma](https://www.linkedin.com/in/reshabh/)
 - **Rematching Coordinators**: [Houda Boukham](https://www.linkedin.com/in/houda-boukham-821198142/), [Jocelyn Chen](https://www.cs.utexas.edu/~qchen/)
 - **Advisory Board**: [Alexandra Silva](https://alexandrasilva.org/), [David Van Horn](https://www.cs.umd.edu/~dvanhorn/), [Dimitrios Vytiniotis](https://dimitriv.github.io/), [Sebastian Erdweg](https://www.pl.informatik.uni-mainz.de/), [Steve Blackburn](http://users.cecs.anu.edu.au/~steveb/), [Sukyoung Ryu](https://plrg.kaist.ac.kr/ryu)
 - **Chair**:  [Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova/)
@@ -81,6 +81,7 @@ We'd like to thank these amazing mentors:
 - Jonathan Aldrich
 - Stavros Aronis
 - Tom Ball
+- Hongzheng Chen
 - Sheng Chen
 - Michael Coblenz
 - Jonathan DiLorenzo
