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).