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!
Is this string sanitized?
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?
Does your code enforce your security policies?
Can you show me great ways to design my software architecture?
How to test legacy code in isolation?
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?
Hate testing concurrent programs?
How to parallelize conflicting tasks?
- Static Semantic Diff
Can I diff program behaviors?
Would you like your .NET and JavaScipt code to run faster?
Does this C program always work?
http://rise4fun.com, our tools in your browser