Microsoft Research at PDC10
Since 1991, the PDC (the Professional Developers Conference) has been Microsoft’s premier gathering of leading-edge developers and architects. Once again, Microsoft Research is pleased to play a role during PDC and have the opportunity to showcase some of our latest projects and where we are headed.
Projects
The Microsoft Research projects demoed during PDC10 highlight some of our most innovative and cutting-edge technologies.
- BEK—Language and Tool for Verifying the Correctness of Sanitizers
Is this string sanitized?
Margus Veanes, David Molnar, Ben Livshits - Code Contracts, PEX, and Moles: Better Code Through Smart Assertions and Unit Tests
Do you understand what the code does?
Nikolai Tillmann, Peli de Halleux, Mike Barnett - Codebook—Social Networking over Code
With whom should I talk about X?
Andrew Begel, Tom Zimmermann - Edge Routing with Ordered Bundles
Can I follow these edges?
Lev Nachmanson - Empirical Studies
Want to know what product metrics we collect? Just ask.
Tom Zimmermann, Nachi Nagappan, Jacek Czerwonka - Error Tolerant Auto-Completion for Visual Studio
Can we overcome typos in Find in Files?
Raghav Kaushik, Manoj Syamala - FASTDash
A visual dashboard for project awareness in software teams.
Roland Fernandez, Kori Inkpen Quinn, Shobana Balakrishnan - FINE
Does your code enforce your security policies?
Nikhil Swamy, Juan Chen - Formula
Can you show me great ways to design my software architecture?
Ethan Jackson - Fuzzy Joins in SQL
Built-in approximate matching
Kris Ganjam, Vivek Narasayya - Horton: Online Query Execution on Large Distributed Graphs
Host your large graphs on our data centers
Gabriel Kliot, Sameh Elnikety - Microsoft Translator: Internationalize Instantly—Community-Enhanced
The better fish: 35 languages and counting.
Chris Wendt, Federico Garcea - Orleans: Programming Model and Runtime for Cloud-Scale Applications
Runtime and programming model for scalable distributed applications
Sergey Bykov, Yuxiong He - PINQ: Privacy Integrated Queries
Writing automatic privacy-preserving data analyses using LINQ.
Frank McSherry, Shobana Balakrishnan, David Molnar - Poirot
Hate testing concurrent programs?
Shuvendu Lahiri, Akash Lal, Shaz Qadeer - Programming in Stages
I write pseudo-code and fill in more details later. Can I feed that to a compiler?
Rustan Leino - Race Detection with Low Overheads
Want to find data races and concurrency bugs by pushing a button?
Madan Musuvathi, John Erickson - Revisions: Parallel and Concurrent Programming with Snapshots
How to parallelize conflicting tasks.
Sebastian Burckhardt, Tom Ball, Daan Leijen - Static Semantic Diff
Can I diff program behaviors?
Shuvendu Lahiri - VCC—Verifying the Correctness of C
Does this C program always work?
Michal Moskal
Sessions
Microsoft Research presents two sessions aimed at digging deeper into technical issues.
- Better Code Through Smart Assertions and Unit Tests
Mike Barnett, Peli de Halleux
Learn how to write better code and unit tests by using Code Contracts, Pex, and Moles. Code Contracts provide a set of tools for design-by-contract programming. Pex is an advanced unit-testing tool that uses automated program exploration to create unit tests with high code coverage. Moles is a lightweight mocking framework that enables detouring with delegates. See how they work together so that your code has fewer defects. Watch the session... - The Future of F#: Data and Services at Your Fingertips
Don Syme
Programming today exhibits a voracious appetite for information, and one of the most important trends in languages is to make access to data and services fluent and seamless. See the latest from the F# team, and learn how we are extending F# to embed the analytical programmer instantly in a world of typed data and services, whether they be web, enterprise, client or local. Watch the session...
October 28–29, 2010
Redmond, WA, U.S.
Visit the PDC10 website >
