People

About

Checked C contributors want to help the world write better and more secure systems code.    Some people are interested in the language extension design, others in implementing the extension in a compiler, other are pursuing tooling to convert existing C code, and finally some people are interestined in experimenting with Checked C in practice.  

Current contributors

The following people are contributing to Checked C now:

• Arunkumar Bhattar

• John Criswell

• Michael Hicks

• Katherine Kjeer

• Liyi Li

• Aravind Machiry

• David Tarditi

Past contributors

Here are some of the people who have contributed to Checked C in the past.  We are grateful for their contributions:

• Weidong Cui

• Gabreiel Dos Reis

• Aaron Eline

• Sam Elliott

• Mandeep Singh Grang

• Chris Hawblitzel

• John Kastner

• Esmaeil Mohammadian Koruyeh

• Sulekha Kulkarni

• Wonsub Kim

• Shuvendu Lahiri

• Jay Lim

• Shen Liu

• Reuben Olinsky

• Matt McCutchen

• Abel Nieto

• Saeed Nejati

• Jonghyun Park

• Pardis Pashakhanloo

• Prabhu Karthaikeyan Rajasekaran

• Andrew Ruef

• Anna Kornfield Simpson

• Yahui Sun

• Jie Zhou