Skip to content

Commit

Permalink
Merge branch 'master' of github.com:SIGPLAN/SIGPLAN.github.io
Browse files Browse the repository at this point in the history
  • Loading branch information
@sampsyo
sampsyo committed Jun 18, 2024
2 parents d2fa710 + 595f9d3 commit a6eb92f
Show file tree
Hide file tree
Showing 6 changed files with 101 additions and 40 deletions.
56 changes: 33 additions & 23 deletions Cares/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,10 @@ The SIGPLAN CARES Bylaws can be found [here](http://www.sigplan.org/CaresBylaws)

A collection of CARES resources can be found [here](https://www.sigarch.org/benefit/cares/cares-resources/).

### Contacting CARES

If you need to contact the CARES committee, you can email [any member of the committee](#sigplan-cares-committee-members) directly. If you are unsure whom to email, contact the chairs and they will provide guidance on how to proceed. Contacting the committee is not an official report, and we are not mandated reporters to the ACM. Any contact will be confidential, even to the rest of the committee.

### SIGPLAN CARES Operations

CARES members are always available by email to correspond and to set up a call with anyone who would like to speak with us about harassment, discrimination, or other concerns related to building and sustaining an inclusive research community.
Expand All @@ -75,6 +79,18 @@ CARES committee members may also attend other workshops and conferences sponsore
<th><b>Conference/Meeting</b></th>
<th><b>CARES member attendees</b></th>
</tr>
<tr>
<td><a href="https://icfp24.sigplan.org">ICFP 2022</a></td>
<td>Simon Peyton Jones, more tbc</td>
</tr>
<tr>
<td><a href="https://pldi24.sigplan.org">PLDI 2024 </a></td>
<td>Sukyoung Ryu, more tbc</td>
</tr>
<tr>
<td><a href="https://popl24.sigplan.org">POPL 2024</a></td>
<td>Alexandra Silva, Sukyoung Ryu, Stephanie Weirich</td>
</tr>
<tr>
<td><a href="https://icfp23.sigplan.org">ICFP 2023</a></td>
<td>Gabriele Keller, Simon Peyton Jones, Sukyoung Ryu, Stephanie Weirich</td>
Expand Down Expand Up @@ -156,26 +172,26 @@ CARES committee members may also attend other workshops and conferences sponsore

### SIGPLAN CARES Reports

### 2022:
### 2023:

TThis is the third annual report from the SIGPLAN CARES committee---a committee established to listen to and support folks in the programming languages community who experience or witness discrimination, harassment, or other violations of the ACM's code of conduct or ethics.
This is the fourth annual report from the SIGPLAN CARES committee---a committee established to listen to and support folks in the programming languages community who experience or witness discrimination, harassment, or other violations of the ACM's code of conduct or ethics.

What CARES does. CARES is dedicated to providing completely confidential support to members of the programming language community. We listen to members who come to us for advice or who just want to talk. If they would like advice on what kinds of actions they can take, we do our best to provide such advice.
**What CARES does.** CARES is dedicated to providing completely confidential support to members of the programming language community. We listen to members who come to us for advice or who just want to talk. If they would like advice on what kinds of actions they can take, we do our best to provide such advice.

Confidentiality. When a person approaches a CARES member in confidence, that CARES member will not share any information about the situation with anyone else without that person's explicit permission, unless there is an imminent threat or danger of some kind. Indeed, CARES members do not share the details of contacts made with other CARES members unless permitted.
**Confidentiality.** When a person approaches a CARES member in confidence, that CARES member will not share any information about the situation with anyone else without that person's explicit permission, unless there is an imminent threat or danger of some kind. Indeed, CARES members do not share the details of contacts made with other CARES members unless permitted.

As a result, our annual reports are brief. They do not contain details about the types of contacts that CARES members have made and they do not even contain specific numbers of contacts. The reports are structured this way to protect the privacy of those that approach us.

#### What happened in 2022
#### What happened in 2023

In 2022, individual SIGPLAN CARES committee members were contacted confidentially by between 5 and 15 community members throughout the year. Such contacts sometimes led to extended conversations. With more people coming back to conferences in person in 2022, It appears the need for SIGPLAN CARES has grown.
In 2023, individual SIGPLAN CARES committee members were contacted confidentially by between 5 and 15 community members throughout the year. Such contacts sometimes led to extended conversations.

Members of the CARES committee represented CARES at four conferences in 2022, namely POPL 2022, PLDI 2022, ICFP 2022, and SPLASH 2022. Attendance specifics are listed on the CARES website. The presence of CARES was advertised at the opening of the conference through the general chair’s presentation.
Members of the CARES committee represented CARES at five conferences in 2023, namely POPL 2023, CC 2023, ASPLOS 2023, PLDI 2023, and ICFP 2023. Attendance specifics are listed on the CARES website. The presence of CARES was advertised at the opening of the conference through the general chair’s presentation.

We have received open, public feedback from a number of members of the community expressing the fact that they appreciate the creation of the committee---they view it as a sign that the programming languages community takes community climate and our code of conduct seriously. The fact the committee has received confidential contacts is also evidence that the community would like mechanisms to discuss matters of harassment, discrimination, or ethics in private.

### Older Reports

* [2022 Report](report2022)
* [2021 Report](report2021)
* [2020 Report](report2020)

Expand All @@ -189,15 +205,16 @@ We have received open, public feedback from a number of members of the community
<tr>
<td><img src="http://sigplan.org/images/cares-photos/silva.png" alt="Alexandra Silva" width="156"><br><a href="https://www.alexandrasilva.org/#/main.html">Alexandra Silva</a> (she/her)</td>
<td>Co-Chair, <a href="mailto:[email protected]">[email protected]</a>, Cornell University</td>
</tr>
<tr>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/walker.png" alt="David Walker" width="156"><br><a href="https://www.cs.princeton.edu/~dpw/">David Walker</a> (he/him)</td>
<td> <a href="mailto:[email protected]">[email protected]</a>, Princeton University, 2019-2022 (co-chair) </td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/adve.png" alt="Vikram Adve" width="156"><br><a href="https://vikram.cs.illinois.edu/">Vikram Adve</a> (he/him)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, University of Illinois </td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/steve.jpg" alt="Steve Blackburn" width="156"><br><a href="https://www.steveblackburn.org">Steve Blackburn</a> (he/him)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, Google Deepmind and ANU</td>
</tr>
<tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/feng.png" alt="Xinyu Feng" width="156"><br><a href="https://cs.nju.edu.cn/xyfeng/">Xinyu Feng</a></td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, Nanjing University </td>
Expand All @@ -214,11 +231,6 @@ We have received open, public feedback from a number of members of the community
<td><img src="http://sigplan.org/images/cares-photos/krishnamurthi.png" alt="Shriram Krishnamurthi" width="156"><br><a href="https://cs.brown.edu/~sk/">Shriram Krishnamurthi</a> (he/him)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, Brown University </td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/mckinley.png" alt="Kathryn McKinley" width="156"><br><a href="https://www.cs.utexas.edu/users/mckinley/">Kathryn McKinley</a> (she/her)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, Google</td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/jones.png" alt="Simon Peyton Jones" width="156"><br><a href="https://www.microsoft.com/en-us/research/people/simonpj/">Simon Peyton Jones</a> (he/him)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, Epic Games</td>
</tr>
Expand All @@ -230,8 +242,6 @@ We have received open, public feedback from a number of members of the community
<td><img src="http://sigplan.org/images/cares-photos/weirich.png" alt="Stephanie Weirich" width="156"><br><a href="https://www.cis.upenn.edu/~sweirich/">Stephanie Weirich</a> (she/her)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, University of Pennsylvania</td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/wu.png" alt="Peng Wu" width="156"><br><a href="https://pengwu.wordpress.com/">Peng Wu</a> (she/her)</td>
<td>Member, <a href="mailto:[email protected]">[email protected]</a>, Facebook </td>
</tr>
</table>

* [Previous Members](previous)
20 changes: 20 additions & 0 deletions Cares/previous.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
### Former SIGPLAN CARES Committee Members

<table style="width:100%" border="0">
<tr>
<td><img src="http://sigplan.org/images/cares-photos/adve.png" alt="Vikram Adve" width="156"><br><a href="https://vikram.cs.illinois.edu/">Vikram Adve</a> (he/him)</td>
<td><a href="mailto:[email protected]">[email protected]</a>, University of Illinois, Jan 2020-Dec 2023 </td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/mckinley.png" alt="Kathryn McKinley" width="156"><br><a href="https://www.cs.utexas.edu/users/mckinley/">Kathryn McKinley</a> (she/her)</td>
<td><a href="mailto:[email protected]">[email protected]</a>, Google, Nov 2019-Dec 2023 (founder co-chair 2019-2021) </td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/yang.png" alt="Hongseok Yang" width="156"><br><a href="https://sites.google.com/view/hongseokyang/home">Hongseok Yang</a> (he/him)</td>
<td><a href="mailto:[email protected]">[email protected]</a>, KAIST, Jan 2020-Dec 2020</td>
</tr>
<tr>
<td><img src="http://sigplan.org/images/cares-photos/wu.png" alt="Peng Wu" width="156"><br><a href="https://pengwu.wordpress.com/">Peng Wu</a> (she/her)</td>
<td><a href="mailto:[email protected]">[email protected]</a>, Facebook, Jan 2020-Dec 2023 </td>
</tr>
</table>
11 changes: 11 additions & 0 deletions Cares/report2022.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
---
layout: default
title: "SIGPLAN CARES Annual Report: 2022"
---
In 2022, individual SIGPLAN CARES committee members were contacted confidentially by between 5 and 15 community members throughout the year. Such contacts sometimes led to extended conversations. With more people coming back to conferences in person in 2022, It appears the need for SIGPLAN CARES has grown.

Members of the CARES committee represented CARES at four conferences in 2022, namely POPL 2022, PLDI 2022, ICFP 2022, and SPLASH 2022. Attendance specifics are listed on the CARES website. The presence of CARES was advertised at the opening of the conference through the general chair’s presentation.

We have received open, public feedback from a number of members of the community expressing the fact that they appreciate the creation of the committee---they view it as a sign that the programming languages community takes community climate and our code of conduct seriously. The fact the committee has received confidential contacts is also evidence that the community would like mechanisms to discuss matters of harassment, discrimination, or ethics in private.

[cares]: /Cares/
46 changes: 33 additions & 13 deletions Conferences/CPP.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,24 +6,42 @@ Certified Programs and Proofs (CPP) is an international conference on practical

**Steering Committee**

* [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/), Princeton University, USA
* [Cătălin Hriţcu](https://catalin-hritcu.github.io) (SC Chair), MPI-SP, Germany
* [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/), University of Rennes, France
* [Adam Chlipala](http://adam.chlipala.net), MIT, USA
* Georges Gonthier, Inria, France
* [Cătălin Hriţcu](https://catalin-hritcu.github.io) (Chair), MPI-SP, Germany
* [Gerwin Klein](https://doclsf.de), CSIRO's Data61 and UNSW Sydney, Australia
* [Georges Gonthier](https://scholar.google.co.uk/citations?user=cbtN84wAAAAJ&hl=en), Inria, France
* [Gerwin Klein](https://doclsf.de), Proofcraft and UNSW Sydney, Australia
* [Robbert Krebbers](https://robbertkrebbers.nl), Radboud University Nijmegen, Netherlands
* [Dale Miller](http://www.lix.polytechnique.fr/Labo/Dale.Miller/), INRIA Saclay and LIX/Institut Polytechnique de Paris, France
* [Dale Miller](http://www.lix.polytechnique.fr/Labo/Dale.Miller/), Inria Saclay and LIX/Institut Polytechnique de Paris, France
* [Tobias Nipkow](https://www21.in.tum.de/~nipkow/), Technische Universität München, Germany
* [Brigitte Pientka](https://www.cs.mcgill.ca/~bpientka/), McGill University, Canada
* [Andrei Popescu](https://www.andreipopescu.uk), University of Sheffield, United Kingdom
* [Zhong Shao](http://www.cs.yale.edu/homes/shao/), Yale University, USA
* [Kathrin Stark](https://www.k-stark.de), Heriot-Watt University, United Kingdom
* [Nicolas Tabareau](https://tabareau.fr), Inria, France
* [Amin Timany](https://cs.au.dk/~timany/), Aarhus University, Denmark
* [Dmitriy Traytel](https://traytel.bitbucket.io), University of Copenhagen, Denmark
* [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/), University of Pennsylvania, USA

**Former SC members**

* [Andrei Popescu](https://www.andreipopescu.uk), University of Sheffield, United Kingdom
* [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/), Princeton University, USA
* [Jasmin Blanchette](https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html), Ludwig-Maximilians-Universität München, Germany
* [Assia Mahboubi](https://people.rennes.inria.fr/Assia.Mahboubi/), Inria, France and Vrije Universiteit Amsterdam, Netherlands
* [Magnus Myreen](https://www.cse.chalmers.se/~myreen/), Chalmers University of Technology, Sweden
* [June Andronick](https://proofcraft.systems/), Proofcraft and UNSW Sydney, Australia
* [Amy Felty](https://www.site.uottawa.ca/~afelty/), University of Ottawa, Canada
* [Yves Bertot](https://www-sop.inria.fr/members/Yves.Bertot/research.html), Inria, France
* [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/), MPI-SWS, Germany
* [Jeremy Avigad](https://www.andrew.cmu.edu/user/avigad/), Carnegie Mellon University, USA
* [Adam Chlipala](http://adam.chlipala.net), MIT, USA
* [Xavier Leroy](https://xavierleroy.org), Collège de France, PSL University, France
* [Alwen Tiu](http://users.cecs.anu.edu.au/~tiu/), Australian National University, Australia
* [Michael Norrish](https://comp.anu.edu.au/people/michael-norrish/), Australian National University, Australia
* [Chris Hawblitzel](https://www.microsoft.com/en-us/research/people/chrishaw/), Microsoft Research, USA
* [Jean-Pierre Jouannaud](https://www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud/), Université de Paris-Saclay, France
* [Andrew Appel](https://www.cs.princeton.edu/~appel/), Princeton University, USA
* [Nikolaj Bjorner](https://www.microsoft.com/en-us/research/people/nbjorner/), Microsoft Research, USA
* [John Harrison](https://www.cl.cam.ac.uk/~jrh13/), Amazon Web Services, USA

---
**Previous CPP Conferences**

Expand All @@ -41,6 +59,8 @@ Certified Programs and Proofs (CPP) is an international conference on practical
* [CPP 2012](http://cpp12.kuis.kyoto-u.ac.jp), Kyoto, Japan, December 13-15, 2012 (collocation with APLAS’12)
* [CPP 2011](https://dblp.uni-trier.de/db/conf/cpp/cpp2011.html), Kenting, Taiwan, December 7-9, 2011 (co-located with APLAS’11)

The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN OpenTOC](http://www.sigplan.org/OpenTOC/#cpp).

---
**Given Distinguished Paper Awards**

Expand All @@ -59,10 +79,10 @@ Certified Programs and Proofs (CPP) is an international conference on practical

**Given Amazing Reviewer Awards**

* CPP 2023: [Théo Winterhalter](https://theowinterhalter.github.io)
* CPP 2023: [Anja Petković Komel](https://anjapetkovic.com)
* CPP 2022: [Armaël Guéneau](http://cambium.inria.fr/~agueneau/)
* CPP 2021: [Kathrin Stark](https://www.k-stark.de)
* CPP 2023: [Théo Winterhalter](https://theowinterhalter.github.io), Inria, France
* CPP 2023: [Anja Petković Komel](https://anjapetkovic.com), TU Wien, Austria
* CPP 2022: [Armaël Guéneau](http://cambium.inria.fr/~agueneau/), Inria, France
* CPP 2021: [Kathrin Stark](https://www.k-stark.de), Heriot-Watt University, UK

---
**The CPP Manifesto (from 2011)**
Expand All @@ -88,4 +108,4 @@ On the other hand, there is a recent trend in computer science to formally prove

There are not many proof assistants around. There should be more, because progress benefits from competition. On the other hand, there is much theoretical work that could be implemented in the form of a proof assistant, but this does not really happen. One reason is that it is hard to publish a development work, especially when this requires a long-term effort as is the case for a proof assistant. It is even harder to publish work about libraries which, we all know, are fundamental for the success of a proof assistant. CPP would pay particular attention in publishing, publicizing, and promoting this kind of work.

Finally, CPP also aims to be a publication arena for innovative teaching experiences, in computer science or mathematics, using proof assistants in an essential way. These experiences could be submitted in an innovative format to be defined.
Finally, CPP also aims to be a publication arena for innovative teaching experiences, in computer science or mathematics, using proof assistants in an essential way. These experiences could be submitted in an innovative format to be defined.
Loading

0 comments on commit a6eb92f

Please sign in to comment.