| Collaborative verification of information flow for a high-assurance app store MD Ernst, R Just, S Millstein, W Dietl, S Pernsteiner, F Roesner, ... Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 130 | 2014 |
| Static analysis of implicit control flow: Resolving java reflection and android intents (t) P Barros, R Just, S Millstein, P Vines, W Dietl, M d'Amorim, MD Ernst 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 108 | 2015 |
| Lightweight verification of array indexing M Kellogg, V Dort, S Millstein, MD Ernst Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 12 | 2018 |
| Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) P Barros, R Just, S Millstein, P Vines, W Dietl, M d’Amorim, MD Ernst University of Washington Department of Computer Science and Engineering …, 2015 | 4 | 2015 |
| Verifying determinism in sequential programs R Mudduluru, J Waataja, S Millstein, M Ernst 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 3 | 2021 |
| DesCert: Design for Certification N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ... arXiv preprint arXiv:2203.15178, 2022 | 1 | 2022 |
| Verifying determinism in sequential programs (extended version) R Mudduluru, J Waataja, S Millstein, MD Ernst University of Washington, Tech. Rep. TR-UW-CSE-2021-02-01, 2021 | 1 | 2021 |
| Collaborative verification of information flow for a high-assurance app store R Just, MD Ernst, S Millstein Software-engineering and management 2015, 2015 | 1 | 2015 |
