Recherche
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Cambridge Code Hunt Contest 2016 Date: 6 July 2016 Time: 17:30-19:30 Run by: Kenji Takeda, Judith Bishop (MSR) and Nigel Horspool (University of Victoria). Thanks for additional puzzles to: Rhodes Brown, University of Victoria, Canada…
8:30-10:30 First Session – Welcome (10 minutes) – Judith Bishop, Microsoft. Industrial Research and Open Source – Reasons and Results (20 minutes) – Jeff McAffer, Microsoft. GitHub Insight: Understanding Open Source (20 minutes) – Mei…
[This is a reprise of a keynote talk I gave at PLDI 2016] What do cheating on fuel economy, the London Whale, and building a better mosquito trap have in common? We are constantly bombarded…
Reproducibility is important in computing, whether reproducing bug reports or scientific results. After obvious sources of irreproducibility are addressed by containerization and hermetic build systems, the fundamental remaining challenge is preventing unintended nondeterminism due to…
