Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950923141> ?p ?o ?g. }
- W2950923141 endingPage "41" @default.
- W2950923141 startingPage "1" @default.
- W2950923141 abstract "This article describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations. The language supports high-level control flows in which complex synchronization conditions can be expressed using high-level queries, especially logic quantifications, over message history sequences. Unfortunately, the programs would be extremely inefficient, including consuming unbounded memory, if executed straightforwardly. We present new optimizations that automatically transform complex synchronization conditions into incremental updates of necessary auxiliary values as messages are sent and received. The core of the optimizations is the first general method for efficient implementation of logic quantifications. We have developed an operational semantics of the language, implemented a prototype of the compiler and the optimizations, and successfully used the language and implementation on a variety of important distributed algorithms." @default.
- W2950923141 created "2019-06-27" @default.
- W2950923141 creator A5021474885 @default.
- W2950923141 creator A5050557895 @default.
- W2950923141 creator A5068274526 @default.
- W2950923141 date "2017-05-26" @default.
- W2950923141 modified "2023-10-02" @default.
- W2950923141 title "From Clarity to Efficiency for Distributed Algorithms" @default.
- W2950923141 cites W1530545191 @default.
- W2950923141 cites W1532908479 @default.
- W2950923141 cites W1596330007 @default.
- W2950923141 cites W1885684430 @default.
- W2950923141 cites W1898441578 @default.
- W2950923141 cites W1971597822 @default.
- W2950923141 cites W1974065692 @default.
- W2950923141 cites W1980939032 @default.
- W2950923141 cites W1981420413 @default.
- W2950923141 cites W1983696848 @default.
- W2950923141 cites W1991494135 @default.
- W2950923141 cites W1992808564 @default.
- W2950923141 cites W1996327385 @default.
- W2950923141 cites W2001518781 @default.
- W2950923141 cites W2006322307 @default.
- W2950923141 cites W2009681486 @default.
- W2950923141 cites W2012670464 @default.
- W2950923141 cites W2016404663 @default.
- W2950923141 cites W2020910602 @default.
- W2950923141 cites W2035829578 @default.
- W2950923141 cites W2048630395 @default.
- W2950923141 cites W2051716170 @default.
- W2950923141 cites W2061498121 @default.
- W2950923141 cites W2081453756 @default.
- W2950923141 cites W2087946700 @default.
- W2950923141 cites W2096274181 @default.
- W2950923141 cites W2107489588 @default.
- W2950923141 cites W2112104352 @default.
- W2950923141 cites W2115175274 @default.
- W2950923141 cites W2118428193 @default.
- W2950923141 cites W2119565742 @default.
- W2950923141 cites W2119738171 @default.
- W2950923141 cites W2123482462 @default.
- W2950923141 cites W2127256702 @default.
- W2950923141 cites W2128345802 @default.
- W2950923141 cites W2134593176 @default.
- W2950923141 cites W2139267958 @default.
- W2950923141 cites W2152783624 @default.
- W2950923141 cites W2153773928 @default.
- W2950923141 cites W2159514201 @default.
- W2950923141 cites W2173213060 @default.
- W2950923141 cites W219888783 @default.
- W2950923141 cites W2260928372 @default.
- W2950923141 cites W2296463846 @default.
- W2950923141 cites W3106366539 @default.
- W2950923141 cites W3137220996 @default.
- W2950923141 cites W4249823756 @default.
- W2950923141 cites W4251986490 @default.
- W2950923141 doi "https://doi.org/10.1145/2994595" @default.
- W2950923141 hasPublicationYear "2017" @default.
- W2950923141 type Work @default.
- W2950923141 sameAs 2950923141 @default.
- W2950923141 citedByCount "20" @default.
- W2950923141 countsByYear W29509231412017 @default.
- W2950923141 countsByYear W29509231412018 @default.
- W2950923141 countsByYear W29509231412019 @default.
- W2950923141 countsByYear W29509231412020 @default.
- W2950923141 countsByYear W29509231412021 @default.
- W2950923141 countsByYear W29509231412022 @default.
- W2950923141 countsByYear W29509231412023 @default.
- W2950923141 crossrefType "journal-article" @default.
- W2950923141 hasAuthorship W2950923141A5021474885 @default.
- W2950923141 hasAuthorship W2950923141A5050557895 @default.
- W2950923141 hasAuthorship W2950923141A5068274526 @default.
- W2950923141 hasBestOaLocation W29509231411 @default.
- W2950923141 hasConcept C11413529 @default.
- W2950923141 hasConcept C120314980 @default.
- W2950923141 hasConcept C127162648 @default.
- W2950923141 hasConcept C136197465 @default.
- W2950923141 hasConcept C154945302 @default.
- W2950923141 hasConcept C169590947 @default.
- W2950923141 hasConcept C173608175 @default.
- W2950923141 hasConcept C184337299 @default.
- W2950923141 hasConcept C185592680 @default.
- W2950923141 hasConcept C199360897 @default.
- W2950923141 hasConcept C26713055 @default.
- W2950923141 hasConcept C2777146004 @default.
- W2950923141 hasConcept C2778562939 @default.
- W2950923141 hasConcept C31258907 @default.
- W2950923141 hasConcept C41008148 @default.
- W2950923141 hasConcept C55493867 @default.
- W2950923141 hasConcept C80444323 @default.
- W2950923141 hasConceptScore W2950923141C11413529 @default.
- W2950923141 hasConceptScore W2950923141C120314980 @default.
- W2950923141 hasConceptScore W2950923141C127162648 @default.
- W2950923141 hasConceptScore W2950923141C136197465 @default.
- W2950923141 hasConceptScore W2950923141C154945302 @default.
- W2950923141 hasConceptScore W2950923141C169590947 @default.
- W2950923141 hasConceptScore W2950923141C173608175 @default.
- W2950923141 hasConceptScore W2950923141C184337299 @default.