(boston lispers)

As the numbers indicate, this is in Building 32, on the 1st floor. That's the Stata Center, the funny looking building at the corner of Main St and Vassar St. Note that this location is different from the usual location in adjacent building 34.

Maps: MIT Google

Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us.

ITA Software, a fine employer of Lisp hackers, is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the right amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors.

Tim McNerney will give a talk about Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation.

Tim McNerney, currently software engineer at ITA Software, will discuss some work he did years ago at Thinking Machines Corporations on a native code parallel Fortran compiler for the Connection Machine. The compiler used abstract interpretation to verify correctness of some program transformations relating to register allocation. This actually helped systematically detect and eliminate a class of subtle bugs that was previously crippling the compiler.