According to our database1, William Mansky authored at least 16 papers between 2010 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Programming Languages and Systems, 2020
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
Sci. Comput. Program., 2016
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012
Toward a multi-method approach to formalizing human-automation interaction and human-human communications.
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the Interactive Theorem Proving, First International Conference, 2010