William Mansky

Registered user since Mon 8 Jun 2015

Name:William Mansky
Country:United States
Affiliation:University of Illinois at Chicago
Research interests:program verification, concurrency, theorem proving, language semantics

Contributions

PLDI 2022 Author of Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic within the PLDI-track
CPP 2021 Session Chair of Program Logics (part of CPP 2021)
Committee Member in Program Committee within the CPP 2021-track
DeepSpec 2019 Presenter of Connecting Separation Logic with First-Order Reasoning on Memory within the DeepSpec 2019-track
CoqPL 2019 Committee Member in Program Committee within the CoqPL-track
CPP 2019 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
DeepSpec 2018 Speaker of Specifying and Verifying Concurrent Programs with Ghost State within the DeepSpec 2018-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2017 Author of Verifying dynamic race detection within the CPP-track
SPLASH 2017 Author of A Verified Messaging System within the OOPSLA-track
PLDI 2017 Author of BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs within the PLDI Research Papers-track
PLDI 2015 Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track