From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection.

Y. Peng, C. DeLozier, A. Eizenberg, W. Mansky, и J. Devietti. IPDPS, стр. 835-844. IEEE Computer Society, (2018)

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.

Thomas Mansky

Dieter Mansky

Sebastian Mansky

Patrick Mansky

Raphaela Goldbach-Mansky

Другие публикации лиц с тем же именем

Using Locales to Define a Rely-Guarantee Temporal Logic.W. Mansky, и E. Gunter. ITP, том 7406 из Lecture Notes in Computer Science, стр. 299-314. Springer, (2012)Compositional Verification of Concurrent C Programs with Search Structure Templates.D. Nguyen, L. Beringer, W. Mansky, и S. Wang. CPP, стр. 60-74. ACM, (2024)Toward a multi-method approach to formalizing human-automation interaction and human-human communications.E. Bass, M. Bolton, K. Feigh, D. Griffith, E. Gunter, W. Mansky, и J. Rushby. SMC, стр. 1817-1824. IEEE, (2011)Specifying and verifying program transformations with PTRANSW. Mansky. University of Illinois Urbana-Champaign, USA, (2014)From C to interaction trees: specifying, verifying, and testing a networked server.N. Koh, Y. Li, Y. Li, L. yao Xia, L. Beringer, W. Honoré, W. Mansky, B. Pierce, и S. Zdancewic. CPP, стр. 234-248. ACM, (2019)An Axiomatic Specification for Sequential Memory Models.W. Mansky, D. Garbuzov, и S. Zdancewic. CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 413-428. Springer, (2015)An Iris Instance for Verifying CompCert C Programs.W. Mansky, и K. Du. Proc. ACM Program. Lang., 8 (POPL): 148-174 (января 2024)Verifying an HTTP Key-Value Server with Interaction Trees and VST.H. Zhang, W. Honoré, N. Koh, Y. Li, Y. Li, L. yao Xia, L. Beringer, W. Mansky, B. Pierce, и S. Zdancewic. ITP, том 193 из LIPIcs, стр. 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)BARRACUDA: binary-level analysis of runtime RAces in CUDA programs.A. Eizenberg, Y. Peng, T. Pigli, W. Mansky, и J. Devietti. PLDI, стр. 126-140. ACM, (2017)Symbolic Analysis Tools for CSP.L. Li, E. Gunter, и W. Mansky. ICTAC, том 8687 из Lecture Notes in Computer Science, стр. 295-313. Springer, (2014)

BibSonomy

Disambiguation