Optimal dynamic partial order reduction

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 2014

Pages: 373-384

Article

DOI: 10.1145/2535838.2535845

SO-VID: 9ca5de6d-8df2-4a75-bff4-00a6fabe655f

Conference name: the 41st ACM SIGPLAN-SIGACT Symposium

Conference acronym: POPL '14

Conference number: 41

Conference location: San Diego, California, USA

Conference date: February 22, 2014 - February 24, 2014

Conference sponsor: SIGPLAN, ACM Special Interest Group on Programming Languages

Conference sponsor: SIGACT, ACM Special Interest Group on Algorithms and Computation Theory

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.