Detecting semantic violations of lock-free data structures through C++ contracts View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2019-03-26

AUTHORS

Javier López-Gómez, David del Rio Astorga, Manuel F. Dolz, Javier Fernández, J. Daniel García

ABSTRACT

The use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications to avoid potential failures, such as data races or deadlocks, can be challenging. Race detectors are key to spot such concurrency bugs; nevertheless, if lock-free data structures are used, these may emit a significant number of false positives. In this paper, we present a framework for semantic violation detection of lock-free data structures which makes use of contracts, a novel feature of the upcoming C++20, and a customized version of the ThreadSanitizer race detector. We evaluate the detection accuracy of the framework in terms of false positives and false negatives leveraging some synthetic benchmarks which make use of the SPSC and MPMC lock-free queue structures from the Boost C++ library. Thanks to this framework, we are able to check the correct use of lock-free data structures, thus reducing the number of false positives. More... »

PAGES

1-22

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s11227-019-02827-4

DOI

http://dx.doi.org/10.1007/s11227-019-02827-4

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1113004160


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Carlos III University of Madrid", 
          "id": "https://www.grid.ac/institutes/grid.7840.b", 
          "name": [
            "Department of Computer Science, Universidad Carlos III de Madrid, 28911, Legan\u00e9s, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "L\u00f3pez-G\u00f3mez", 
        "givenName": "Javier", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carlos III University of Madrid", 
          "id": "https://www.grid.ac/institutes/grid.7840.b", 
          "name": [
            "Department of Computer Science, Universidad Carlos III de Madrid, 28911, Legan\u00e9s, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "del Rio Astorga", 
        "givenName": "David", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Jaume I University", 
          "id": "https://www.grid.ac/institutes/grid.9612.c", 
          "name": [
            "Department of Engineering and Computer Science, Universitat Jaume I de Castell\u00f3, 12071, Castell\u00f3n, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Dolz", 
        "givenName": "Manuel F.", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carlos III University of Madrid", 
          "id": "https://www.grid.ac/institutes/grid.7840.b", 
          "name": [
            "Department of Computer Science, Universidad Carlos III de Madrid, 28911, Legan\u00e9s, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fern\u00e1ndez", 
        "givenName": "Javier", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carlos III University of Madrid", 
          "id": "https://www.grid.ac/institutes/grid.7840.b", 
          "name": [
            "Department of Computer Science, Universidad Carlos III de Madrid, 28911, Legan\u00e9s, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Garc\u00eda", 
        "givenName": "J. Daniel", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/1346281.1346323", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008105384"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1147954.1147958", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011321685"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1345206.1345215", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018002362"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2806886", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018056038"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/265924.265927", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019553028"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/359545.359563", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021135683"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11901433_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023208805", 
          "https://doi.org/10.1007/11901433_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11901433_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023208805", 
          "https://doi.org/10.1007/11901433_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/248052.248106", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030439748"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/stvr.281", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1031471574"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/582419.582440", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035446578"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-29860-8_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1045457577", 
          "https://doi.org/10.1007/978-3-642-29860-8_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tc.1979.1675439", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061532316"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1165389.945468", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063152566"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2544173.2509514", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063163326"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/966049.781528", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063175641"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/cpe.4114", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085050488"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/3093333.3009857", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085484048"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/3155284.3018749", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1092431003"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cgo.2004.1281665", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093750651"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/ipdps.2014.54", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093959012"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/vdat.2010.5496640", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094769208"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/hpca.2007.346191", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094913931"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/pact.2015.24", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095382215"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cgo.2011.5764688", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095486215"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/3158105", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1100102188"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2019-03-26", 
    "datePublishedReg": "2019-03-26", 
    "description": "The use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications to avoid potential failures, such as data races or deadlocks, can be challenging. Race detectors are key to spot such concurrency bugs; nevertheless, if lock-free data structures are used, these may emit a significant number of false positives. In this paper, we present a framework for semantic violation detection of lock-free data structures which makes use of contracts, a novel feature of the upcoming C++20, and a customized version of the ThreadSanitizer race detector. We evaluate the detection accuracy of the framework in terms of false positives and false negatives leveraging some synthetic benchmarks which make use of the SPSC and MPMC lock-free queue structures from the Boost C++ library. Thanks to this framework, we are able to check the correct use of lock-free data structures, thus reducing the number of false positives.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s11227-019-02827-4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.7570770", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": [
      {
        "id": "sg:journal.1133522", 
        "issn": [
          "0920-8542", 
          "1573-0484"
        ], 
        "name": "The Journal of Supercomputing", 
        "type": "Periodical"
      }
    ], 
    "name": "Detecting semantic violations of lock-free data structures through C++ contracts", 
    "pagination": "1-22", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "180246bfd92d0efe7dbae381e703385cfa570d89c69e0c18e13ec7e792b39ad1"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s11227-019-02827-4"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1113004160"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s11227-019-02827-4", 
      "https://app.dimensions.ai/details/publication/pub.1113004160"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T13:07", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000367_0000000367/records_88221_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs11227-019-02827-4"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s11227-019-02827-4'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s11227-019-02827-4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11227-019-02827-4'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11227-019-02827-4'


 

This table displays all metadata directly associated to this object as RDF triples.

160 TRIPLES      21 PREDICATES      49 URIs      16 LITERALS      5 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s11227-019-02827-4 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N19ab1e45813c4e8cb2135bb7a48635e3
4 schema:citation sg:pub.10.1007/11901433_16
5 sg:pub.10.1007/978-3-642-29860-8_9
6 https://doi.org/10.1002/cpe.4114
7 https://doi.org/10.1002/stvr.281
8 https://doi.org/10.1109/cgo.2004.1281665
9 https://doi.org/10.1109/cgo.2011.5764688
10 https://doi.org/10.1109/hpca.2007.346191
11 https://doi.org/10.1109/ipdps.2014.54
12 https://doi.org/10.1109/pact.2015.24
13 https://doi.org/10.1109/tc.1979.1675439
14 https://doi.org/10.1109/vdat.2010.5496640
15 https://doi.org/10.1145/1147954.1147958
16 https://doi.org/10.1145/1165389.945468
17 https://doi.org/10.1145/1345206.1345215
18 https://doi.org/10.1145/1346281.1346323
19 https://doi.org/10.1145/248052.248106
20 https://doi.org/10.1145/2544173.2509514
21 https://doi.org/10.1145/265924.265927
22 https://doi.org/10.1145/2806886
23 https://doi.org/10.1145/3093333.3009857
24 https://doi.org/10.1145/3155284.3018749
25 https://doi.org/10.1145/3158105
26 https://doi.org/10.1145/359545.359563
27 https://doi.org/10.1145/582419.582440
28 https://doi.org/10.1145/966049.781528
29 schema:datePublished 2019-03-26
30 schema:datePublishedReg 2019-03-26
31 schema:description The use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications to avoid potential failures, such as data races or deadlocks, can be challenging. Race detectors are key to spot such concurrency bugs; nevertheless, if lock-free data structures are used, these may emit a significant number of false positives. In this paper, we present a framework for semantic violation detection of lock-free data structures which makes use of contracts, a novel feature of the upcoming C++20, and a customized version of the ThreadSanitizer race detector. We evaluate the detection accuracy of the framework in terms of false positives and false negatives leveraging some synthetic benchmarks which make use of the SPSC and MPMC lock-free queue structures from the Boost C++ library. Thanks to this framework, we are able to check the correct use of lock-free data structures, thus reducing the number of false positives.
32 schema:genre research_article
33 schema:inLanguage en
34 schema:isAccessibleForFree false
35 schema:isPartOf sg:journal.1133522
36 schema:name Detecting semantic violations of lock-free data structures through C++ contracts
37 schema:pagination 1-22
38 schema:productId N359c03e7787a4b5a9f8bcc7e7e76650a
39 N58aa6812d5b04bd1a6155bfe59c247d9
40 N68857bde79ee4cf29182474bb2b72fd7
41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1113004160
42 https://doi.org/10.1007/s11227-019-02827-4
43 schema:sdDatePublished 2019-04-11T13:07
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher Na3cb9c577fe646dcab8b6d5661e72c7a
46 schema:url https://link.springer.com/10.1007%2Fs11227-019-02827-4
47 sgo:license sg:explorer/license/
48 sgo:sdDataset articles
49 rdf:type schema:ScholarlyArticle
50 N04cd091bce4b42c19035177140591867 rdf:first Nc3b4a87cb1644a53bf99598641b3f3c0
51 rdf:rest Nf4b0ba2e9ae34ce9acb6ea566ace23c0
52 N0e1c494ea5674e528066c040ea1c15d1 rdf:first N7dcba33a591746f885aa0da10712dc43
53 rdf:rest rdf:nil
54 N19ab1e45813c4e8cb2135bb7a48635e3 rdf:first Na46c242fa8ca4dce84f9b0991a25bda3
55 rdf:rest N8a610661336648c58b3174653469bd29
56 N359c03e7787a4b5a9f8bcc7e7e76650a schema:name doi
57 schema:value 10.1007/s11227-019-02827-4
58 rdf:type schema:PropertyValue
59 N3fffbe34fdeb4f03845b2468a511e7c6 schema:affiliation https://www.grid.ac/institutes/grid.7840.b
60 schema:familyName Fernández
61 schema:givenName Javier
62 rdf:type schema:Person
63 N58aa6812d5b04bd1a6155bfe59c247d9 schema:name readcube_id
64 schema:value 180246bfd92d0efe7dbae381e703385cfa570d89c69e0c18e13ec7e792b39ad1
65 rdf:type schema:PropertyValue
66 N67014801bd7340ceaed2a5a89e48d943 schema:affiliation https://www.grid.ac/institutes/grid.7840.b
67 schema:familyName del Rio Astorga
68 schema:givenName David
69 rdf:type schema:Person
70 N68857bde79ee4cf29182474bb2b72fd7 schema:name dimensions_id
71 schema:value pub.1113004160
72 rdf:type schema:PropertyValue
73 N7dcba33a591746f885aa0da10712dc43 schema:affiliation https://www.grid.ac/institutes/grid.7840.b
74 schema:familyName García
75 schema:givenName J. Daniel
76 rdf:type schema:Person
77 N8a610661336648c58b3174653469bd29 rdf:first N67014801bd7340ceaed2a5a89e48d943
78 rdf:rest N04cd091bce4b42c19035177140591867
79 Na3cb9c577fe646dcab8b6d5661e72c7a schema:name Springer Nature - SN SciGraph project
80 rdf:type schema:Organization
81 Na46c242fa8ca4dce84f9b0991a25bda3 schema:affiliation https://www.grid.ac/institutes/grid.7840.b
82 schema:familyName López-Gómez
83 schema:givenName Javier
84 rdf:type schema:Person
85 Nc3b4a87cb1644a53bf99598641b3f3c0 schema:affiliation https://www.grid.ac/institutes/grid.9612.c
86 schema:familyName Dolz
87 schema:givenName Manuel F.
88 rdf:type schema:Person
89 Nf4b0ba2e9ae34ce9acb6ea566ace23c0 rdf:first N3fffbe34fdeb4f03845b2468a511e7c6
90 rdf:rest N0e1c494ea5674e528066c040ea1c15d1
91 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
92 schema:name Information and Computing Sciences
93 rdf:type schema:DefinedTerm
94 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
95 schema:name Information Systems
96 rdf:type schema:DefinedTerm
97 sg:grant.7570770 http://pending.schema.org/fundedItem sg:pub.10.1007/s11227-019-02827-4
98 rdf:type schema:MonetaryGrant
99 sg:journal.1133522 schema:issn 0920-8542
100 1573-0484
101 schema:name The Journal of Supercomputing
102 rdf:type schema:Periodical
103 sg:pub.10.1007/11901433_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023208805
104 https://doi.org/10.1007/11901433_16
105 rdf:type schema:CreativeWork
106 sg:pub.10.1007/978-3-642-29860-8_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045457577
107 https://doi.org/10.1007/978-3-642-29860-8_9
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1002/cpe.4114 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085050488
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1002/stvr.281 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031471574
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1109/cgo.2004.1281665 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093750651
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1109/cgo.2011.5764688 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095486215
116 rdf:type schema:CreativeWork
117 https://doi.org/10.1109/hpca.2007.346191 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094913931
118 rdf:type schema:CreativeWork
119 https://doi.org/10.1109/ipdps.2014.54 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093959012
120 rdf:type schema:CreativeWork
121 https://doi.org/10.1109/pact.2015.24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095382215
122 rdf:type schema:CreativeWork
123 https://doi.org/10.1109/tc.1979.1675439 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061532316
124 rdf:type schema:CreativeWork
125 https://doi.org/10.1109/vdat.2010.5496640 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094769208
126 rdf:type schema:CreativeWork
127 https://doi.org/10.1145/1147954.1147958 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011321685
128 rdf:type schema:CreativeWork
129 https://doi.org/10.1145/1165389.945468 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063152566
130 rdf:type schema:CreativeWork
131 https://doi.org/10.1145/1345206.1345215 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018002362
132 rdf:type schema:CreativeWork
133 https://doi.org/10.1145/1346281.1346323 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008105384
134 rdf:type schema:CreativeWork
135 https://doi.org/10.1145/248052.248106 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030439748
136 rdf:type schema:CreativeWork
137 https://doi.org/10.1145/2544173.2509514 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063163326
138 rdf:type schema:CreativeWork
139 https://doi.org/10.1145/265924.265927 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019553028
140 rdf:type schema:CreativeWork
141 https://doi.org/10.1145/2806886 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018056038
142 rdf:type schema:CreativeWork
143 https://doi.org/10.1145/3093333.3009857 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085484048
144 rdf:type schema:CreativeWork
145 https://doi.org/10.1145/3155284.3018749 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092431003
146 rdf:type schema:CreativeWork
147 https://doi.org/10.1145/3158105 schema:sameAs https://app.dimensions.ai/details/publication/pub.1100102188
148 rdf:type schema:CreativeWork
149 https://doi.org/10.1145/359545.359563 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021135683
150 rdf:type schema:CreativeWork
151 https://doi.org/10.1145/582419.582440 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035446578
152 rdf:type schema:CreativeWork
153 https://doi.org/10.1145/966049.781528 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063175641
154 rdf:type schema:CreativeWork
155 https://www.grid.ac/institutes/grid.7840.b schema:alternateName Carlos III University of Madrid
156 schema:name Department of Computer Science, Universidad Carlos III de Madrid, 28911, Leganés, Spain
157 rdf:type schema:Organization
158 https://www.grid.ac/institutes/grid.9612.c schema:alternateName Jaume I University
159 schema:name Department of Engineering and Computer Science, Universitat Jaume I de Castelló, 12071, Castellón, Spain
160 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...