Rustan Leino: Problems with bugs in your code? Doctor Rustan's tool to the rescue!
Rustan Leino, Microsoft Research
Tid: Ti 2012-03-20 kl 13.15 - 15.00
Plats: Lecture hall E1, Osquars backe 2
Wasn't that easy?!
Problems with bugs in your code? Doctor Rustan's tool to the rescue!
Get to know how debugging your code gets the simple look and feel of spell checking in Word.* See some of the latest and most exciting research in formal verification deployed in action. This will be a hands-on tutorial, so bring your own laptop to try it out for yourself.
Rustan Leino from Microsoft Research is a world-leading expert in the area. Those who have seen his presentations know why programming is cool. You don't want to miss this!
More details, and a slightly more formal abstract, can be found at
http://www.csc.kth.se/tcs/seminarsevents/rustanleino.php .
*) Your mileage may vary. Do not use when operating heavy machinery. Prolonged excitement from using programming tools may cure drowsiness. Some users report a sensation of increased and irresistible social attraction. If you experience bug withdrawal, consider collecting pet armadillidiidae.