Pre-STONESOUP meeting on software engineering work at Microsoft Research, Room 1915-A, 19 June 2008

[Workshop location and logistics]

Schedule

• 12–1 Lunch
• 12:30–12:50 Overview of MSR work in software engineering (Tom Ball)
• 1–1:30 Software metrics, Nachi Nagappan
• 1:30–2 Security testing, Patrice Godefroid
• 2–2:30 Automatic white-box testing for .NET, Nikolai Tillman
• 2:30–3 Systematic concurrency testing, Madan Musuvathi
• 3:00–3:30 Break
• 3:30–4 Programming with contracts on .NET, Manuel Fahndrich
• 4:00–4:30 Heap-aware verification of systems software, Shuvendu Lahiri
• 4:30–5 Challenges in Web application security, Ben Livshits
• 5–5:30 A user-centered approach to software development tools, Rob DeLine

Other participants: Brian Chess (Fortify), John Farrell (IARPA) Paul Karger (IBM), Carl Landwehr (IARPA), Andrew Myers (Cornell), Koushik Sen (Berkeley), Dawn Song (Berkeley), John Steven (Cigital), Konrad Vesey (CAS).