Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
