Scholar

William Mansky

Google Scholar ID: -BGmHzcAAAAJ

Assistant Professor, University of Illinois at Chicago

Formal MethodsProgramming LanguagesConcurrency

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

545

H-index

11

i10-index

14

Publications

20

Co-authors

22

list available

Contact

No contact links provided.

Publications

1 items

Recursive Mutexes in Separation Logic

2026

Cited

0

Resume (English only)

Co-authors

22 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