PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mansky, William"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying dynamic race detection.

, , , and . CPP, page 151-163. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Mansky, William
add a person with the name Mansky, William
 

Other publications of authors with the same name

From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , and . CPP, page 234-248. ACM, (2019)Toward a multi-method approach to formalizing human-automation interaction and human-human communications., , , , , , and . SMC, page 1817-1824. IEEE, (2011)Specifying and executing optimizations for generalized control flow graphs., , , and . Sci. Comput. Program., (2016)Using Locales to Define a Rely-Guarantee Temporal Logic., and . ITP, volume 7406 of Lecture Notes in Computer Science, page 299-314. Springer, (2012)Specifying and Executing Optimizations for Parallel Programs., , and . GRAPHITE, volume 159 of EPTCS, page 58-70. (2014)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , and . CoRR, (2018)SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection., , , , and . IPDPS, page 835-844. IEEE Computer Society, (2018)Verifying Optimizations for Concurrent Programs., and . WPTE@RTA/TLCA, volume 40 of OASIcs, page 15-26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Structural Operational Semantics for Control Flow Graph Machines., , , and . CoRR, (2018)Verifying dynamic race detection., , , and . CPP, page 151-163. ACM, (2017)