William Mansky
University of Illinois Chicago(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Security and Verification in Computing, Distributed systems and fault tolerance
Most-Cited Works
- → From C to interaction trees: specifying, verifying, and testing a networked server(2019)47 cited
- → A formal C memory model supporting integer-pointer casts(2015)45 cited
- → BARRACUDA: binary-level analysis of runtime RAces in CUDA programs(2017)28 cited
- → Toward a multi-method approach to formalizing human-automation interaction and human-human communications(2011)25 cited
- → A Framework for Formal Verification of Compiler Optimizations(2010)24 cited
- → A verified messaging system(2017)23 cited
- → Verifying an HTTP Key-Value Server with Interaction Trees and VST(2021)20 cited
- → Compass: strong and compositional library specifications in relaxed memory separation logic(2022)19 cited
- → An Iris Instance for Verifying CompCert C Programs(2024)11 cited