{"id":"https://openalex.org/W2751503133","doi":"https://doi.org/10.1145/3122948.3122950","title":"From high-level radio protocol specifications to efficient low-level implementations via partial evaluation","display_name":"From high-level radio protocol specifications to efficient low-level implementations via partial evaluation","publication_year":2017,"publication_date":"2017-08-30","ids":{"openalex":"https://openalex.org/W2751503133","doi":"https://doi.org/10.1145/3122948.3122950","mag":"2751503133"},"language":"en","primary_location":{"id":"doi:10.1145/3122948.3122950","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3122948.3122950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5091390132","display_name":"Geoffrey Mainland","orcid":"https://orcid.org/0000-0002-0328-8594"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Geoffrey Mainland","raw_affiliation_strings":["Drexel University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University, USA","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034158702","display_name":"Siddhanathan Shanmugam","orcid":null},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Siddhanathan Shanmugam","raw_affiliation_strings":["Drexel University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University, USA","institution_ids":["https://openalex.org/I72816309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I72816309"],"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":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980000257492065,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8316547870635986},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6469306349754333},{"id":"https://openalex.org/keywords/software-defined-radio","display_name":"Software-defined radio","score":0.5518614649772644},{"id":"https://openalex.org/keywords/phy","display_name":"PHY","score":0.4998738765716553},{"id":"https://openalex.org/keywords/low-latency","display_name":"Low latency (capital markets)","score":0.4733940362930298},{"id":"https://openalex.org/keywords/physical-layer","display_name":"Physical layer","score":0.4619584083557129},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4396583139896393},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.42491763830184937},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.37511545419692993},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33676356077194214},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3231353759765625},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23558104038238525},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17785966396331787},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.13202407956123352}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8316547870635986},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6469306349754333},{"id":"https://openalex.org/C171115542","wikidata":"https://www.wikidata.org/wiki/Q1331892","display_name":"Software-defined radio","level":2,"score":0.5518614649772644},{"id":"https://openalex.org/C41918916","wikidata":"https://www.wikidata.org/wiki/Q192727","display_name":"PHY","level":4,"score":0.4998738765716553},{"id":"https://openalex.org/C46637626","wikidata":"https://www.wikidata.org/wiki/Q6693015","display_name":"Low latency (capital markets)","level":2,"score":0.4733940362930298},{"id":"https://openalex.org/C19247436","wikidata":"https://www.wikidata.org/wiki/Q192727","display_name":"Physical layer","level":3,"score":0.4619584083557129},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4396583139896393},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.42491763830184937},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.37511545419692993},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33676356077194214},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3231353759765625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23558104038238525},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17785966396331787},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.13202407956123352},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3122948.3122950","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3122948.3122950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W122851984","https://openalex.org/W811081082","https://openalex.org/W1490756768","https://openalex.org/W1556604985","https://openalex.org/W1568192366","https://openalex.org/W1579416470","https://openalex.org/W1693562991","https://openalex.org/W1817199704","https://openalex.org/W2018434868","https://openalex.org/W2037984920","https://openalex.org/W2051515437","https://openalex.org/W2064138295","https://openalex.org/W2065935082","https://openalex.org/W2067083925","https://openalex.org/W2072277531","https://openalex.org/W2081124914","https://openalex.org/W2081938726","https://openalex.org/W2095902375","https://openalex.org/W2098544961","https://openalex.org/W2099700145","https://openalex.org/W2108872752","https://openalex.org/W2117964502","https://openalex.org/W2125415493","https://openalex.org/W2134572726","https://openalex.org/W2136952590","https://openalex.org/W2164197394","https://openalex.org/W2566521054","https://openalex.org/W2603826118","https://openalex.org/W2753542429","https://openalex.org/W3004184795","https://openalex.org/W3105270436"],"related_works":["https://openalex.org/W2945523224","https://openalex.org/W4313639042","https://openalex.org/W2444418218","https://openalex.org/W2727597159","https://openalex.org/W4241709719","https://openalex.org/W3047258710","https://openalex.org/W2514934301","https://openalex.org/W1488909492","https://openalex.org/W4234133302","https://openalex.org/W2774037455"],"abstract_inverted_index":{"Software-defined":[0],"radio":[1,17],"(SDR)":[2],"is":[3],"a":[4,35,44,68,87,105],"challenging":[5],"domain":[6],"for":[7,61,71],"language":[8,36,70],"designers.":[9],"To":[10],"be":[11,31,79],"useful":[12,32],"in":[13,86,100],"the":[14,54],"real":[15],"world,":[16],"protocol":[18],"implementations":[19],"must":[20],"operate":[21],"at":[22,43],"high":[23,45],"data":[24],"rates":[25],"with":[26,81],"low":[27],"latency,":[28],"yet":[29],"to":[30,33,40,51],"implementers,":[34],"should":[37],"allow":[38],"programmers":[39],"express":[41],"algorithms":[42],"level":[46],"of":[47],"abstraction":[48],"without":[49],"having":[50],"worry":[52],"about":[53],"very":[55],"low-level":[56],"details":[57],"that":[58,67],"are":[59],"necessary":[60],"meeting":[62],"performance":[63],"requirements.":[64],"Ziria":[65],"demonstrated":[66],"high-level":[69],"writing":[72],"wireless":[73],"physical":[74],"layer":[75],"(PHY)":[76],"protocols":[77],"could":[78],"competitive":[80],"hand-written":[82],"C++,":[83],"but":[84],"only":[85],"context":[88],"where":[89],"performance-critical":[90],"computations,":[91],"such":[92],"as":[93],"FFT":[94],"and":[95,102],"Viterbi,":[96],"were":[97],"still":[98],"written":[99],"C++":[101],"accessed":[103],"via":[104],"foreign":[106],"function":[107],"interface.":[108]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}