Concepedia

William Mansky

WM

Statistics

Publications

9

Citations

231

H-Index

9

Active since

2011

Affiliations

California University of Pennsylvania(Current)

University of Illinois Chicago

Princeton University

Max Planck Institute for Software Systems

Seoul National University

William Mansky is an author at California University of Pennsylvania specializing in computing, computer science, and formal methods.

Publications per year

2011–2024

9

Publications

9

From C to interaction trees: specifying, verifying, and testing a networked server

Nicolas Koh, Yao Li, Yishuai Li et al. · 2019 · 47 citations · Full text

Computing, Computer Science, Computer Systems +17

A formal C memory model supporting integer-pointer casts

Jeehoon Kang, Chung-Kil Hur, William Mansky et al. · 2015 · 46 citations

Computing, Computer Science, Formal Methods +13

BARRACUDA: binary-level analysis of runtime RAces in CUDA programs

Ariel Eizenberg, Yuanfeng Peng, Toma Pigli et al. · 2017 · 29 citations

Computing, Computer Engineering, Computer Science +12

Toward a multi-method approach to formalizing human-automation interaction and human-human communications

Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh et al. · 2011 · 25 citations

Computing, Computer Science, Systems Engineering +16

A verified messaging system

William Mansky, Andrew W. Appel, Aleksey Nogin · Proceedings of the ACM on Programming Languages · 2017 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 9