Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244168173> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4244168173 endingPage "368" @default.
- W4244168173 startingPage "355" @default.
- W4244168173 abstract "Many applications require specialized data structures not found in the standard libraries, but implementing new data structures by hand is tedious and error-prone. This paper presents a novel approach for synthesizing efficient implementations of complex collection data structures from high-level specifications that describe the desired retrieval operations. Our approach handles a wider range of data structures than previous work, including structures that maintain an order among their elements or have complex retrieval methods. We have prototyped our approach in a data structure synthesizer called Cozy. Four large, real-world case studies compare structures generated by Cozy against handwritten implementations in terms of correctness and performance. Structures synthesized by Cozy match the performance of handwritten data structures while avoiding human error." @default.
- W4244168173 created "2022-05-12" @default.
- W4244168173 creator A5009835433 @default.
- W4244168173 creator A5032068969 @default.
- W4244168173 creator A5088791029 @default.
- W4244168173 date "2016-06-02" @default.
- W4244168173 modified "2023-10-17" @default.
- W4244168173 title "Fast synthesis of fast collections" @default.
- W4244168173 cites W1992808564 @default.
- W4244168173 cites W2006875594 @default.
- W4244168173 cites W2074489032 @default.
- W4244168173 cites W2079049331 @default.
- W4244168173 cites W2093535699 @default.
- W4244168173 cites W2098575846 @default.
- W4244168173 cites W2102126498 @default.
- W4244168173 cites W2109115793 @default.
- W4244168173 cites W2109647823 @default.
- W4244168173 cites W2118155805 @default.
- W4244168173 cites W2123837265 @default.
- W4244168173 cites W2135275954 @default.
- W4244168173 cites W2159933174 @default.
- W4244168173 cites W2160985005 @default.
- W4244168173 cites W2161159055 @default.
- W4244168173 cites W2294286398 @default.
- W4244168173 cites W3008793775 @default.
- W4244168173 cites W4214807841 @default.
- W4244168173 cites W4243002045 @default.
- W4244168173 cites W4245650972 @default.
- W4244168173 cites W4253606798 @default.
- W4244168173 doi "https://doi.org/10.1145/2980983.2908122" @default.
- W4244168173 hasPublicationYear "2016" @default.
- W4244168173 type Work @default.
- W4244168173 citedByCount "3" @default.
- W4244168173 countsByYear W42441681732019 @default.
- W4244168173 countsByYear W42441681732020 @default.
- W4244168173 crossrefType "journal-article" @default.
- W4244168173 hasAuthorship W4244168173A5009835433 @default.
- W4244168173 hasAuthorship W4244168173A5032068969 @default.
- W4244168173 hasAuthorship W4244168173A5088791029 @default.
- W4244168173 hasBestOaLocation W42441681731 @default.
- W4244168173 hasConcept C159985019 @default.
- W4244168173 hasConcept C162319229 @default.
- W4244168173 hasConcept C192562407 @default.
- W4244168173 hasConcept C199360897 @default.
- W4244168173 hasConcept C204323151 @default.
- W4244168173 hasConcept C26713055 @default.
- W4244168173 hasConcept C41008148 @default.
- W4244168173 hasConcept C55439883 @default.
- W4244168173 hasConceptScore W4244168173C159985019 @default.
- W4244168173 hasConceptScore W4244168173C162319229 @default.
- W4244168173 hasConceptScore W4244168173C192562407 @default.
- W4244168173 hasConceptScore W4244168173C199360897 @default.
- W4244168173 hasConceptScore W4244168173C204323151 @default.
- W4244168173 hasConceptScore W4244168173C26713055 @default.
- W4244168173 hasConceptScore W4244168173C41008148 @default.
- W4244168173 hasConceptScore W4244168173C55439883 @default.
- W4244168173 hasFunder F4320332180 @default.
- W4244168173 hasIssue "6" @default.
- W4244168173 hasLocation W42441681731 @default.
- W4244168173 hasOpenAccess W4244168173 @default.
- W4244168173 hasPrimaryLocation W42441681731 @default.
- W4244168173 hasRelatedWork W1504172378 @default.
- W4244168173 hasRelatedWork W1522809628 @default.
- W4244168173 hasRelatedWork W1548537923 @default.
- W4244168173 hasRelatedWork W1559718699 @default.
- W4244168173 hasRelatedWork W1984757784 @default.
- W4244168173 hasRelatedWork W217725636 @default.
- W4244168173 hasRelatedWork W3206116316 @default.
- W4244168173 hasRelatedWork W4233387348 @default.
- W4244168173 hasRelatedWork W1512920071 @default.
- W4244168173 hasRelatedWork W2496205912 @default.
- W4244168173 hasVolume "51" @default.
- W4244168173 isParatext "false" @default.
- W4244168173 isRetracted "false" @default.
- W4244168173 workType "article" @default.