{"id":"https://openalex.org/W2913577310","doi":"https://doi.org/10.1145/2535838","title":"Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","display_name":"Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","publication_year":2014,"publication_date":"2014-01-11","ids":{"openalex":"https://openalex.org/W2913577310","doi":"https://doi.org/10.1145/2535838","mag":"2913577310"},"language":"en","primary_location":{"id":"doi:10.1145/2535838","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2535838","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9925000071525574,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9925000071525574,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9761999845504761,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.963699996471405,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.5541043281555176},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5432066917419434},{"id":"https://openalex.org/keywords/steering-committee","display_name":"Steering committee","score":0.42586031556129456},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38683605194091797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3396984040737152},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.33745449781417847},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.31168195605278015},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2797764539718628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5541043281555176},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5432066917419434},{"id":"https://openalex.org/C156312663","wikidata":"https://www.wikidata.org/wiki/Q865588","display_name":"Steering committee","level":2,"score":0.42586031556129456},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38683605194091797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3396984040737152},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.33745449781417847},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.31168195605278015},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2797764539718628}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2535838","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2535838","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W4235530921","https://openalex.org/W2382501300","https://openalex.org/W3162240892","https://openalex.org/W4245713008"],"abstract_inverted_index":{"It":[0],"is":[1],"our":[2,54,171],"great":[3],"pleasure":[4],"to":[5,8,43,56,148,158,168,191,235,285,343,345,375,457,468,490,496],"welcome":[6],"you":[7],"the":[9,58,73,123,197,208,223,236,286,289,347,360,377,415,448,459,483,505,514,524,539,544,551,555,564,581,591,594],"41st":[10],"Annual":[11],"ACM":[12,279],"SIGPLAN-SIGACT":[13],"Symposium":[14,90],"on":[15,81,91,99,107,115,550],"Principles":[16,133],"of":[17,65,94,170,222,246,261,278,318,393,447,461,482,536,567,590,593],"Programming":[18,108,128],"Languages":[19,96,109],"--":[20],"POPL'14,":[21],"being":[22],"held":[23,31],"in":[24,33,134,189,296,379,421,433,480,510,513,580],"San":[25],"Diego,":[26],"CA.":[27],"POPL":[28,225,298,595],"was":[29,210,228,368,455,521],"last":[30],"here":[32],"1998.":[34],"We":[35,164,231],"are":[36,165,232],"very":[37],"pleased":[38],"that":[39,520,586],"we":[40],"were":[41,311,357,412,444,466,473,488,502,507,578],"able":[42],"arrange":[44],"for":[45,53,162,173,185,239,293,305,353,372,517],"a":[46,139,315,337,363,430,434,438],"long":[47],"overdue":[48],"return,":[49],"giving":[50],"an":[51],"opportunity":[52],"attendees":[55],"experience":[57],"charm,":[59],"salubrious":[60],"weather,":[61],"and":[62,68,84,102,118,154,176,204,213,217,242,252,264,275,405,526,529,543,554],"numerous":[63],"attractions":[64],"this":[66],"vibrant":[67],"dynamic":[69],"city.":[70],"POPL'14":[71,179],"features":[72],"following":[74,237],"co-located":[75,194],"events:":[76],"The":[77,178,219,303,331,391,418],"15th":[78],"International":[79,89],"Conference":[80],"Verification,":[82],"Model-Checking,":[83],"Abstract":[85],"Interpretation":[86],"(VMCAI)The":[87],"16th":[88],"Practical":[92],"Aspects":[93],"Declarative":[95],"(PADL)The":[97],"Workshop":[98,106,114,126,131,136],"Partial":[100],"Evaluation":[101],"Program":[103,111,116],"Manipulation":[104],"(PEPM)The":[105],"meets":[110],"Verification":[112],"(PLPV)The":[113],"Protection":[117],"Reverse":[119],"Engineering":[120],"(PPREW)The":[121],"Off":[122],"Beaten":[124],"Track":[125],"(OBT)The":[127],"Language":[129],"Mentoring":[130],"(PLMW)The":[132],"Practice":[135],"(PiP)":[137],"-":[138],"new":[140],"event":[141],"Support":[142],"from":[143,359,476],"corporate":[144],"sponsors":[145,172],"helped":[146],"tremendously":[147],"keep":[149],"POPL's":[150],"registration":[151],"fees":[152],"modest,":[153],"enabled":[155],"low-cost":[156],"access":[157],"all":[159,169],"conference":[160,209],"events":[161,195],"students.":[163],"deeply":[166],"grateful":[167,234],"their":[174,186,240,294,300,470,478,548],"support":[175,241],"generosity.":[177],"organizing":[180],"committee":[181,227,317],"deserves":[182],"special":[183],"thanks":[184,283],"tireless":[187],"efforts":[188],"helping":[190],"(a)":[192],"coordinate":[193],"with":[196,429],"main":[198],"conference,":[199],"(b)":[200],"handle":[201],"student":[202],"activities":[203],"tutorials,":[205],"(c)":[206],"ensure":[207],"widely":[211],"publicized,":[212],"(d)":[214],"manage":[215],"budgets":[216],"financing.":[218],"sage":[220],"advice":[221],"entire":[224],"steering":[226],"also":[229,233,284],"invaluable.":[230],"professionals":[238],"contributions:":[243],"John":[244],"Lateulere":[245],"Integrated":[247],"Management":[248],"Solutions;":[249],"Carole":[250],"Mann":[251],"her":[253],"team":[254],"at":[255,288,299,560,597],"Registration":[256],"Systems":[257],"Labs;":[258],"Lisa":[259],"Tolles":[260],"Sheridan":[262],"Printing,":[263],"Ashley":[265],"Cozzi,":[266],"Adrienne":[267],"Griscti,":[268],"Farrah":[269],"Khan,":[270],"Maritza":[271],"Nichols,":[272],"Stephanie":[273],"Sabal,":[274],"Debra":[276],"Venedam":[277],"SIG":[280],"services.":[281],"Our":[282],"staff":[287],"US":[290],"Grant":[291],"hotel":[292],"help":[295],"accommodating":[297],"historic":[301],"venue.":[302],"call":[304],"papers":[306,394,425,443],"attracted":[307],"220":[308],"submissions.":[309],"Papers":[310],"principally":[312],"reviewed":[313,322],"by":[314,523],"program":[316,525],"27":[319],"researchers,":[320],"who":[321],"21-25":[323],"each":[324,354,373],"(typically":[325],"three":[326],"PC":[327,366,416,419,486,500,506,518,545],"reviews":[328,352,356],"per":[329],"paper).":[330],"review":[332,340,440,453],"process":[333,454,516,553],"did":[334],"not":[335,474,508],"involve":[336],"preselected":[338],"external":[339,350,389,498,532],"committee.":[341],"Instead,":[342],"try":[344],"get":[346],"best":[348],"possible":[349],"expert":[351],"paper,":[355],"solicited":[358],"community":[361,596],"as":[362,370,493,571],"whole.":[364],"One":[365],"member":[367],"designated":[369],"`guardian'":[371],"paper":[374],"take":[376],"lead":[378],"identifying":[380],"suitable":[381],"candidate":[382],"externals.":[383],"In":[384,574],"all,":[385,575],"273":[386],"individials":[387],"contributed":[388],"reviews.":[390],"majority":[392],"(146)":[395],"received":[396,400,403,407],"four":[397],"reviews;":[398],"53":[399],"five,":[401],"15":[402],"three,":[404],"2":[406],"six":[408],"(the":[409],"remaining":[410],"4":[411],"withdrawn":[413],"before":[414],"meeting).":[417],"meeting":[420],"Cambridge":[422],"discussed":[423],"102":[424],"over":[426],"two":[427],"days,":[428],"first":[431,462],"pass":[432],"random":[435],"order":[436],"then":[437],"second":[439],"pass.":[441],"51":[442],"accepted":[445],"(23%":[446],"submissions).":[449],"A":[450,534,558],"lightweight":[451],"double-blind":[452,552],"used":[456],"reduce":[458],"effect":[460],"impression":[463],"biases:":[464],"authors":[465],"asked":[467],"anonymise":[469],"submissions,":[471],"but":[472,504],"restricted":[475],"disseminating":[477],"work":[479],"any":[481,511],"normal":[484],"ways.":[485],"members":[487],"permitted":[489],"de-blind":[491],"submissions":[492,501],"necessary,":[494],"e.g.":[495],"discuss":[497],"reviewers.":[499,533],"allowed":[503],"involved":[509,530],"way":[512],"selection":[515],"submissions;":[519],"managed":[522],"general":[527],"chairs":[528],"only":[531],"survey":[535,559],"authors,":[537],"between":[538],"author":[540],"response":[541],"period":[542],"meeting,":[546],"gathered":[547],"views":[549],"quality":[556],"ofreviewing.":[557],"submission":[561],"time":[562],"assessed":[563],"current":[565],"use":[566],"mechanised":[568],"tools":[569],"such":[570],"proof":[572],"assistants.":[573],"1009":[576],"individuals":[577],"named":[579],"process,":[582],"including":[583],"reviewer":[584],"suggestions;":[585],"gives":[587],"some":[588],"measure":[589],"size":[592],"present.":[598]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}