Unpublishing Pascal Cuoq on 11 October 2011
I have unpublished the last post. It was written in a hurry because it partially answered a question in the mailing list. It needs more work to explain the problem being solved. Sorry.
Read MoreBlog
Zarith Pascal Cuoq on 9 October 2011
Perhaps you are looking for something to do pending the upcoming release of Frama-C (someone called it \Nitrozen" once by accident in a commit message. I would like the name to stick but I anticipate it won't)… Or you are already a serious user of the value analysis plug-in or...
Read MoreBar joke Pascal Cuoq on 29 September 2011
So I walked into a bar, and I said: Ah! Ah! There's a new Firefox, and one item in the release notes is \Drastically improved memory handling for certain use cases". Nice phrase. We'll remember it for when we too fix a memory leak. Someone who knew about Firefox internals...
Read MoreAbout Pascal Cuoq on 27 September 2011
It struck me, writing both the last and the next posts, that I mostly assume that the reader — you — has already read and remembers the gist of previous posts and/or the documentation. I am pretty sure this would be considered a bad habit in some circles. In fact,...
Read MoreSummary of a 2010 research article Pascal Cuoq on 27 September 2011
A number of colleagues and I have been tasked with writing a summary of an article they published in 2010. Each of us has to do this for an article of theirs, that is. I chose the article whose long version title is \A Mergeable Interval Map" (link PDF available...
Read More