Merge pull request #274 from nikivazou/master

Awards Committees Update

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/), MIT (SPLASH)
 
 #### Conflicts of Interest
 

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
 

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)
+* [Sriram Krishnamurthi](https://cs.brown.edu/~sk/), Brown U (ICFP)
 
 #### Conflicts of Interest
 

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
 

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
 

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