Statistics
Publications
27
Citations
1K
H-Index
20
Active since
2007
Michał Moskal is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.
Publications per year
2007–2022
27
27
Nikolai Tillmann, Michał Moskal, Jonathan de Halleux et al. · 2011 · 104 citations
VCC: Contract-based modular verification of concurrent C
Markus Dahlweid, Michał Moskal, Thomas Santen et al. · 2009 · 87 citations
Engineering, Hardware Verification Language, Verification +23
A Precise Yet Efficient Memory Model For C
Ernie Cohen, Michał Moskal, Stephan Tobies et al. · Electronic Notes in Theoretical Computer Science · 2009 · 78 citations · Full text
Jonny Austin, Howard Baker, Thomas Ball et al. · Communications of the ACM · 2020 · 71 citations
The future of teaching programming is on mobile devices
Nikolai Tillmann, Michał Moskal, Jonathan de Halleux et al. · 2012 · 63 citations
1–5 of 27