FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114823082> ?p ?o ?g. }

• W2114823082 abstract "Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against data races and interleaving-dependent assertion violations. Previous work has only addressed these challenges in isolation, by either designing a new declarative language, a new data race detection tool or a new testing technique. We present P#, a language for high-reliability asynchronous programming co-designed with a static data race analysis and systematic concurrency testing infrastructure. We describe our experience using P# to write several distributed protocols and port an industrial-scale system internal to Microsoft, showing that the combined techniques, by leveraging the design of P#, are effective in finding bugs." @default.
• W2114823082 created "2016-06-24" @default.
• W2114823082 creator A5012771721 @default.
• W2114823082 creator A5017019571 @default.
• W2114823082 creator A5029930688 @default.
• W2114823082 creator A5051658580 @default.
• W2114823082 creator A5080781439 @default.
• W2114823082 date "2015-06-03" @default.
• W2114823082 modified "2023-10-17" @default.
• W2114823082 title "Asynchronous programming, analysis and testing with state machines" @default.
• W2114823082 cites W1493542872 @default.
• W2114823082 cites W1566086941 @default.
• W2114823082 cites W1871201330 @default.
• W2114823082 cites W1972433423 @default.
• W2114823082 cites W1990138733 @default.
• W2114823082 cites W1993662467 @default.
• W2114823082 cites W2065675749 @default.
• W2114823082 cites W2075854425 @default.
• W2114823082 cites W2080661536 @default.
• W2114823082 cites W2106887953 @default.
• W2114823082 cites W2110059387 @default.
• W2114823082 cites W2140112995 @default.
• W2114823082 cites W2143149536 @default.
• W2114823082 cites W2145098440 @default.
• W2114823082 cites W2158049821 @default.
• W2114823082 cites W4230480080 @default.
• W2114823082 cites W4230609379 @default.
• W2114823082 cites W4254906220 @default.
• W2114823082 cites W51942069 @default.
• W2114823082 doi "https://doi.org/10.1145/2737924.2737996" @default.
• W2114823082 hasPublicationYear "2015" @default.
• W2114823082 type Work @default.
• W2114823082 sameAs 2114823082 @default.
• W2114823082 citedByCount "25" @default.
• W2114823082 countsByYear W21148230822016 @default.
• W2114823082 countsByYear W21148230822017 @default.
• W2114823082 countsByYear W21148230822018 @default.
• W2114823082 countsByYear W21148230822019 @default.
• W2114823082 countsByYear W21148230822020 @default.
• W2114823082 countsByYear W21148230822021 @default.
• W2114823082 countsByYear W21148230822023 @default.
• W2114823082 crossrefType "proceedings-article" @default.
• W2114823082 hasAuthorship W2114823082A5012771721 @default.
• W2114823082 hasAuthorship W2114823082A5017019571 @default.
• W2114823082 hasAuthorship W2114823082A5029930688 @default.
• W2114823082 hasAuthorship W2114823082A5051658580 @default.
• W2114823082 hasAuthorship W2114823082A5080781439 @default.
• W2114823082 hasBestOaLocation W21148230822 @default.
• W2114823082 hasConcept C111919701 @default.
• W2114823082 hasConcept C115903868 @default.
• W2114823082 hasConcept C120314980 @default.
• W2114823082 hasConcept C151319957 @default.
• W2114823082 hasConcept C162443782 @default.
• W2114823082 hasConcept C168065819 @default.
• W2114823082 hasConcept C186846655 @default.
• W2114823082 hasConcept C193702766 @default.
• W2114823082 hasConcept C199360897 @default.
• W2114823082 hasConcept C2775941552 @default.
• W2114823082 hasConcept C2777904410 @default.
• W2114823082 hasConcept C28034677 @default.
• W2114823082 hasConcept C31258907 @default.
• W2114823082 hasConcept C40422974 @default.
• W2114823082 hasConcept C41008148 @default.
• W2114823082 hasConcept C529173508 @default.
• W2114823082 hasConcept C86803240 @default.
• W2114823082 hasConcept C89423630 @default.
• W2114823082 hasConcept C97686452 @default.
• W2114823082 hasConceptScore W2114823082C111919701 @default.
• W2114823082 hasConceptScore W2114823082C115903868 @default.
• W2114823082 hasConceptScore W2114823082C120314980 @default.
• W2114823082 hasConceptScore W2114823082C151319957 @default.
• W2114823082 hasConceptScore W2114823082C162443782 @default.
• W2114823082 hasConceptScore W2114823082C168065819 @default.
• W2114823082 hasConceptScore W2114823082C186846655 @default.
• W2114823082 hasConceptScore W2114823082C193702766 @default.
• W2114823082 hasConceptScore W2114823082C199360897 @default.
• W2114823082 hasConceptScore W2114823082C2775941552 @default.
• W2114823082 hasConceptScore W2114823082C2777904410 @default.
• W2114823082 hasConceptScore W2114823082C28034677 @default.
• W2114823082 hasConceptScore W2114823082C31258907 @default.
• W2114823082 hasConceptScore W2114823082C40422974 @default.
• W2114823082 hasConceptScore W2114823082C41008148 @default.
• W2114823082 hasConceptScore W2114823082C529173508 @default.
• W2114823082 hasConceptScore W2114823082C86803240 @default.
• W2114823082 hasConceptScore W2114823082C89423630 @default.
• W2114823082 hasConceptScore W2114823082C97686452 @default.
• W2114823082 hasLocation W21148230821 @default.
• W2114823082 hasLocation W21148230822 @default.
• W2114823082 hasOpenAccess W2114823082 @default.
• W2114823082 hasPrimaryLocation W21148230821 @default.
• W2114823082 hasRelatedWork W1498982577 @default.
• W2114823082 hasRelatedWork W1587224678 @default.
• W2114823082 hasRelatedWork W1601811574 @default.
• W2114823082 hasRelatedWork W1987935534 @default.
• W2114823082 hasRelatedWork W2077873852 @default.
• W2114823082 hasRelatedWork W2099818851 @default.
• W2114823082 hasRelatedWork W2105844064 @default.
• W2114823082 hasRelatedWork W2328785738 @default.
• W2114823082 hasRelatedWork W2962982540 @default.
• W2114823082 hasRelatedWork W4297533524 @default.

• next