RiSE @ Professional Developer Conference 2010
Discover 16 projects from the Research in Software Engineering group during PDC'10! For two days, the Researchers from RiSE will be showcasing their projects in the corridors of Microsoft Conference Center @ Redmond. Share with us our love for Software!
- Bek
Is this string sanitized? - CodeBook
Who should I talk to about X? - Code Contracts
How should I call this method, what to expect in return? - Cuzz & Data Collider
Do you want to find data races and concurrency bugs by pushing a button? - Edge Routing with Ordered BundlesCan I follow these edges?
- Empirical Studies
You want to know what product metrics we collect? Come on and ask? - Fine
Does your code enforce your security policies? - Formula
Can you show me great ways to design my software architecture?
- Moles
How to test legacy code in isolation? - Pex
What will my code do? - Pex For Fun
Are you up for a coding duel? - Programming in Stages
I write pseudo-code and fill in more details later, can I feed that to a compiler? - Poirot
Hate testing concurrent programs? - Revisions
How to parallelize conflicting tasks? - Static Semantic Diff
Can I diff program behaviors? - Spur
Would you like your .NET and JavaScipt code to run faster? - VCC
Does this C program always work?
October 28 + 29, 2010,
@ Redmond
coordinates Microsoft's Research in Software Engineering in Redmond, USA. RiSE provides innovative tools for Automated Program Analysis, new Languages and Runtimes, as well as Automatic Theorem Provers.
