{"id":"https://openalex.org/W2615241149","doi":"https://doi.org/10.29007/7jf1","title":"Translating C# to Branching Symbolic Transducers","display_name":"Translating C# to Branching Symbolic Transducers","publication_year":2018,"publication_date":"2018-01-12","ids":{"openalex":"https://openalex.org/W2615241149","doi":"https://doi.org/10.29007/7jf1","mag":"2615241149"},"language":"en","primary_location":{"id":"doi:10.29007/7jf1","is_oa":true,"landing_page_url":"https://doi.org/10.29007/7jf1","pdf_url":"https://easychair.org/publications/open/74R7","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/74R7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001454502","display_name":"Olli Saarikivi","orcid":"https://orcid.org/0000-0001-7596-4734"},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]},{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Olli Saarikivi","raw_affiliation_strings":["Helsinki Institute for Information Technology HIIT Aalto University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helsinki Institute for Information Technology HIIT Aalto University","institution_ids":["https://openalex.org/I32943570","https://openalex.org/I9927081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060114046","display_name":"Margus Veanes","orcid":"https://orcid.org/0009-0008-8427-7977"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Margus Veanes","raw_affiliation_strings":["Microsoft Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2203,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.30149463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"86","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9987000226974487,"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.6235893368721008},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.5403277277946472},{"id":"https://openalex.org/keywords/transducer","display_name":"Transducer","score":0.5373152494430542},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49086815118789673},{"id":"https://openalex.org/keywords/streams","display_name":"STREAMS","score":0.4180520176887512},{"id":"https://openalex.org/keywords/pipeline-transport","display_name":"Pipeline transport","score":0.4113362431526184},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31469887495040894},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2323220670223236},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18308058381080627},{"id":"https://openalex.org/keywords/acoustics","display_name":"Acoustics","score":0.15477246046066284},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12655597925186157},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.060345977544784546}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6235893368721008},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.5403277277946472},{"id":"https://openalex.org/C56318395","wikidata":"https://www.wikidata.org/wiki/Q215928","display_name":"Transducer","level":2,"score":0.5373152494430542},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49086815118789673},{"id":"https://openalex.org/C42090638","wikidata":"https://www.wikidata.org/wiki/Q4048907","display_name":"STREAMS","level":2,"score":0.4180520176887512},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.4113362431526184},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31469887495040894},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2323220670223236},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18308058381080627},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.15477246046066284},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12655597925186157},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.060345977544784546},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/7jf1","is_oa":true,"landing_page_url":"https://doi.org/10.29007/7jf1","pdf_url":"https://easychair.org/publications/open/74R7","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/7jf1","is_oa":true,"landing_page_url":"https://doi.org/10.29007/7jf1","pdf_url":"https://easychair.org/publications/open/74R7","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2615241149.pdf","grobid_xml":"https://content.openalex.org/works/W2615241149.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W830367993","https://openalex.org/W1981870753","https://openalex.org/W1988267965","https://openalex.org/W1995362929","https://openalex.org/W2081721653","https://openalex.org/W2097118641","https://openalex.org/W2111152250","https://openalex.org/W2120538043","https://openalex.org/W2121810937","https://openalex.org/W2153794097","https://openalex.org/W2189465200","https://openalex.org/W2208923056","https://openalex.org/W2294493224","https://openalex.org/W2529401481","https://openalex.org/W4248695203"],"related_works":["https://openalex.org/W2010317732","https://openalex.org/W2483328176","https://openalex.org/W2061705145","https://openalex.org/W193205649","https://openalex.org/W45006177","https://openalex.org/W2016919266","https://openalex.org/W1982793386","https://openalex.org/W2537623333","https://openalex.org/W1533592795","https://openalex.org/W2477990850"],"abstract_inverted_index":{"The":[0,17,52],"paper":[1,53],"looks":[2],"at":[3],"tooling":[4],"aspects":[5],"of":[6,38,45,50],"transforming":[7],"C#":[8,58],"programs":[9],"into":[10,42],"symbolic":[11],"transducers":[12],"with":[13],"branching":[14],"rules":[15],"(BSTs).":[16],"latter":[18],"are":[19,40],"used":[20],"for":[21,56,62],"describing":[22],"list":[23],"comprehensions":[24],"that":[25],"incorporate":[26],"loop-carried":[27],"state.":[28],"One":[29],"concrete":[30],"application":[31],"is":[32],"log":[33],"analysis":[34],"where":[35],"input":[36],"streams":[37,44],"data":[39,46],"transformed":[41],"output":[43],"via":[47],"intermediate":[48],"pipelines":[49],"transducers.":[51],"presents":[54],"algorithms":[55],"translating":[57],"to":[59],"BSTs,":[60],"and":[61],"exposing":[63],"control":[64],"state":[65],"in":[66],"BSTs.":[67]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}