From 222f368aca77ed0f92d3e00bb147764a59de66fd Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:33:01 +0100 Subject: [PATCH 1/6] Update Achievement.md --- Awards/Achievement.md | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/Awards/Achievement.md b/Awards/Achievement.md index fcbdbcd..ecd0e11 100644 --- 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/), MIT (SPLASH) #### Conflicts of Interest From c9a879279c02a1caa413066f62de3e17fa05c746 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:33:29 +0100 Subject: [PATCH 2/6] Update Software.md --- Awards/Software.md | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/Awards/Software.md b/Awards/Software.md index 8a55ccb..5ceeac0 100644 --- 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 From f8fd20d83982e706a2659a5cb099270f0610c96e Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:33:53 +0100 Subject: [PATCH 3/6] Update Milner.md --- Awards/Milner.md | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/Awards/Milner.md b/Awards/Milner.md index 78dd98f..0dbf924 100644 --- 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 From 1bfdc3277610ba50e11844710ff7a49d22106fe6 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:34:11 +0100 Subject: [PATCH 4/6] Update Dissertation.md --- Awards/Dissertation.md | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/Awards/Dissertation.md b/Awards/Dissertation.md index 44cb9c6..5736223 100644 --- 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 From a07c2adf26b138ba8da27dbddbaa4933b43ea51e Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:34:33 +0100 Subject: [PATCH 5/6] Update Service.md --- Awards/Service.md | 20 ++++++-------------- 1 file changed, 6 insertions(+), 14 deletions(-) diff --git a/Awards/Service.md b/Awards/Service.md index 8195fed..2a83265 100644 --- 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 From 99a3edfd058d3d45f66c3ff10e79214847c83f02 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:34:58 +0100 Subject: [PATCH 6/6] Update Educator.md --- Awards/Educator.md | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/Awards/Educator.md b/Awards/Educator.md index 387a91d..c514feb 100644 --- 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) +* [Sriram Krishnamurthi](https://cs.brown.edu/~sk/), Brown U (ICFP) #### Conflicts of Interest