{"id":"https://openalex.org/W6944265274","doi":"https://doi.org/10.18420/se2025-15","title":"Unimocg","display_name":"Unimocg","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W6944265274","doi":"https://doi.org/10.18420/se2025-15"},"language":"en","primary_location":{"id":"doi:10.18420/se2025-15","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2025-15","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/se2025-15","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Helm, Dominik","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Helm, Dominik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Roth, Tobias","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roth, Tobias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Keidel, Sven","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Keidel, Sven","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Reif, Michael","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Reif, Michael","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Mezini, Mira","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mezini, Mira","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22470228,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.31619998812675476,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.31619998812675476,"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/T10260","display_name":"Software Engineering Research","score":0.1420000046491623,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.10769999772310257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/immutability","display_name":"Immutability","score":0.7943000197410583},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.727400004863739},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6686000227928162},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.60589998960495},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5648999810218811},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.474700003862381},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4397999942302704},{"id":"https://openalex.org/keywords/interfacing","display_name":"Interfacing","score":0.39750000834465027}],"concepts":[{"id":"https://openalex.org/C2776126399","wikidata":"https://www.wikidata.org/wiki/Q3942906","display_name":"Immutability","level":3,"score":0.7943000197410583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7523999810218811},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.727400004863739},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6686000227928162},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.60589998960495},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5648999810218811},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4799000024795532},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.474700003862381},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4397999942302704},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.39750000834465027},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3970000147819519},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.31540000438690186},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.30979999899864197},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.28780001401901245},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2833999991416931},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.26899999380111694},{"id":"https://openalex.org/C135798126","wikidata":"https://www.wikidata.org/wiki/Q2167279","display_name":"Top-down and bottom-up design","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2540000081062317}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/se2025-15","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2025-15","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/se2025-15","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2025-15","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Traditional":[0],"call-graph":[1,57,77,111,118],"construction":[2,58],"algorithms":[3,78,119,134],"conflate":[4],"the":[5,12,91,95,110],"computation":[6,61],"of":[7,15,41,62],"possible":[8],"runtime":[9],"types":[10],"with":[11,79,120],"actual":[13],"resolution":[14],"(virtual)":[16],"calls.":[17,67],"This":[18],"tangled":[19],"design":[20],"impedes":[21,39],"supporting":[22],"complex":[23],"language":[24,85],"features":[25],"and":[26,28,35,124,143],"APIs":[27],"making":[29],"systematic":[30],"trade-offs":[31,126],"between":[32],"precision,":[33,122],"soundness,":[34,123],"scalability.":[36],"It":[37,130],"also":[38,99,155],"implementation":[40],"precise":[42,106],"downstream":[43],"analyses":[44,102],"that":[45,59],"rely":[46],"on":[47],"type":[48,63,107],"information.":[49],"We":[50,113,154],"propose":[51],"Unimocg,":[52],"a":[53],"modular":[54,71],"architecture":[55],"for":[56],"decouples":[60],"information":[64,108],"from":[65,109,127,135],"resolving":[66],"Due":[68],"to":[69,82,103],"its":[70],"design,":[72],"Unimocg":[73,98,116],"can":[74],"combine":[75],"different":[76,121,136],"algorithm-agnostic":[80],"modules":[81,88],"support":[83],"individual":[84],"features.":[86],"These":[87],"operate":[89],"at":[90],"same":[92],"precision":[93,151],"as":[94,139],"chosen":[96],"call-graph.":[97],"allows":[100],"other":[101],"easily":[104],"reuse":[105],"construction.":[112],"demonstrate":[114],"how":[115,157],"enables":[117],"scalability":[125],"reusable":[128],"modules.":[129],"currently":[131],"supports":[132],"ten":[133],"families,":[137],"such":[138],"CHA,":[140],"RTA,":[141],"XTA,":[142],"k-l-CFA.":[144],"They":[145],"show":[146,156],"consistent":[147],"soundness":[148],"without":[149],"sacrificing":[150],"or":[152],"performance.":[153],"an":[158],"immutability":[159],"analysis":[160],"is":[161],"improved":[162],"using":[163],"Unimocg.":[164]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}