diff --git a/Awards/Achievement.md b/Awards/Achievement.md index fcbdbcd..e1ee5f8 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/), University of Massachusetts Amherst (SPLASH) #### Conflicts of Interest 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 diff --git a/Awards/Educator.md b/Awards/Educator.md index 387a91d..e97e477 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) +* [Johan Jeuring](https://johanjeuring.github.io/), Utrecht U (ICFP) #### Conflicts of Interest 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 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 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 diff --git a/Conferences/SPLASH.md b/Conferences/SPLASH.md index 51c5d09..ce1aec3 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 (Jeff Foster, Tufts University) - Distinguished Educator Award (Will Crichton, Brown University) Web Pages of Previous Conferences 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