Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248355514> ?p ?o ?g. }
- W4248355514 endingPage "410" @default.
- W4248355514 startingPage "395" @default.
- W4248355514 abstract "This paper 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 where 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.
- W4248355514 created "2022-05-12" @default.
- W4248355514 creator A5021474885 @default.
- W4248355514 creator A5050557895 @default.
- W4248355514 creator A5051054538 @default.
- W4248355514 creator A5068274526 @default.
- W4248355514 date "2012-10-19" @default.
- W4248355514 modified "2023-10-10" @default.
- W4248355514 title "From clarity to efficiency for distributed algorithms" @default.
- W4248355514 cites W1530545191 @default.
- W4248355514 cites W1588250959 @default.
- W4248355514 cites W1596330007 @default.
- W4248355514 cites W1885684430 @default.
- W4248355514 cites W1971597822 @default.
- W4248355514 cites W1980152580 @default.
- W4248355514 cites W1992808564 @default.
- W4248355514 cites W1994026499 @default.
- W4248355514 cites W1996327385 @default.
- W4248355514 cites W1999527722 @default.
- W4248355514 cites W2001518781 @default.
- W4248355514 cites W2006322307 @default.
- W4248355514 cites W2009681486 @default.
- W4248355514 cites W2012670464 @default.
- W4248355514 cites W2020910602 @default.
- W4248355514 cites W2034791526 @default.
- W4248355514 cites W2035829578 @default.
- W4248355514 cites W2048630395 @default.
- W4248355514 cites W2051716170 @default.
- W4248355514 cites W2061498121 @default.
- W4248355514 cites W2075854425 @default.
- W4248355514 cites W2106887953 @default.
- W4248355514 cites W2107489588 @default.
- W4248355514 cites W2112104352 @default.
- W4248355514 cites W2114579022 @default.
- W4248355514 cites W2115175274 @default.
- W4248355514 cites W2128345802 @default.
- W4248355514 cites W2134593176 @default.
- W4248355514 cites W2144884804 @default.
- W4248355514 cites W2152783624 @default.
- W4248355514 cites W2153049690 @default.
- W4248355514 cites W2153773928 @default.
- W4248355514 cites W219888783 @default.
- W4248355514 cites W3137220996 @default.
- W4248355514 cites W4251986490 @default.
- W4248355514 cites W4256363426 @default.
- W4248355514 doi "https://doi.org/10.1145/2398857.2384645" @default.
- W4248355514 hasPublicationYear "2012" @default.
- W4248355514 type Work @default.
- W4248355514 citedByCount "5" @default.
- W4248355514 countsByYear W42483555142017 @default.
- W4248355514 countsByYear W42483555142018 @default.
- W4248355514 countsByYear W42483555142019 @default.
- W4248355514 countsByYear W42483555142020 @default.
- W4248355514 countsByYear W42483555142023 @default.
- W4248355514 crossrefType "journal-article" @default.
- W4248355514 hasAuthorship W4248355514A5021474885 @default.
- W4248355514 hasAuthorship W4248355514A5050557895 @default.
- W4248355514 hasAuthorship W4248355514A5051054538 @default.
- W4248355514 hasAuthorship W4248355514A5068274526 @default.
- W4248355514 hasBestOaLocation W42483555142 @default.
- W4248355514 hasConcept C11413529 @default.
- W4248355514 hasConcept C120314980 @default.
- W4248355514 hasConcept C127162648 @default.
- W4248355514 hasConcept C136197465 @default.
- W4248355514 hasConcept C154945302 @default.
- W4248355514 hasConcept C169590947 @default.
- W4248355514 hasConcept C173608175 @default.
- W4248355514 hasConcept C184337299 @default.
- W4248355514 hasConcept C199360897 @default.
- W4248355514 hasConcept C26713055 @default.
- W4248355514 hasConcept C2778562939 @default.
- W4248355514 hasConcept C31258907 @default.
- W4248355514 hasConcept C41008148 @default.
- W4248355514 hasConcept C80444323 @default.
- W4248355514 hasConceptScore W4248355514C11413529 @default.
- W4248355514 hasConceptScore W4248355514C120314980 @default.
- W4248355514 hasConceptScore W4248355514C127162648 @default.
- W4248355514 hasConceptScore W4248355514C136197465 @default.
- W4248355514 hasConceptScore W4248355514C154945302 @default.
- W4248355514 hasConceptScore W4248355514C169590947 @default.
- W4248355514 hasConceptScore W4248355514C173608175 @default.
- W4248355514 hasConceptScore W4248355514C184337299 @default.
- W4248355514 hasConceptScore W4248355514C199360897 @default.
- W4248355514 hasConceptScore W4248355514C26713055 @default.
- W4248355514 hasConceptScore W4248355514C2778562939 @default.
- W4248355514 hasConceptScore W4248355514C31258907 @default.
- W4248355514 hasConceptScore W4248355514C41008148 @default.
- W4248355514 hasConceptScore W4248355514C80444323 @default.
- W4248355514 hasIssue "10" @default.
- W4248355514 hasLocation W42483555141 @default.
- W4248355514 hasLocation W42483555142 @default.
- W4248355514 hasLocation W42483555143 @default.
- W4248355514 hasOpenAccess W4248355514 @default.
- W4248355514 hasPrimaryLocation W42483555141 @default.
- W4248355514 hasRelatedWork W2020341030 @default.
- W4248355514 hasRelatedWork W2120447654 @default.
- W4248355514 hasRelatedWork W2128223750 @default.
- W4248355514 hasRelatedWork W2144453115 @default.