| VCC: A practical system for verifying concurrent C E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ... Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 864 | 2009 |
| Touchdevelop: Programming cloud-connected mobile devices via touchscreen N Tillmann, M Moskal, J De Halleux, M Fahndrich Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and …, 2011 | 149 | 2011 |
| It's alive! continuous feedback in UI programming S Burckhardt, M Fahndrich, P De Halleux, S McDirmid, M Moskal, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 134 | 2013 |
| VCC: Contract-based modular verification of concurrent C M Dahlweid, M Moskal, T Santen, S Tobies, W Schulte 2009 31st International Conference on Software Engineering-Companion Volume …, 2009 | 132 | 2009 |
| A precise yet efficient memory model for C E Cohen, M Moskal, S Tobies, W Schulte Electronic Notes in Theoretical Computer Science 254, 85-103, 2009 | 110 | 2009 |
| Local verification of global invariants in concurrent programs E Cohen, M Moskal, W Schulte, S Tobies Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 104 | 2010 |
| The future of teaching programming is on mobile devices N Tillmann, M Moskal, J De Halleux, M Fahndrich, J Bishop, A Samuel, ... Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 102 | 2012 |
| The BBC micro: bit: from the UK to the world J Austin, H Baker, T Ball, J Devine, J Finney, P De Halleux, S Hodges, ... Communications of the ACM 63 (3), 62-69, 2020 | 92 | 2020 |
| Microsoft touch develop and the bbc micro: bit T Ball, J Protzenko, J Bishop, M Moskal, J De Halleux, M Braun, S Hodges, ... Proceedings of the 38th International Conference on Software Engineering …, 2016 | 78 | 2016 |
| Usable auto-active verification KRM Leino, M Moskal Usable Verification Workshop, 2010 | 76 | 2010 |
| Co-induction simply: Automatic co-inductive proofs in a program verifier KRM Leino, M Moskal FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 71 | 2014 |
| User-aware privacy control via extended static-information-flow analysis X Xiao, N Tillmann, M Fahndrich, J De Halleux, M Moskal Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012 | 69 | 2012 |
| Automatic parallelization in a tracing just-in-time compiler system W Schulte, N Tillmann, MJ Moskal, MA Fahndrich, DJP Leijen, BH Venter US Patent 8,959,496, 2015 | 65 | 2015 |
| Programming with triggers M Moskal Proceedings of the 7th International Workshop on Satisfiability Modulo …, 2009 | 57 | 2009 |
| The boogie verification debugger (tool paper) C Le Goues, KRM Leino, M Moskal Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 55 | 2011 |
| HOL-Boogie—An interactive prover-backend for the Verifying C Compiler S Böhme, M Moskal, W Schulte, B Wolff Journal of Automated Reasoning 44, 111-144, 2010 | 53 | 2010 |
| Rocket-fast proof checking for SMT solvers M Moskal International Conference on Tools and Algorithms for the Construction and …, 2008 | 51 | 2008 |
| MakeCode and CODAL: Intuitive and efficient embedded systems programming for education J Devine, J Finney, P de Halleux, M Moskal, T Ball, S Hodges Journal of Systems Architecture 98, 468-483, 2019 | 50 | 2019 |
| Vx86: x86 assembler simulated in C powered by automated theorem proving S Maus, M Moskal, W Schulte International Conference on Algebraic Methodology and Software Technology …, 2008 | 45 | 2008 |
| Microsoft MakeCode: embedded programming for education, in blocks and TypeScript T Ball, A Chatra, P de Halleux, S Hodges, M Moskal, J Russell Proceedings of the 2019 ACM SIGPLAN symposium on SPLASH-E, 7-12, 2019 | 44 | 2019 |