Loading…
This event has ended. Create your own event + mobile app → Check it out
This event has ended. Create your own

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

View analytic
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 event to your list 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.

Speakers

Peter Sewell

University of Cambridge
Peter Sewell is a Professor of Computer Science at the University of Cambridge. His research aims to build rigorous foundations for the engineering of real-world computer systems, to make them better-understood, more robust, and more secure. Recently, he and his colleagues have focussed on the C language and on relaxed-memory concurrency models, for x86, ARM, IBM Power, and C/C++11. He has extensive speaking experience at conferences, summer schools, and industry meetings.

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

Attendees (9)

Attendance numbers do not account for private attendees. Get there early!


Remove this from your schedule?
This session is full and you may not be able to get back in.
Remove
Cancel