Scholar
William Mansky
Google Scholar ID: -BGmHzcAAAAJ
Assistant Professor, University of Illinois at Chicago
Formal Methods
Programming Languages
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
545
H-index
11
i10-index
14
Publications
20
Co-authors
22
list available
Publications
2 items
A Formal Semantics of C with OpenMP Parallelism
2026
Cited
0
Recursive Mutexes in Separation Logic
2026
Cited
0
Co-authors
7 total
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Joseph Devietti
Assistant Professor of Computer & Information Science, University of Pennsylvania
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Jeehoon Kang
KAIST School of Computing
Karen M. Feigh
Professor of Cognitive Engineering, Georgia Institute of Technology
Matthew L. Bolton
Associate Professor of Systems Engineering at the University of Virginia
Michael D. Adams
National University of Singapore