William Mansky

According to our database1, William Mansky authored at least 16 papers between 2010 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Connecting Higher-Order Separation Logic to a First-Order Outside World.
Proceedings of the Programming Languages and Systems, 2020

2019
From C to interaction trees: specifying, verifying, and testing a networked server.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018
Structural Operational Semantics for Control Flow Graph Machines.
CoRR, 2018

SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

2017
A verified messaging system.
Proc. ACM Program. Lang., 2017

BARRACUDA: binary-level analysis of runtime RAces in CUDA programs.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Verifying dynamic race detection.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016
Specifying and executing optimizations for generalized control flow graphs.
Sci. Comput. Program., 2016

2015
A formal C memory model supporting integer-pointer casts.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

An Axiomatic Specification for Sequential Memory Models.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Specifying and Executing Optimizations for Parallel Programs.
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Verifying Optimizations for Concurrent Programs.
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014

Symbolic Analysis Tools for CSP.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2012
Using Locales to Define a Rely-Guarantee Temporal Logic.
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011
Toward a multi-method approach to formalizing human-automation interaction and human-human communications.
Proceedings of the IEEE International Conference on Systems, 2011

2010
A Framework for Formal Verification of Compiler Optimizations.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010


  Loading...