Barbara Liskov, Greg Morrisett, Guy Steele keynoting ACM conference on High Integrity Language Technology in Boston, Dec. 2012

A new ACM conference focused on High-Integrity Language Technology is coming to Boston in Dec. 2012. Keynote speakers at HILT2012 include programming language luminaries Barbara Liskov of MIT, Greg Morrisett of Harvard, and Guy Steele of Oracle Labs. Guy Steele wrote the original two Lambda the Ultimate ... papers, and is the father (or at least the sage uncle) of many important programming languages. Barbara Liskov is of course a recent ACM Turing Award winner, and brought the whole notion of abstraction to modern programming languages, and Greg Morrisett is a pioneer in providing secure programming at the very lowest levels of abstraction. Information on all five of the keynotes, the overall schedule, registration, and accommodations is available at:

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

ACM HILT2012 hotel registration deadline coming up

The hotel registration deadline for ACM HILT2012 is coming up, and the reserved block of rooms is filling up. Of particular interest at HILT2012 will be Guy Steele's keynote on the life cycle of programming languages, presumably including a discussion of Fortress.