Collaboration Summit has ended

The Linux Foundation Collaboration Summit is an exclusive, invitation-only summit gathering core kernel developers, distribution maintainers, ISVs, end users, system vendors and other community organizations for plenary sessions and workgroup meetings to meet face-to-face to tackle and solve the most pressing issues facing Linux today. If your company is not a member of The Linux Foundation and you are interested in joining please visit our website to learn more about how you can become a Corporate Member.

Request an Invitation To Participate

Back To Schedule
Tuesday, April 16 • 3:30pm - 4:00pm
The C Language: It Is Not What You Think It Is! - Peter Sewell, University of Cambridge

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

The C language has proven quite effective and flexible, but there are surprising mismatches between the language as used in practice, the language as the standard defines it, and the language as implemented by optimising compilers. In fact, it's not even clear exactly what any of the three are.  This talk will review ongoing work to clarify the situation, focussed especially on the C object model, the C/C++11 concurrency model, automated testing of GCC against the latter, and the de facto standard Linux concurrency model.  We will highlight some pitfalls and ask for input on particular aspects of the language as used in practice. Joint work of Mark Batty, Robin Morisset, Justus Matthiesen, Kayvan Memarian, Paul McKenney, Peter Sewell, Francesco Zappa Nardelli, and others.

The intended audience is developers using C, both expert and less so, compiler writers, and analysis tool builders.

avatar for Peter Sewell

Peter Sewell

University of Cambridge

Tuesday April 16, 2013 3:30pm - 4:00pm PDT
Cyril Magnin I

Attendees (0)