Articles

Modular Purity Analysis for Java

Well, after an agonizing wait I finally heard the news that my paper on purity analysis was accepted to the Conference on Compiler Construction, 2011.  Obviously, I’m stoked!  The paper is:

JPure: a Modular Purity System for Java. David J. Pearce. In Proceedings of the Conference on Compiler Construction, 2011. [PDF]

A [[Pure function|pure . . . → Read More: Modular Purity Analysis for Java

Experimental Security Analysis of a Modern Automobile

Another good paper I found recently was the following:

“Experimental Security Analysis of a Modern Automobile”, Hoscher, Czeskis, et al. In Proceedings of IEEE Symposium on Security and Privacy, 2010. [PDF]

What I found particularly interesting was the discussion of the computing setup on a modern car.  Here’s some info:

Most modern cars feature . . . → Read More: Experimental Security Analysis of a Modern Automobile

Dafny: An Automatic Program Verifier for Functional Correctness

So, last week the pl reading group chose to read this paper by Rustan Leino. Ignoring the fact that a number of people in our group are interested in this area, Rustan had recently given a presentation on Dafny here (his slides are here) and this was reason we chose this paper.  Unfortunately, I . . . → Read More: Dafny: An Automatic Program Verifier for Functional Correctness