{"id":"https://openalex.org/W1979396564","doi":"https://doi.org/10.1145/1013963.1013968","title":"Invited talk","display_name":"Invited talk","publication_year":2004,"publication_date":"2004-08-24","ids":{"openalex":"https://openalex.org/W1979396564","doi":"https://doi.org/10.1145/1013963.1013968","mag":"1979396564"},"language":"en","primary_location":{"id":"doi:10.1145/1013963.1013968","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1013963.1013968","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 conference on Principles and practice of declarative programming","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/A5043949214","display_name":"Yannis Smaragdakis","orcid":"https://orcid.org/0000-0002-0499-0182"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yannis Smaragdakis","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA","Georgia Institute of Technology Atlanta, GA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Georgia Institute of Technology Atlanta, GA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5043949214"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.09805455,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8381646871566772},{"id":"https://openalex.org/keywords/metaprogramming","display_name":"Metaprogramming","score":0.8279956579208374},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6771717667579651},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.6749587655067444},{"id":"https://openalex.org/keywords/aspectj","display_name":"AspectJ","score":0.653590202331543},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.6101565361022949},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5523414015769958},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5521053671836853},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5255067348480225},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4845080077648163},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4690433144569397},{"id":"https://openalex.org/keywords/programming-domain","display_name":"Programming domain","score":0.46738994121551514},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.33015626668930054},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3027406632900238},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.17684799432754517},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17349404096603394},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.07604604959487915}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8381646871566772},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.8279956579208374},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6771717667579651},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6749587655067444},{"id":"https://openalex.org/C2781009160","wikidata":"https://www.wikidata.org/wiki/Q735604","display_name":"AspectJ","level":4,"score":0.653590202331543},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.6101565361022949},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5523414015769958},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5521053671836853},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5255067348480225},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4845080077648163},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4690433144569397},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.46738994121551514},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.33015626668930054},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3027406632900238},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.17684799432754517},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17349404096603394},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.07604604959487915},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1013963.1013968","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1013963.1013968","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 conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W140715635","https://openalex.org/W1528193315","https://openalex.org/W1581016894","https://openalex.org/W1599469082","https://openalex.org/W2091121811","https://openalex.org/W2096314727"],"related_works":["https://openalex.org/W2023878728","https://openalex.org/W2161003457","https://openalex.org/W4255270705","https://openalex.org/W2149320233","https://openalex.org/W2099016869","https://openalex.org/W2140774049","https://openalex.org/W1599469082","https://openalex.org/W1979396564","https://openalex.org/W1566555735","https://openalex.org/W2362300142"],"abstract_inverted_index":{"Program":[0],"generation":[1],"is":[2,155,166,298,376,394],"among":[3],"the":[4,9,13,23,39,111,145,199,228,234,263,270,306,317,344,349,373,395,405,422,424,438,466,473,485,492],"most":[5,51,307],"promising":[6],"techniques":[7],"in":[8,38,81,291,408,472],"effort":[10],"to":[11,86,142,160,172,174,203,282,319,362,386,402,481],"increase":[12],"automation":[14],"of":[15,29,35,115,132,147,151,201,272,346,351,366,378,397,428,440,484],"programming":[16],"tasks.":[17],"In":[18],"this":[19,280],"talk,":[20],"we":[21,32,42,49,53,118,259,342,417],"discuss":[22,55,179,436],"potential":[24],"impact":[25],"and":[26,41,105,169,190,218,233,242,250,337,354,431,453],"research":[27,37,137],"value":[28,114,134,150],"program":[30,57,66,128,153,286,375,489],"generation,":[31,490],"give":[33],"examples":[34],"our":[36,214,225,360],"area,":[40],"outline":[43],"a":[44,87,90,93,136,152,161,267,274,284,292,299,338,352,398,462,502],"future":[45,458],"work":[46],"direction":[47],"that":[48,65,73,120,164,261,372,392,404,446],"consider":[50],"interesting.Specifically,":[52],"first":[54],"why":[56,437],"generators":[58,67,202,217,406],"have":[59],"significant":[60,112],"applied":[61,113,497],"potential.":[62],"We":[63,178,358,390,435],"believe":[64,260],"can":[68,96,197,469],"be":[69,131,470],"made":[70],"easy-to-implement":[71],"so":[72,158],"they":[74],"are":[75,450],"competitive":[76],"with":[77,144,185,221,321],"traditional":[78],"software":[79,83,162],"libraries":[80],"many":[82,210,304],"domains.":[84],"Compared":[85],"common":[88],"library,":[89],"generator":[91,154,176,236,278,353],"implementing":[92],"domain-specific":[94],"language":[95,124,231,265],"offer":[97,447],"more":[98,211],"concise":[99],"syntax,":[100],"better":[101,106],"static":[102],"error":[103],"checking,":[104],"performance":[107],"through":[108,334],"cross-operation":[109],"optimizations.Despite":[110],"generators,":[116],"however,":[117],"argue":[119,391],"meta-programming":[121,180,195,219,230,302,309,400,442],"tools":[122,125,181,220,443],"(i.e.,":[123],"for":[126,209,287,311,326,368,457],"writing":[127,273],"generators)":[129],"may":[130,478],"greater":[133],"as":[135,182,266,382],"topic.":[138],"The":[139,149,276,476],"reason":[140],"has":[141,254],"do":[143,418],"domain-specificity":[146],"generators.":[148],"often":[156],"tied":[157],"closely":[159],"domain":[163],"there":[165],"little":[167],"general":[168],"reusable":[170],"knowledge":[171],"transmit":[173],"other":[175],"researchers.":[177],"an":[183,206,496],"area":[184],"both":[186],"interesting":[187,256],"conceptual":[188],"problems":[189],"great":[191],"value.":[192],"A":[193],"good":[194,399,486],"infrastructure":[196],"simplify":[198],"creation":[200],"make":[204],"them":[205],"effective":[207],"solution":[208],"domains.We":[212],"illustrate":[213],"views":[215],"on":[216,488],"two":[222,255],"artifacts":[223],"from":[224,495,501],"latest":[226],"work:":[227],"Meta-AspectJ":[229,238,253,297,315],"[6]":[232],"GOTECH":[235,277],"[5].":[237],"enables":[239],"generating":[240],"Java":[241,285],"AspectJ":[243,264],"programs":[244],"using":[245,262],"code":[246],"templates,":[247],"i.e.,":[248],"quote":[249],"unquote":[251],"operators.":[252],"elements.":[257],"First,":[258],"back-end":[268],"simplies":[269],"task":[271],"generator.":[275],"uses":[279],"technique":[281],"adapt":[283],"server":[288],"side":[289],"execution":[290],"J2EE":[293],"application":[294],"server.":[295],"Second,":[296],"technically":[300],"mature":[301],"tool|in":[303],"respects":[305],"advanced":[308],"tool":[310,401],"Java.":[312],"For":[313],"instance,":[314],"reduces":[316],"need":[318],"deal":[320],"low":[322],"level":[323],"syntactic":[324],"types":[325],"quoted":[327],"entities":[328],"(e.g.,":[329],"\"expression\",":[330],"\"statement\",":[331],"\"identifier\",":[332],"etc.)":[333],"type":[335,383],"inference":[336],"context-sensitive":[339],"parsing":[340],"algorithm.Finally,":[341],"examine":[343],"problem":[345,425],"statically":[347],"determining":[348],"safety":[350,448],"present":[355,454],"its":[356],"intricacies.":[357],"limit":[359,421],"focus":[361],"one":[363,427,483],"particular":[364],"kind":[365],"guarantee":[367],"generated":[369,374],"code:":[370],"ensuring":[371],"free":[377],"compile-time":[379],"errors,":[380,384],"such":[381],"references":[385],"undened":[387],"variables,":[388],"etc.":[389],"it":[393,409],"responsibility":[396],"ensure":[403],"written":[407],"will":[410],"always":[411],"produce":[412],"legal":[413],"programs.":[414],"Nevertheless,":[415],"if":[416],"not":[419],"severely":[420],"generator,":[423],"becomes":[426],"arbitrary":[429],"control-":[430],"data":[432],"flow":[433],"analysis.":[434],"limitations":[439],"current":[441,467],"[1,":[444],"4]":[445],"guarantees":[449],"too":[451],"strict":[452],"possible":[455],"avenues":[456],"research.For":[459],"further":[460],"reading,":[461],"full":[463],"paper":[464],"accompanying":[465],"talk":[468],"found":[471],"PEPM'04":[474],"proceedings.":[475],"reader":[477],"also":[479],"want":[480],"consult":[482],"surveys":[487],"examining":[491],"topic":[493],"either":[494],"perspective":[498,505],"[3]":[499],"or":[500],"partial":[503],"evaluation":[504],"[2].":[506]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}