Recently, an acquaintance asked for an explanation of the difference between parallelism and concurrency. Blog posts about how parallelism is not concurrency are already ground well covered, but I feel compelled to write another one!
The Programming Systems Lab, the group that I recently joined at Intel Labs, is hiring Ph.D. student interns for next summer!
The PSL is a group of about twenty researchers, mostly based in Santa Clara, California, just west of San Jose. The group’s charter is to invent new programming systems technologies that improve the performance and programmability of hardware. If you’re a Ph.D. student working on programming languages, compilers, runtime systems, and related hardware technologies, you might be a good fit for the lab.
The call for submissions for Off the Beaten Track 2015 is open, and I’m very excited and proud to be serving on the program committee this year!
One of the ideas that has been important to me as I’ve worked on LVars is the notion of a frame property. A frame property captures the idea of local reasoning about programs that alter state. Written as an inference rule (where the truth of the stuff above the line allows us to infer the truth of the stuff below), it might look something like this frame rule, due to O’Hearn, Reynolds, and Yang from their work on separation logic: