Skip to content

Commit aad2a2b

Browse files
committed
Merge branch 'master' of github.com:SIGPLAN/SIGPLAN.github.io
2 parents 900310a + 9a2a327 commit aad2a2b

File tree

5 files changed

+25
-26
lines changed

5 files changed

+25
-26
lines changed

Awards/Dissertation.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ Recipients are selected by a committee constituted as follows:
6565
committee.
6666

6767
The current committee is:
68-
* [Niki Vazou](https://nikivazou.github.io/), IMDEA (Chair)
68+
* [Alexandra Silva](https://alexandrasilva.org/#/main.html), Cornell U (Chair)
6969
* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
7070
* [Loris D'Antoni](https://cseweb.ucsd.edu/~ldantoni/), UCSD (SPLASH)
7171
* [Santosh Nagarakette](https://people.cs.rutgers.edu/~santosh.nagarakatte/), Rutgers U (PLDI)

Awards/Milner.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -84,12 +84,13 @@ Award recipients are selected by a committee constituted as follows:
8484
committee.
8585

8686
The current committee is:
87-
* [Alexandra Silva](https://alexandrasilva.org/#/main.html), Cornell U (Chair)
88-
* [Andrew Myers](https://www.cs.cornell.edu/andru/), Cornell U (ex-officio)
87+
* [Niki Vazou](https://nikivazou.github.io/), IMDEA (Chair)
88+
* [Anders Møller](https://cs.au.dk/~amoeller/), Aarhus U
89+
* [Brigitte Pientka](https://www.cs.mcgill.ca/~bpientka/research.html), McGill U
8990
* [Sophia Drosopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial (SPLASH)
9091
* [Amal Ahmed](https://www.khoury.northeastern.edu/home/amal/), Northeastern U (POPL)
91-
* [Nate Foster](https://www.cs.cornell.edu/~jnfoster/), Cornell U (PLDI)
9292
* [Lars Birkedal](https://cs.au.dk/~birke/), Aarhus U (ICFP)
93+
* [Steve Blackburn](https://www.steveblackburn.org/), Australian National U (PLDI)
9394

9495
#### Conflicts of Interest
9596

Conferences/CPP.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,11 @@ Certified Programs and Proofs (CPP) is an international conference on practical
4646
---
4747
**[CPP Conferences](https://popl25.sigplan.org/series/CPP)**
4848

49+
* CPP 2026
50+
+ PC Chairs: [Nicolas Tabareau](https://tabareau.fr/)
51+
and [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy)
52+
+ Conference Chairs: [Kathrin Stark](https://researchportal.hw.ac.uk/en/persons/kathrin-stark)
53+
and [Yannick Zakowski](https://perso.ens-lyon.fr/yannick.zakowski)
4954
* [CPP 2025](https://popl25.sigplan.org/home/CPP-2025), Denver, Colorado, USA, January 20-21, 2025 (co-located with POPL’25)
5055
+ PC Chairs: [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/)
5156
and [Nicolas Tabareau](https://tabareau.fr/)

LongTermMentoring.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -40,8 +40,8 @@ Check out our [Twitter](https://twitter.com/SigplanM) for the latest news! You c
4040
- **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/)
4141
- **Rematching Coordinators**: [Houda Boukham](https://www.linkedin.com/in/houda-boukham-821198142/), [Jocelyn Chen](https://www.cs.utexas.edu/~qchen/)
4242
- **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)
43-
- **Chair**: [Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova/)
44-
- **Previous Chair**: [Talia Ringer](https://dependenttyp.es/)
43+
- **Chair**: [Stephen Chong](https://people.seas.harvard.edu/~chong/)
44+
- **Previous Chairs**: [Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova/), [Talia Ringer](https://dependenttyp.es/)
4545

4646
## Getting Involved
4747

PACMPL/Editors.md

Lines changed: 13 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -33,26 +33,6 @@ Advisory Board:
3333
Vice-Chair of SIGPLAN
3434

3535
Senior Editors:
36-
- [Hongseok Yang](https://sites.google.com/view/hongseokyang/home), KAIST, Korea <br>
37-
Editor for Volume 6, Issue POPL (January 2022)
38-
- [Zena M. Ariola](http://ix.cs.uoregon.edu/~ariola/), University of Oregon, USA <br>
39-
Editor for Volume 6, Issue ICFP (August 2022)
40-
- [Amal Ahmed](http://www.ccs.neu.edu/home/amal/), Northeastern University, USA <br>
41-
Editor for Volume 6, Issues OOPSLA1 and OOPSLA2 (April and October 2022)
42-
- [Jan Vitek](http://janvitek.org/), Northeastern University, USA <br>
43-
Editor for Volume 6, Issues OOPSLA1 and OOPSLA2 (April and October 2022)
44-
45-
Associate Editors:
46-
- [Amal Ahmed](http://www.ccs.neu.edu/home/amal/), Northeastern University, USA <br>
47-
Editor for Volume 7, Issue POPL (January 2023)
48-
- [Nate Foster](https://www.cs.cornell.edu/~jnfoster/), Cornell University, USA <br>
49-
Editor for Volume 7, Issue PLDI (June 2023)
50-
- [Sam Lindley](https://homepages.inf.ed.ac.uk/slindley/), University of Edinburgh, UK <br>
51-
Editor for Volume 7, Issue ICFP (August 2023)
52-
- [Mira Mezini](https://www.stg.tu-darmstadt.de/main_stg/staff_stg/mira_mezini_1.en.jsp), TU Darmstadt, Germany <br>
53-
Editor for Volume 7, Issues OOPSLA1 and OOPSLA2 (April and October 2023)
54-
55-
Assistant Editors:
5636
- [Derek Dreyer](https://people.mpi-sws.org/~dreyer/), MPI-SWS, Germany <br>
5737
Editor for Volume 8, Issue POPL (January 2024)
5838
- [John Regehr](https://www.cs.utah.edu/~regehr/), University of Utah, USA <br>
@@ -62,5 +42,18 @@ Assistant Editors:
6242
- [Alex Potanin](https://potanin.github.io), Australian National University <br>
6343
Editor for Volume 8, Issues OOPSLA1 and OOPSLA2 (April and October 2024)
6444

45+
Associate Editors:
46+
- [Armando Solar-Lezama](https://people.csail.mit.edu/asolar/), MIT, USA <br>
47+
Editor for Volume 9, Issue POPL (January 2025)
48+
- [Zachary Tatlock](https://ztatlock.net/), University of Washington, USA <br>
49+
Editor for Volume 9, Issue PLDI (June 2025)
50+
- [Dominique Devriese](https://distrinet.cs.kuleuven.be/people/DominiqueDevriese), KU Leuven, Belgium <br>
51+
Editor for Volume 9, Issue ICFP (August 2025)
52+
- [Shriram Krishnamurthi](https://cs.brown.edu/~sk/), Brown University, USA and [Sukyoung Ryu](http://plrg.kaist.ac.kr/ryu), KAIST, South Korea <br>
53+
Editor for Volume 9, Issues OOPSLA1 and OOPSLA2 (April and October 2025)
54+
55+
Assistant Editors:
56+
- TBA
57+
6558
Information Director:
6659
- [Adrian Sampson](https://www.cs.cornell.edu/~asampson/), Cornell University, USA <br>

0 commit comments

Comments
 (0)