{"id":"https://openalex.org/W4406258118","doi":"https://doi.org/10.1145/3704253.3710847","title":"The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)","display_name":"The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)","publication_year":2025,"publication_date":"2025-01-10","ids":{"openalex":"https://openalex.org/W4406258118","doi":"https://doi.org/10.1145/3704253.3710847"},"language":"en","primary_location":{"id":"doi:10.1145/3704253.3710847","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3704253.3710847","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation","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/A5015205255","display_name":"Satnam Singh","orcid":"https://orcid.org/0000-0002-2017-4310"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Satnam Singh","raw_affiliation_strings":["Groq, Mountain View, USA"],"affiliations":[{"raw_affiliation_string":"Groq, Mountain View, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015205255"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00451807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"12","last_page":"12"},"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.8287000060081482,"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.8287000060081482,"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/T12162","display_name":"Cellular Automata and Applications","score":0.7398999929428101,"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"}},{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.6858000159263611,"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/diagonal","display_name":"Diagonal","score":0.767764151096344},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6085554361343384},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.329865038394928},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2068805992603302},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.058729350566864014},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.046940624713897705}],"concepts":[{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.767764151096344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6085554361343384},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.329865038394928},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2068805992603302},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.058729350566864014},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.046940624713897705}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3704253.3710847","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3704253.3710847","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2135584473","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890"],"abstract_inverted_index":{"The":[0,120],"computing":[1],"community":[2],"has":[3,23],"produced":[4,24,57,187],"many":[5,25,48],"high":[6,13,51,77,96,158],"level":[7,14,27,34,52,62,78,97,107,118],"languages":[8,28],"and":[9,21,29,142,172,178],"tools":[10,30],"for":[11,18,31,37,41,104,116,144,153,167],"programming":[12,32,168],"systems":[15,35,53,79,98,108],"(e.g.":[16],"Java":[17],"user":[19],"interfaces)":[20],"it":[22],"low":[26,33,61,106,117],"(C":[36],"operating":[38],"systems,":[39],"Verilog":[40],"hardware":[42],"design)":[43],"yet":[44],"there":[45],"are":[46],"not":[47],"examples":[49,94,124,138],"of":[50,74,95,114,135,147,156,162,180,182,193],"that":[54,71,76,91,99],"have":[55],"been":[56],"to":[58,68,89],"help":[59],"develop":[60],"systems.":[63,119],"Sometimes":[64],"this":[65,86],"is":[66],"due":[67],"a":[69,157,164,183],"suspicion":[70],"the":[72,101,112,126,133,145,149,154,176,194],"layers":[73],"abstraction":[75],"use":[80,192],"incur":[81],"unacceptable":[82],"performance":[83],"overheads.":[84],"However,":[85],"talk":[87,121],"attempts":[88],"challenge":[90],"view,":[92],"giving":[93],"improve":[100,111],"designer":[102],"productivity":[103],"developing":[105],"which":[109,190],"also":[110],"quality":[113],"verification":[115,179],"will":[122,139],"draw":[123],"from":[125],"presenter\u2019s":[127],"own":[128],"experience,":[129],"as":[130,132],"well":[131],"work":[134,174],"others.":[136],"Specific":[137],"include":[140],"Lava":[141],"Bluespec":[143],"design":[146],"hardware,":[148],"Silver":[150],"Oak":[151],"project":[152],"co-design":[155],"assurance":[159],"silicon":[160,185],"root":[161],"trust,":[163],"Haskell-based":[165],"DSL":[166],"machine":[169],"learning":[170],"chips,":[171],"recent":[173],"on":[175],"specification":[177],"parts":[181],"new":[184],"chip":[186],"at":[188],"Groq":[189],"makes":[191],"same":[195],"Haskell":[196],"DSL.":[197]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}