{"id":"https://openalex.org/W4415009087","doi":"https://doi.org/10.1145/3763092","title":"MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming","display_name":"MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4415009087","doi":"https://doi.org/10.1145/3763092"},"language":"en","primary_location":{"id":"doi:10.1145/3763092","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763092","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3763092","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093273967","display_name":"Jayanaka L. Dantanarayana","orcid":"https://orcid.org/0009-0000-4320-8280"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jayanaka L. Dantanarayana","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0009-0000-4320-8280","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068379668","display_name":"Yiping Kang","orcid":"https://orcid.org/0000-0002-5964-3655"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiping Kang","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0000-0002-5964-3655","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098672635","display_name":"Kugesan Sivasothynathan","orcid":null},"institutions":[{"id":"https://openalex.org/I1305429384","display_name":"JPMorgan Chase & Co (United States)","ror":"https://ror.org/01x3kkr08","country_code":"US","type":"company","lineage":["https://openalex.org/I1305429384"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kugesan Sivasothynathan","raw_affiliation_strings":["Jaseci Labs, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0009-0004-4657-4947","affiliations":[{"raw_affiliation_string":"Jaseci Labs, Ann Arbor, USA","institution_ids":["https://openalex.org/I1305429384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097356663","display_name":"Christopher Clarke","orcid":"https://orcid.org/0000-0001-8741-3155"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher Clarke","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0000-0001-8741-3155","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Baichuan Li","orcid":"https://orcid.org/0009-0008-4812-6303"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Baichuan Li","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0009-0008-4812-6303","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115704654","display_name":"Savini Kashmira","orcid":"https://orcid.org/0009-0005-4911-7597"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Savini Kashmira","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0009-0005-4911-7597","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017734206","display_name":"Kriszti\u00e1n Flautner","orcid":"https://orcid.org/0009-0002-8347-1811"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Krisztian Flautner","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0009-0002-8347-1811","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065128438","display_name":"Lingjia Tang","orcid":"https://orcid.org/0000-0002-5609-7775"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingjia Tang","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0000-0002-5609-7775","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053236545","display_name":"Jason Mars","orcid":"https://orcid.org/0000-0002-7029-5292"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Mars","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0000-0002-7029-5292","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5093273967"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13583239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"1176","last_page":"1204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9912999868392944,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9912999868392944,"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/T10028","display_name":"Topic Modeling","score":0.9883000254631042,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9796000123023987,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.4715000092983246},{"id":"https://openalex.org/keywords/programming-domain","display_name":"Programming domain","score":0.45739999413490295},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.45590001344680786},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.43779999017715454},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.41670000553131104},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.41609999537467957},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.40549999475479126},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.38999998569488525},{"id":"https://openalex.org/keywords/high-level-programming-language","display_name":"High-level programming language","score":0.3723999857902527},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.3709000051021576}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932999730110168},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6412000060081482},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5562999844551086},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.4715000092983246},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.45739999413490295},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.45590001344680786},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.43779999017715454},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.41670000553131104},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.41609999537467957},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.40549999475479126},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.38999998569488525},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.3723999857902527},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.3709000051021576},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3580000102519989},{"id":"https://openalex.org/C174063052","wikidata":"https://www.wikidata.org/wiki/Q607013","display_name":"Pair programming","level":4,"score":0.34389999508857727},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.32330000400543213},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.32010000944137573},{"id":"https://openalex.org/C150292731","wikidata":"https://www.wikidata.org/wiki/Q1342704","display_name":"Code review","level":5,"score":0.31520000100135803},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.3142000138759613},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31349998712539673},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.31040000915527344},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.29280000925064087},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2741999924182892},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.26809999346733093},{"id":"https://openalex.org/C570499","wikidata":"https://www.wikidata.org/wiki/Q1289116","display_name":"First-generation programming language","level":3,"score":0.2630000114440918},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.2531000077724457},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763092","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763092","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3763092","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763092","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W614121072","https://openalex.org/W2990138404","https://openalex.org/W3122286897","https://openalex.org/W3174529902","https://openalex.org/W3192336523","https://openalex.org/W4283314525","https://openalex.org/W4321636575","https://openalex.org/W4366341968","https://openalex.org/W4367185264","https://openalex.org/W4377083268","https://openalex.org/W4379536072","https://openalex.org/W4391377904","https://openalex.org/W4391623921","https://openalex.org/W4391623937","https://openalex.org/W4394871726","https://openalex.org/W4394892775","https://openalex.org/W4394892795","https://openalex.org/W4394998505","https://openalex.org/W4394998532","https://openalex.org/W4394998727","https://openalex.org/W4394998875","https://openalex.org/W4395020691","https://openalex.org/W4395020696","https://openalex.org/W4395106413","https://openalex.org/W4395106460","https://openalex.org/W4395106477","https://openalex.org/W4395112660","https://openalex.org/W4401043863","https://openalex.org/W7077156615"],"related_works":[],"abstract_inverted_index":{"Software":[0],"development":[1,144],"is":[2,206,216],"shifting":[3],"from":[4],"traditional":[5],"programming":[6,123],"to":[7,28,38,185,194,203],"AI-integrated":[8],"applications":[9],"that":[10,58,125,130,170],"leverage":[11],"generative":[12],"AI":[13],"and":[14,32,78,105,128,139,151,157,215],"large":[15],"language":[16,124],"models":[17],"(LLMs)":[18],"during":[19],"runtime.":[20],"However,":[21],"integrating":[22],"LLMs":[23],"remains":[24],"complex,":[25],"requiring":[26],"developers":[27,171],"manually":[29],"craft":[30],"prompts":[31],"process":[33],"outputs.":[34],"Existing":[35],"tools":[36],"attempt":[37],"assist":[39],"with":[40,178],"prompt":[41,76],"engineering,":[42],"but":[43],"often":[44],"introduce":[45,86],"additional":[46,82],"complexity.":[47],"This":[48],"paper":[49],"presents":[50],"Meaning-Typed":[51],"Programming":[52],"(MTP)":[53],",":[54,97,108,121],"a":[55,98,122],"novel":[56],"paradigm":[57],"abstracts":[59],"LLM":[60,93,114],"integration":[61],"through":[62],"intuitive":[63],"language-level":[64],"constructs.":[65],"By":[66],"leveraging":[67],"the":[68,87,161,211,219],"inherent":[69],"semantic":[70,103],"richness":[71],"of":[72,147,163,182,196,210],"code,":[73],"MTP":[74,118,131,141,173],"automates":[75],"generation":[77],"response":[79],"handling":[80],"without":[81],"developer":[83],"effort.":[84],"We":[85,116],"(1)":[88],"by":[89],"operator":[90],"for":[91,102,112],"seamless":[92],"invocation,":[94],"(2)":[95],"MT-IR":[96],"meaning-based":[99],"intermediate":[100],"representation":[101],"extraction,":[104],"(3)":[106],"MT-Runtime":[107],"an":[109],"automated":[110],"system":[111],"managing":[113],"interactions.":[115],"implement":[117],"in":[119],"Jac":[120],"supersets":[126],"Python,":[127],"find":[129],"significantly":[132,142],"reduces":[133,143],"coding":[134],"complexity":[135],"while":[136,153],"maintaining":[137,158],"accuracy":[138,162],"efficiency.":[140],"complexity,":[145],"lines":[146,181],"code":[148,183],"modifications":[149],"needed,":[150],"costs":[152],"improving":[154],"run-time":[155],"performance":[156],"or":[159],"exceeding":[160],"existing":[164,186],"approaches.":[165],"Our":[166],"user":[167],"study":[168],"shows":[169],"using":[172],"completed":[174],"tasks":[175],"3.2\u00d7":[176],"faster":[177],"45%":[179],"fewer":[180],"compared":[184],"frameworks.":[187],"Moreover,":[188],"demonstrates":[189],"resilience":[190],"even":[191],"when":[192],"up":[193],"50%":[195],"naming":[197],"conventions":[198],"are":[199],"degraded,":[200],"demonstrating":[201],"robustness":[202],"suboptimal":[204],"code.":[205],"developed":[207],"as":[208],"part":[209],"Jaseci":[212],"open-source":[213],"project,":[214],"available":[217],"under":[218],"module":[220],"byLLM":[221],".":[222]},"counts_by_year":[],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}