Entries tagged with languages - Channel 9

SpecExplorer: Model-Based Testing made practicable

Peli de Halleux — Tue, 27 Oct 2009 04:45:00 GMT

Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. Spec Explorer’s approach to model-based testing has been shown to greatly enhance productivity of test case creation, to ensure predictability of requirement coverage, and to support lifecycle management and software updates. Models are typically written in C# and controlled by a configuration language which allows to express scenarios and test purposes. Microsoft itself chose Spec Explorer as a cornerstone of the effort to validate open protocol documentation, developing more than 200 test suites validating over 40,000 requirements for networking protocols in a production environment.

Panel: The Future of Programming Languages

System — Wed, 29 Oct 2008 16:39:22 GMT

Learn about the future of programming from some of the leading programming languages experts in the world. Hear how programming will be affected by a number of fundamental changes that are occurring like many-core machines, cloud computing, and more. Also hear about the biggest challenges that face the industry. This will be a fascinating expert panel discussion for anyone that is involved with developing applications or services.

Douglas Crockford
Douglas Crockford discovered the JSON data interchange format. He is leading an effort at ECMA to develop a secure successor to JavaScript. He is the author of JavaScript: The Good Parts.
Gilad Bracha
Gilad Bracha is the creator of the Newspeak programming language. He is currently Distinguished Engineer at Cadence Design Systems. Previously, he was a Computational Theologist and Distinguished Engineer at Sun Microsystems. He is co-author of the Java Language Specification, and a researcher in the area of object-oriented programming languages. Prior to joining Sun, he worked on Strongtalk, the Animorphic Smalltalk System. He received his B.Sc in Mathematics and Computer Science from Ben Gurion University in Israel and a Ph.D. in Computer Science from the University of Utah.
Jeremy Siek
Jeremy Siek is an Assistant Professor at the University of Colorado. Jeremy's areas of research include generic programming, programming language design, and compiler optimization. Jeremy received a Ph.D. at Indiana University in 2005. His thesis laid the foundation for the constrained templates feature in the next C++ Standard. Also while at Indiana, Jeremy developed the Boost Graph Library, a C++ generic library for graph algorithms and data structures. Jeremy did a post-doc at Rice University where he developed gradual typing: a type system that integrates dynamic and static typing. Jeremy is currently developing a gradually-typed version of Python.
Anders Hejlsberg
Anders Hejlsberg is a Technical Fellow in the Developer Division. He is an influential creator of development tools and programming languages. He is the chief designer of the C# programming language and a key participant in the development of the Microsoft .NET framework. Since its initial release in 2000, the C# programming language has been widely adopted and is now standardized by ECMA and ISO. Before his work on C# and the .NET framework, Hejlsberg was an architect for Visual J++ development and the Windows Foundation classes. Before joining Microsoft in 1996, Hejlsberg was one of the first employees of Borland International Inc. As principal engineer, he was the original author of Turbo Pascal, a revolutionary integrated development environment, and chief architect of its successor, Delphi. Hejlsberg co-authored "The C# Programming Language", published by Addison Wesley, and has received numerous software patents. In 2001, he was the recipient of the prestigious Dr. Dobbs Excellence in Programming Award. He studied engineering at the Technical University of Denmark.
Erik Meijer
Wolfram Schulte
Wolfram Schulte is a principal researcher and the founding manager of the Research in Software Engineering area, at Microsoft Research Redmond, USA. Wolfram’s research concerns the practical application of formal methods. At Microsoft, Wolfram co-lead research projects on language design and runtimes (the AsmL, Cw, TPL projects), software testing (the Pex, SpecExplorer, and nModel projects), software analysis and verification (the Spec#, Vcc and Hypervisor project), and lately on model-driven engineering of applications for the cloud (formula and bam). Among Schulte’s contributions to Microsoft technologies are his work on model-based and concolic testing, on contract-based static analysis, on data access integration and concurrent runtimes. Wolfram lives with his spouse Rita and 2 kids in Bellevue. In his spare time, he enjoys the beautiful outdoors of the cascades.

Natural Interop with Silverlight, Office, and Python in Microsoft Visual C# and Microsoft Visual Basic

System — Wed, 29 Oct 2008 16:39:16 GMT

Learn how the new C# and VB language features make interop with JScript, COM, and Python more natural. Dynamically control the HTML DOM within Silverlight, automate Word and Excel with less code, or access Python libraries, all from your favorite .NET language!

Alex Turner
Alex Turner is the Program Manager for the C# Compiler at Microsoft, where he makes sure that C#’s new language features and compiler services become a reality. Alex graduated with an MS in Computer Science from Stony Brook University and has been a speaker at TechEd and TechDays.

IronRuby: The Right Language for the Right Job

System — Wed, 29 Oct 2008 16:38:57 GMT

IronRuby is a new dynamically-typed language for Microsoft .NET that offers more runtime flexibility at the expense of compile-time verification. Find out why this is a good thing in the right situations: static compile-time verification for components that need additional rigor, and dynamic typing for more fluid parts of a program. See how to use dynamic typing to create internal Domain Specific Languages (DSLs) and how to use them for systems that you create.

John Lam
John works on the IronRuby compiler at Microsoft.

"Oslo": Building Textual DSLs

System — Wed, 29 Oct 2008 16:38:30 GMT

The "Oslo" modeling language can define schemas and transformations over arbitrary text formats. This session shows you how to build your own Domain Specific Language using the "Oslo" SDK and how to apply your DSL to create an interactive text editing experience.

Chris Anderson
Giovanni Della-Libera
Giovanni has been a developer at Microsoft for 12 years. In that time, he's worked on VB5, VJ6, WinForms, ADO.Net, WCF and WS-Security* specifications. He's currently working on Oslo's "M" language.

"Oslo": The Language

System — Wed, 29 Oct 2008 16:38:23 GMT

The "Oslo" language, at the heart of the Oslo modeling platform, allows developers to quickly and efficiently express domain models that power declarative systems, such as Windows Workflow Foundation and "Dublin." In this session, we'll get you started writing models for your own domains by introducing you to key features of the language, including its type system, instance construction, and query. You'll learn to author content for the Oslo repository and understand how to programmatically construct and process the content to target your own specific runtime environment.

Don Box
David Langworthy

The Future of C#

System — Wed, 29 Oct 2008 16:38:03 GMT

Please Note: This session will be repeated on October 29th at 3:00PM. In this talk Microsoft Technical fellow and C# Chief Architect Anders Hejlsberg outlines the future of C#. He describes the many forces that influence and shape the future of programming languages and explain how they fit into C#.

Anders Hejlsberg
Anders Hejlsberg is a Technical Fellow in the Developer Division. He is an influential creator of development tools and programming languages. He is the chief designer of the C# programming language and a key participant in the development of the Microsoft .NET framework. Since its initial release in 2000, the C# programming language has been widely adopted and is now standardized by ECMA and ISO. Before his work on C# and the .NET framework, Hejlsberg was an architect for Visual J++ development and the Windows Foundation classes. Before joining Microsoft in 1996, Hejlsberg was one of the first employees of Borland International Inc. As principal engineer, he was the original author of Turbo Pascal, a revolutionary integrated development environment, and chief architect of its successor, Delphi. Hejlsberg co-authored "The C# Programming Language", published by Addison Wesley, and has received numerous software patents. In 2001, he was the recipient of the prestigious Dr. Dobbs Excellence in Programming Award. He studied engineering at the Technical University of Denmark.

Microsoft Visual C++: 10 Is the New 6

System — Wed, 29 Oct 2008 16:37:58 GMT

Get more done. The next version of Visual C++ is all about improving developer productivity for large-scale applications. Learn about the IntelliSense and browsing experiences, changes to the project and build system, project-less browsing, collaboration through remote symbol indexing, and custom visualization of symbolic information.

Boris Jabes

Future Directions for Microsoft Visual Basic

System — Wed, 29 Oct 2008 16:37:56 GMT

Hear language architect Paul Vick and specification lead Lucian Wischik discuss the future direction of the Visual Basic language. Learn about the new capabilities of the next version of the language, including additional LINQ features, syntax simplifications, and a host of other improvements. Also gain insight into possible future features, including meta-programming and scripting.

Lucian Wischik
Paul Vick
Paul Vick is the language architect for Visual Basic, where he leads the language design team. Paul originally began his career working at Microsoft in 1992 on the Microsoft Access team, shipping versions 1.0 through 97 of Access. In 1998, he moved to the Visual Basic team, participating in the design and implementation of the Visual Basic compiler and driving the re-design of the language for the .NET Framework. He is the author of the Visual Basic .NET Language Specification and the Addison Wesley book "The Visual Basic .NET Language." His weblog can be found at http://www.panopticoncentral.net.

An Introduction to Microsoft F#

System — Wed, 29 Oct 2008 16:37:54 GMT

Learn about Microsoft's new language, F#, a typed functional programming language for the Microsoft .NET Framework. F# combines functional programming with the runtime support, libraries, tools, and object model of .NET. Understand how F# asynchronous workflows help tame the complexity of parallel and asynchronous I/O programming and how to use F# in conjunction with tools such as Parallel Extensions for .NET.

Luca Bolognese

Deep Dive: Dynamic Languages in Microsoft .NET

System — Wed, 29 Oct 2008 16:37:52 GMT

The CLR has great support for dynamic languages like IronPython. Learn how the new Dynamic Language Runtime (DLR) adds a shared dynamic type system, a standard hosting model, and support for generating fast dynamic code. Hear how these features enable languages that use the DLR to share code with other dynamic and static languages like Microsoft Visual Basic .NET and C#.

Jim Hugunin

geekSpeak recording - Dynamic Languages and the DLR with Mike Vincent

Brian Johnson — Thu, 11 Sep 2008 03:59:00 GMT

In this geekSpeak, Mike Vincent explains how dynamic languages like Iron Python and Iron Ruby running on the Dynamic Language Runtime (DLR) give you new options when choosing the best tool for the job. Mike addresses the advantages you can gain from using dynamic languages, when and where you should consider dynamic languages, and what is important from the architect's view, the developer's view, and the business case view.

This episode of geekSpeak was recorded on September 10, 2008.

Your hosts for this geekSpeak are Glen Gordon and Peter Laudati.

To ask a question in advance of a live webcast, or for post-show resources, be sure to visit the geekSpeak blog.