Unasked bonus question: does (or should) the compiler make your life better or worse?
Another newbie starting out on a PhD: http://shape-of-code.coding-guidelines.com/2015/06/30/2015-a-new-c-semantics-research-group/
Peter Sewell’s group is not a newcomer to C language lawyering. They contributed to C++11 memory model work.
Yes, they have nibbled at bits of the language; lots of people have done that. It looks like they have some funding to take on the whole language (or perhaps they don’t really know what a huge task it is).
Unasked bonus question: does (or should) the compiler make your life better or worse?
Another newbie starting out on a PhD: http://shape-of-code.coding-guidelines.com/2015/06/30/2015-a-new-c-semantics-research-group/
Peter Sewell’s group is not a newcomer to C language lawyering. They contributed to C++11 memory model work.
Yes, they have nibbled at bits of the language; lots of people have done that. It looks like they have some funding to take on the whole language (or perhaps they don’t really know what a huge task it is).