From 879c14a1ed72ba77dbb481af8ea4de6d8cf40e23 Mon Sep 17 00:00:00 2001 From: Alex Potanin Date: Tue, 26 Nov 2024 01:21:57 +1100 Subject: [PATCH 01/11] All award reps done. --- Conferences/SPLASH.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Conferences/SPLASH.md b/Conferences/SPLASH.md index 51c5d09..bbd9c96 100644 --- 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 (Sophia Drossopoulou, Imperial College) - Distinguished Educator Award (Will Crichton, Brown University) Web Pages of Previous Conferences From 166646b9eeaf3718cfdb3a3dc4a4ec6ab9084774 Mon Sep 17 00:00:00 2001 From: Alex Potanin Date: Mon, 2 Dec 2024 19:13:25 +1100 Subject: [PATCH 02/11] Update SPLASH.md --- Conferences/SPLASH.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Conferences/SPLASH.md b/Conferences/SPLASH.md index bbd9c96..ce1aec3 100644 --- a/Conferences/SPLASH.md +++ b/Conferences/SPLASH.md @@ -47,7 +47,7 @@ The current SPLASH steering committee is: - Programming Languages Achievement Award (J. Eliot B. Moss, University of Massachusetts) - Robin Milner Young Researcher Award (Sophia Drossopoulou, Imperial College) - John C. Reynolds Doctoral Dissertation Award (Loris D'Antoni, UCSD) -- Distinguished Service Award (Sophia Drossopoulou, Imperial College) +- Distinguished Service Award (Jeff Foster, Tufts University) - Distinguished Educator Award (Will Crichton, Brown University) Web Pages of Previous Conferences From 222f368aca77ed0f92d3e00bb147764a59de66fd Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Thu, 5 Dec 2024 15:33:01 +0100 Subject: [PATCH 03/11] 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 04/11] 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 05/11] 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 06/11] 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 07/11] 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 08/11] 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 From 51abc60764cd0b6021a31af45990ca89088b07a5 Mon Sep 17 00:00:00 2001 From: Nadia Polikarpova Date: Wed, 11 Dec 2024 08:07:24 -0800 Subject: [PATCH 09/11] Add another mentor, update homepage links for ops members --- LongTermMentoring.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/LongTermMentoring.md b/LongTermMentoring.md index 8d33907..ee6d901 100644 --- 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 From 1faaaa732d70b57814274d707172a98b5de29e26 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Fri, 13 Dec 2024 10:27:52 +0100 Subject: [PATCH 10/11] Update Educator.md --- Awards/Educator.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Awards/Educator.md b/Awards/Educator.md index c514feb..e97e477 100644 --- a/Awards/Educator.md +++ b/Awards/Educator.md @@ -67,7 +67,7 @@ The current committee comprises: * [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) +* [Johan Jeuring](https://johanjeuring.github.io/), Utrecht U (ICFP) #### Conflicts of Interest From e4b3515db915f63ad86a193ab17d288ec39815c1 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Fri, 13 Dec 2024 10:28:40 +0100 Subject: [PATCH 11/11] Update Achievement.md --- Awards/Achievement.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Awards/Achievement.md b/Awards/Achievement.md index ecd0e11..e1ee5f8 100644 --- a/Awards/Achievement.md +++ b/Awards/Achievement.md @@ -40,7 +40,7 @@ The current committee is: * [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) +* [Eliot Moss](https://people.cs.umass.edu/~moss/), University of Massachusetts Amherst (SPLASH) #### Conflicts of Interest