Matches in SemOpenAlex for { <https://semopenalex.org/work/W52405907> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W52405907 endingPage "365" @default.
- W52405907 startingPage "350" @default.
- W52405907 abstract "Hadoop MapReduce is a framework for distributed computation on key-value pairs. The goal of this research is to verify actual running code of MapReduce applications. We first constructed an abstract model of MapReduce computation with the proof assistant Coq. In the model, mappers and reducers in MapReduce computation are modeled as functions in Coq, and a specification of a MapReduce application is expressed in terms of invariants among functions involving its mapper and reducer. The model also provides modular proofs of lemmas that do not depend on applications. To achieve the goal, we investigated the feasibility of two approaches. In one approach, we transformed verified mapper and reducer functions into Haskell programs and executed them under Hadoop Streaming. In the other approach, we verified JML annotations on Java programs of the mapper and reducer using Krakatoa, translated them into Coq axioms, and proved Coq specifications from them. In either approach, we were able to verify correctness of MapReduce applications that actually run on the Hadoop MapReduce framework." @default.
- W52405907 created "2016-06-24" @default.
- W52405907 creator A5054295591 @default.
- W52405907 creator A5057841233 @default.
- W52405907 creator A5069294461 @default.
- W52405907 creator A5074828817 @default.
- W52405907 creator A5079093967 @default.
- W52405907 date "2011-01-01" @default.
- W52405907 modified "2023-10-18" @default.
- W52405907 title "Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications" @default.
- W52405907 cites W1272897 @default.
- W52405907 cites W1480909796 @default.
- W52405907 cites W1553511155 @default.
- W52405907 cites W1967838552 @default.
- W52405907 cites W1996228525 @default.
- W52405907 cites W2055477538 @default.
- W52405907 cites W2139555094 @default.
- W52405907 cites W2173213060 @default.
- W52405907 cites W4211012425 @default.
- W52405907 doi "https://doi.org/10.1007/978-3-642-24690-6_24" @default.
- W52405907 hasPublicationYear "2011" @default.
- W52405907 type Work @default.
- W52405907 sameAs 52405907 @default.
- W52405907 citedByCount "20" @default.
- W52405907 countsByYear W524059072012 @default.
- W52405907 countsByYear W524059072013 @default.
- W52405907 countsByYear W524059072014 @default.
- W52405907 countsByYear W524059072015 @default.
- W52405907 countsByYear W524059072016 @default.
- W52405907 countsByYear W524059072017 @default.
- W52405907 countsByYear W524059072018 @default.
- W52405907 countsByYear W524059072019 @default.
- W52405907 countsByYear W524059072020 @default.
- W52405907 countsByYear W524059072021 @default.
- W52405907 countsByYear W524059072022 @default.
- W52405907 countsByYear W524059072023 @default.
- W52405907 crossrefType "book-chapter" @default.
- W52405907 hasAuthorship W52405907A5054295591 @default.
- W52405907 hasAuthorship W52405907A5057841233 @default.
- W52405907 hasAuthorship W52405907A5069294461 @default.
- W52405907 hasAuthorship W52405907A5074828817 @default.
- W52405907 hasAuthorship W52405907A5079093967 @default.
- W52405907 hasConcept C101468663 @default.
- W52405907 hasConcept C108710211 @default.
- W52405907 hasConcept C127413603 @default.
- W52405907 hasConcept C147176958 @default.
- W52405907 hasConcept C173608175 @default.
- W52405907 hasConcept C199360897 @default.
- W52405907 hasConcept C203265346 @default.
- W52405907 hasConcept C2524010 @default.
- W52405907 hasConcept C2776985865 @default.
- W52405907 hasConcept C2780624054 @default.
- W52405907 hasConcept C33923547 @default.
- W52405907 hasConcept C41008148 @default.
- W52405907 hasConcept C42383842 @default.
- W52405907 hasConcept C45374587 @default.
- W52405907 hasConcept C548217200 @default.
- W52405907 hasConcept C55439883 @default.
- W52405907 hasConceptScore W52405907C101468663 @default.
- W52405907 hasConceptScore W52405907C108710211 @default.
- W52405907 hasConceptScore W52405907C127413603 @default.
- W52405907 hasConceptScore W52405907C147176958 @default.
- W52405907 hasConceptScore W52405907C173608175 @default.
- W52405907 hasConceptScore W52405907C199360897 @default.
- W52405907 hasConceptScore W52405907C203265346 @default.
- W52405907 hasConceptScore W52405907C2524010 @default.
- W52405907 hasConceptScore W52405907C2776985865 @default.
- W52405907 hasConceptScore W52405907C2780624054 @default.
- W52405907 hasConceptScore W52405907C33923547 @default.
- W52405907 hasConceptScore W52405907C41008148 @default.
- W52405907 hasConceptScore W52405907C42383842 @default.
- W52405907 hasConceptScore W52405907C45374587 @default.
- W52405907 hasConceptScore W52405907C548217200 @default.
- W52405907 hasConceptScore W52405907C55439883 @default.
- W52405907 hasLocation W524059071 @default.
- W52405907 hasOpenAccess W52405907 @default.
- W52405907 hasPrimaryLocation W524059071 @default.
- W52405907 hasRelatedWork W1567780099 @default.
- W52405907 hasRelatedWork W1587224678 @default.
- W52405907 hasRelatedWork W1601811574 @default.
- W52405907 hasRelatedWork W1967226206 @default.
- W52405907 hasRelatedWork W1986663586 @default.
- W52405907 hasRelatedWork W2097171662 @default.
- W52405907 hasRelatedWork W2129335813 @default.
- W52405907 hasRelatedWork W2192862863 @default.
- W52405907 hasRelatedWork W3103850025 @default.
- W52405907 hasRelatedWork W2482620160 @default.
- W52405907 isParatext "false" @default.
- W52405907 isRetracted "false" @default.
- W52405907 magId "52405907" @default.
- W52405907 workType "book-chapter" @default.