{"id":"https://openalex.org/W322378381","doi":null,"title":"Type discovery for parameterized race-free Java","display_name":"Type discovery for parameterized race-free Java","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W322378381","mag":"322378381"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.136.3492","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.3492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.sunysb.edu/~stoller/papers/type-discovery-for-PRFJ.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Rahul Agarwal","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rahul Agarwal","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5021474885","display_name":"Scott D. Stoller","orcid":"https://orcid.org/0000-0002-8824-6835","observed_orcids":["https://orcid.org/0000-0002-8824-6835"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Scott D. Stoller","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"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":3,"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":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0003000000142492354,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/data-races","display_name":"data races","score":0.6840000152587891},{"id":"https://openalex.org/keywords/type-annotations","display_name":"type annotations","score":0.48899999260902405},{"id":"https://openalex.org/keywords/concurrent-programs","display_name":"concurrent programs","score":0.5460000038146973},{"id":"https://openalex.org/keywords/runtime-monitoring","display_name":"runtime monitoring","score":0.7269999980926514},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.9620000123977661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.815217137336731},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.72865891456604},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7172577381134033},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7094801068305969},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.6107103824615479},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6100170612335205},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.5960008502006531},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.5414050221443176},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.539978563785553},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.49082717299461365},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.4885014295578003},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.47224777936935425},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.42209935188293457},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.4209287166595459},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.41458889842033386},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3709948658943176},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.2957034111022949},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2118798792362213},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17225179076194763},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.136.3492","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.3492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.sunysb.edu/~stoller/papers/type-discovery-for-PRFJ.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1483476483","https://openalex.org/W1521711401","https://openalex.org/W1972544179","https://openalex.org/W2002179840","https://openalex.org/W2097687957","https://openalex.org/W2103957752","https://openalex.org/W2106972913","https://openalex.org/W2109875364","https://openalex.org/W2116318340","https://openalex.org/W2127989655","https://openalex.org/W2137949167","https://openalex.org/W2144118030","https://openalex.org/W2146934772","https://openalex.org/W2149984854","https://openalex.org/W2161600851","https://openalex.org/W2752885492"],"related_works":["https://openalex.org/W1483476483","https://openalex.org/W3001459306","https://openalex.org/W4241124529","https://openalex.org/W7099204939","https://openalex.org/W7095811573","https://openalex.org/W2137949167","https://openalex.org/W7100863303","https://openalex.org/W7095760105","https://openalex.org/W1994305220","https://openalex.org/W7100448256"],"abstract_inverted_index":{"Concurrent":[0],"programs":[1],"are":[2,9],"notorious":[3],"for":[4,78,93],"containing":[5],"data":[6,30],"races":[7],"that":[8,24,105,157],"difficult":[10],"to":[11,103,124,159,165,177],"reproduce":[12],"and":[13,33,60,81,121,139,171],"diagnose":[14],"at":[15],"run-time.":[16],"This":[17,110],"inspired":[18],"the":[19,27,52,73,95,100,129,133,136,153,163,174],"development":[20],"of":[21,29,43,57,68,72,118,128,135,141,155],"type":[22,48,74,96,101,113,137,142,150],"systems":[23],"statically":[25],"ensure":[26],"absence":[28],"races.":[31],"Boyapati":[32,59,170],"Rinard\u2019s":[34,61,172],"Parameterized":[35],"Race":[36],"Free":[37],"Java":[38,44],"(PRFJ)":[39],"is":[40,108],"an":[41,65,69],"extension":[42],"with":[45],"such":[46],"a":[47,85,90,106,116],"system.":[49],"We":[50,88,131],"give":[51],"first":[53],"complete":[54],"formal":[55],"presentation":[56],"PRFJ;":[58],"paper":[62],"gives":[63],"only":[64],"informal":[66],"sketch":[67],"important":[70],"part":[71],"system,":[75],"namely,":[76],"support":[77],"readonly":[79],"objects":[80,82],"referenced":[83],"by":[84,99,162],"unique":[86],"pointer.":[87],"present":[89],"new":[91],"method":[92],"producing":[94],"annotations":[97,156],"needed":[98,176],"checker":[102],"show":[104],"program":[107],"race-free.":[109],"approach,":[111],"called":[112],"discovery,":[114],"uses":[115],"combination":[117],"run-time":[119],"monitoring":[120],"static":[122],"analysis":[123],"automatically":[125],"obtain":[126],"most":[127],"annotations.":[130],"study":[132],"expressiveness":[134],"system":[138],"efficacy":[140],"discovery":[143,151],"on":[144],"several":[145],"programs.":[146],"In":[147,169],"our":[148],"experiments,":[149,173],"reduced":[152],"number":[154],"need":[158],"be":[160],"supplied":[161],"programmer":[164,175],"about":[166,179],"1.9":[167],"annotations/KLOC.":[168,181],"supply":[178],"25":[180],"1":[182]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2025-10-27T00:00:00"}