What is this??

                                
                          
                                         




   

Rustan Leino discusses with Carl and Richard the features and functionality of the Spec # programming language.


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 from the Show


Running Time 64 minutes      Date Tuesday, May 15, 2007     Comments Comments


Tags C#
blog comments powered by Disqus
get free stuff


Telerik DevCraft


Join Telerik experts for a DevCraft™ release webinar on October 29 at 11 a.m. ET to learn what’s new in our Q3 release. Find out how Telerik can help you create compelling mobile experiences with your .NET skills. See more about the new adaptive grid for ASP.NET AJAX and two new products: Telerik UI for Windows Universal and Telerik UI for Xamarin. Sign up now.






Copyright © Franklins.net / PWOP Productions Inc. All rights reserved.

designed by nukeation