William Mansky -

Registered user since Mon 8 Jun 2015

Name:William Mansky

Country:United States

Affiliation:University of Illinois Chicago

Personal website:https://www.cs.uic.edu/~mansky/

GitHub:https://github.com/mansky1

Research interests:program verification, concurrency, theorem proving, language semantics

Contributions

POPL 2024	Committee Member in Program Committee within the POPL-track
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
POPL 2019	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2019	Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
CoqPL 2019	Committee Member in Program Committee within the CoqPL-track
DeepSpec 2018	Speaker of Specifying and Verifying Concurrent Programs with Ghost State within the DeepSpec 2018-track
POPL 2018	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-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
CPP 2017	Author of Verifying dynamic race detection within the CPP-track
PLDI 2015	Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track