|
|||||
|
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 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 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 |
 |
||||
|
Copyright © 2020 David J. Pearce - All Rights Reserved 51 queries. 0.324 seconds. |
|||||
