Author of the publication

Verifying Concurrent Programs against Sequential Specifications.

, , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 290-309. Springer, (2013)

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.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , and . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, page 10. New York, Association for Computing Machinery, (2022)
 

Other publications of authors with the same name

SMACK software verification toolchain., , , , and . ICSE (Companion Volume), page 589-592. ACM, (2016)Verifying Concurrent Programs against Sequential Specifications., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 290-309. Springer, (2013)On Reducing Linearizability to State Reachability., , , and . ICALP (2), volume 9135 of Lecture Notes in Computer Science, page 95-107. Springer, (2015)Lock allocation., , , and . POPL, page 291-296. ACM, (2007)Analysis of recursively parallel programs., and . POPL, page 203-214. ACM, (2012)Bounded Phase Analysis of Message-Passing Programs., and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 451-465. Springer, (2012)Assembling an expressive facial animation system., , and . Sandbox@SIGGRAPH, page 21-26. ACM, (2007)Exposing Non-Atomic Methods of Concurrent Objects., and . CoRR, (2017)SMACK: Decoupling Source Language Details from Verifier Implementations., and . CAV, volume 8559 of Lecture Notes in Computer Science, page 106-113. Springer, (2014)Detecting Fair Non-termination in Multithreaded Programs., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 210-226. Springer, (2012)