1![Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington](https://www.pdfsearch.io/img/82b4d1aa5075e80f092a8f4db50b2918.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
2![Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst](https://www.pdfsearch.io/img/da4424d7157ea9f88b184506eba19c1f.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
3![Relevant affiliations of the Bank Council members Ernst Stocker, Member of the Bank Council Initial election 2010, current election 2016 Ernst Stocker, Wädenswil, born 1955, Swiss citizen Relevant affiliations of the Bank Council members Ernst Stocker, Member of the Bank Council Initial election 2010, current election 2016 Ernst Stocker, Wädenswil, born 1955, Swiss citizen](https://www.pdfsearch.io/img/10fd5734416bd70b071a84fd2c67da1b.jpg) | Add to Reading ListSource URL: www.snb.chLanguage: English |
---|
4![Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and](https://www.pdfsearch.io/img/11054ae5ce03c8b174b33c9483470781.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-07-21 04:42:46
|
---|
5![A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg](https://www.pdfsearch.io/img/89e01176fdec72972a309dbf4433bce0.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:43:20
|
---|
6![Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif
Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif
Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV](https://www.pdfsearch.io/img/eacbbf3db648b5447b2362f5bac8a5ec.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:48:03
|
---|
7![Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington](https://www.pdfsearch.io/img/2412c87241ec3c7d044bf31e19ba226e.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
8![Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering](https://www.pdfsearch.io/img/2b30af1d8e9683f95afdd8b800f7ec53.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
9![NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive](https://www.pdfsearch.io/img/d368af8f32379ce0cdfafa6c2a2e2fa6.jpg) | Add to Reading ListSource URL: victorialin.netLanguage: English - Date: 2018-10-26 01:53:41
|
---|
10![Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst](https://www.pdfsearch.io/img/f00de9cd8694e21ec6e3b2bd223e91c0.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|