Business The Customizer

1. The Customizer Konstantin Obenland  The Customizer Konstantin Obenland  Saturday, September 21, 13 2. Konstantin Obenland Theme Wrangler at Automattic @obenland…

Documents Towards Scalable Modular Checking of User-defined Properties Thomas Ball, MSR Brian Hackett, Mozilla...

Slide 1 Towards Scalable Modular Checking of User-defined Properties Thomas Ball, MSR Brian Hackett, Mozilla Shuvendu Lahiri, MSR Shaz Qadeer, MSR Julien Vanegue, Microsoft…