C Semantics in K Framework

[Chucky Ellison <celliso2 AT illinois.edu>]

Hello everybody,

I'm attaching the latest draft of our paper on the semantics of C, which I plan to submit to POPL this year.  It would be great if you could take a look at it and give me some feedback.  It should be a pretty fun read.  If you've read the technical report, while the main ideas have stayed the same, a lot has changed!  We no longer use CIL, so a lot of our claims can be stronger.  The semantics is a lot further along as well---we're passing 99% of GCC's test cases now.

The deadline for POPL is July 12, which is fast approaching.  Any feedback you can offer is appreciated!

-Chucky

Attachment: ellison-rosu-2012-popl-submission.pdf
Description: Adobe PDF document