{"id":"https://openalex.org/W2022865143","doi":"https://doi.org/10.1145/1859127.1859141","title":"Manimal","display_name":"Manimal","publication_year":2010,"publication_date":"2010-06-06","ids":{"openalex":"https://openalex.org/W2022865143","doi":"https://doi.org/10.1145/1859127.1859141","mag":"2022865143"},"language":"en","primary_location":{"id":"doi:10.1145/1859127.1859141","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1859127.1859141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procceedings of the 13th International Workshop on the Web and Databases","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039133265","display_name":"Michael Cafarella","orcid":"https://orcid.org/0000-0001-6122-0590"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael J. Cafarella","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103852640","display_name":"Christopher R\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher R\u00e9","raw_affiliation_strings":["University of Wisconsin, Madison, WI","University of Wisconsin - Madison WI#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison, WI","institution_ids":["https://openalex.org/I135310074"]},{"raw_affiliation_string":"University of Wisconsin - Madison WI#TAB#","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":21.4088,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.99190258,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12761","display_name":"Data Stream Mining Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8940721750259399},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.741102397441864},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6773116588592529},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5406498312950134},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.5054640769958496},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.502007007598877},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.48100408911705017},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.431957870721817},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.41654422879219055},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34456729888916016},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.11678650975227356},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11043345928192139},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10209906101226807}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8940721750259399},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.741102397441864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6773116588592529},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5406498312950134},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.5054640769958496},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.502007007598877},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.48100408911705017},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.431957870721817},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.41654422879219055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34456729888916016},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.11678650975227356},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11043345928192139},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10209906101226807},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1859127.1859141","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1859127.1859141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procceedings of the 13th International Workshop on the Web and Databases","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5071798412","display_name":null,"funder_award_id":"CRI-0707437","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"}],"funders":[{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W182911965","https://openalex.org/W1491178396","https://openalex.org/W1861377444","https://openalex.org/W2022678927","https://openalex.org/W2075620950","https://openalex.org/W2098935637","https://openalex.org/W2114303224","https://openalex.org/W2123686039","https://openalex.org/W2125775320","https://openalex.org/W2154894831","https://openalex.org/W2168160104","https://openalex.org/W2173213060","https://openalex.org/W3138367763","https://openalex.org/W6607435017","https://openalex.org/W6684931624"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2972896947","https://openalex.org/W2170146914","https://openalex.org/W2355105570","https://openalex.org/W2083974823","https://openalex.org/W2072751097","https://openalex.org/W4237177615","https://openalex.org/W2289257917","https://openalex.org/W2015567081"],"abstract_inverted_index":{"The":[0],"MapReduce":[1,36,45,88],"distributed":[2],"programming":[3],"framework":[4],"is":[5,63],"very":[6],"popular,":[7],"but":[8],"currently":[9],"lacks":[10],"the":[11],"optimization":[12,43],"techniques":[13],"that":[14,53],"have":[15],"been":[16],"standard":[17],"with":[18],"relational":[19],"database":[20],"systems":[21],"for":[22],"many":[23],"years.":[24],"This":[25],"paper":[26],"proposes":[27],"Manimal,":[28],"which":[29],"uses":[30],"static":[31],"code":[32,69],"analysis":[33,70],"to":[34,90],"detect":[35,72],"program":[37],"semantics":[38],"and":[39,73],"thereby":[40],"enable":[41],"wholly-automatic":[42],"of":[44],"programs.":[46],"For":[47],"example,":[48],"a":[49,66],"programmer's":[50],"map":[51],"function":[52],"emits":[54],"data":[55],"only":[56],"when":[57],"an":[58,80],"if...":[59],"statement":[60],"holds":[61],"true":[62],"essentially":[64],"encoding":[65],"selection":[67],"condition;":[68],"can":[71,85],"characterize":[74],"these":[75],"conditions.":[76],"If":[77],"Manimal":[78],"has":[79],"appropriate":[81],"index":[82],"available,":[83],"it":[84],"then":[86],"alter":[87],"execution":[89],"use":[91],"it.":[92]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":12},{"year":2012,"cited_by_count":6}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}