{"id":"https://openalex.org/W7171618241","doi":"https://doi.org/10.1145/3794763.3794834","title":"Hyalinos: From Type Inference to Community Knowledge","display_name":"Hyalinos: From Type Inference to Community Knowledge","publication_year":2026,"publication_date":"2026-04-12","ids":{"openalex":"https://openalex.org/W7171618241","doi":"https://doi.org/10.1145/3794763.3794834"},"language":null,"primary_location":{"id":"doi:10.1145/3794763.3794834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3794763.3794834","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3794763.3794834","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028070652","display_name":"Larisa Safina","orcid":"https://orcid.org/0000-0002-4490-7451"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]},{"id":"https://openalex.org/I7454413","display_name":"\u00c9cole Centrale de Lille","ror":"https://ror.org/01x441g73","country_code":"FR","type":"education","lineage":["https://openalex.org/I7454413"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Larisa Safina","raw_affiliation_strings":["UMR 9189 CRIStAL, Univ. Lille, Inria, CNRS, Centrale Lille, Villeneuve-d'Ascq, France"],"raw_orcid":"https://orcid.org/0000-0002-4490-7451","affiliations":[{"raw_affiliation_string":"UMR 9189 CRIStAL, Univ. Lille, Inria, CNRS, Centrale Lille, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I7454413"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028070652"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I7454413"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"478","last_page":"482"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6255999803543091},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.49390000104904175},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.4092000126838684},{"id":"https://openalex.org/keywords/knowledge-sharing","display_name":"Knowledge sharing","score":0.3885999917984009},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.34360000491142273},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.3352000117301941}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7145000100135803},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6255999803543091},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.49390000104904175},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.4092000126838684},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3910999894142151},{"id":"https://openalex.org/C2776604539","wikidata":"https://www.wikidata.org/wiki/Q6423395","display_name":"Knowledge sharing","level":2,"score":0.3885999917984009},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.3352000117301941},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.321399986743927},{"id":"https://openalex.org/C2778134712","wikidata":"https://www.wikidata.org/wiki/Q1047307","display_name":"Bundle","level":2,"score":0.3149999976158142},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2808000147342682},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.2793999910354614},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.27059999108314514}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3794763.3794834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3794763.3794834","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3794763.3794834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3794763.3794834","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2007313703","https://openalex.org/W2030611910","https://openalex.org/W2035206966","https://openalex.org/W2053664570","https://openalex.org/W2061721578","https://openalex.org/W2106558531","https://openalex.org/W2106952596","https://openalex.org/W2163976959","https://openalex.org/W2181943201","https://openalex.org/W3003257820","https://openalex.org/W3109059682","https://openalex.org/W3154347962","https://openalex.org/W4246461608","https://openalex.org/W4388843416","https://openalex.org/W4404353500"],"related_works":[],"abstract_inverted_index":{"We":[0],"present":[1],"Hyalinos,":[2],"a":[3,55,66],"transparent":[4],"type":[5,15,22,31,33,60,68,79],"discovery":[6],"framework":[7],"for":[8,13,30],"Pharo":[9,75],"that":[10],"combines":[11],"HYPHE":[12,25],"multi-source":[14],"inference":[16],"with":[17,65],"Mycelium":[18,50],"as":[19],"an":[20,88],"open":[21],"knowledge":[23,61],"storage.":[24,69],"integrates":[26,72],"several":[27],"existing":[28,78],"tools":[29],"inference,":[32],"heuristics,":[34],"results":[35],"from":[36],"offline":[37],"test":[38],"profiling,":[39],"and":[40,63,83],"then":[41],"merges":[42],"them":[43],"using":[44],"one":[45],"of":[46],"available":[47,91],"reconciliation":[48],"strategies.":[49],"stores":[51],"collected":[52],"types":[53],"in":[54],"GitHub":[56],"repository,":[57],"enabling":[58],"community-wide":[59],"sharing":[62],"synchronises":[64],"local":[67],"The":[70],"bundle":[71],"seamlessly":[73],"into":[74],"IDE,":[76],"providing":[77],"information":[80],"during":[81],"coding":[82],"methods":[84],"investigation.":[85],"Hyalinos":[86],"is":[87],"open-source":[89],"tool":[90],"on":[92],"https://github.com/hyalinos.":[93]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2026-07-30T00:00:00"}