Rustan Leino on Spec #
Rustan Leino discusses with Carl and Richard the features and functionality of the Spec # programming language.
Guests:
Rustan Leino
Rustan Leino is a Principal Researcher at Microsoft Research, where his research centers around programming tools. He is currently working on the design and implementation of the Spec# programming language and its static program verifier. Before joining Microsoft Research, Leino worked as a researcher at DEC/Compaq SRC, where among other things he led the Extended Static Checking for Java (ESC/Java) project, a program checker built on the technology of program verification. His PhD thesis from Caltech (1995) addressed an important specification problem in ESC/Modula-3. Before going to graduate school, Leino worked as a software developer and technical lead in Windows/NT at Microsoft. He has written code that shipped in releases of Windows 3.0, Windows 3.1, and Windows/NT 3.5. In his spare time, he plays and records music, teaches step aerobics, and spends time with his wife and four children.
Links:
- West Michigan Day of .NET (n1h) http://www.grdotnet.org/DODN07/
- Philly .NET Code Camp (oi7) http://phillydotnet.org/Meetings/MeetingEmails/2007/May192007/tabid/589/Default.aspx
- Front Range Code Camp (oqo) http://frontrangecodecamp.com/Default.aspx?Version=2
- Raleigh Code Camp (o17) http://www.trinug.org/
- NYC .NET Tour (kh6) http://www.intellectualhedonism.com/2006/08/16/FreeApartmentInNYCForOneYearOnTopOfANewYorkSalary.aspx
- Zipped you know counter wpf app (oxu) http://ovidiudiaconescu.com/dnr/you_know_counter.zip
- Image of the you know counter UI (oxv) http://ovidiudiaconescu.com/dnr/you_know_counter.png
- Hanselminutes #63 you know count (oxt) http://ovidiudiaconescu.com/dnr/results.xml.html