{"id":"https://openalex.org/W2002222606","doi":"https://doi.org/10.1145/2656045.2656062","title":"On the existence of probe effect in multi-threaded embedded programs","display_name":"On the existence of probe effect in multi-threaded embedded programs","publication_year":2014,"publication_date":"2014-10-12","ids":{"openalex":"https://openalex.org/W2002222606","doi":"https://doi.org/10.1145/2656045.2656062","mag":"2002222606"},"language":"en","primary_location":{"id":"doi:10.1145/2656045.2656062","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2656045.2656062","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on Embedded Software","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/A5060167466","display_name":"Young Wn Song","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Young Wn Song","raw_affiliation_strings":["Arizona State University, Tempe, AZ"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111935066","display_name":"Yann-Hang Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yann-Hang Lee","raw_affiliation_strings":["Arizona State University, Tempe, AZ"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060167466"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":0.3065,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.56900834,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"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/instrumentation","display_name":"Instrumentation (computer programming)","score":0.8839475512504578},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8322005867958069},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7922968864440918},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6678047180175781},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.6015784740447998},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.5697998404502869},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5436922311782837},{"id":"https://openalex.org/keywords/threading","display_name":"Threading (protein sequence)","score":0.5321523547172546},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4905332922935486},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.4696711003780365},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.46774226427078247},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.45601797103881836},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.41483867168426514},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3913303017616272},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.35128217935562134},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34012657403945923},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3391982614994049},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27647894620895386}],"concepts":[{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.8839475512504578},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8322005867958069},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7922968864440918},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6678047180175781},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.6015784740447998},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.5697998404502869},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5436922311782837},{"id":"https://openalex.org/C200307862","wikidata":"https://www.wikidata.org/wiki/Q7797175","display_name":"Threading (protein sequence)","level":3,"score":0.5321523547172546},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4905332922935486},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.4696711003780365},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.46774226427078247},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45601797103881836},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.41483867168426514},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3913303017616272},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35128217935562134},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34012657403945923},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3391982614994049},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27647894620895386},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C47701112","wikidata":"https://www.wikidata.org/wiki/Q735188","display_name":"Protein structure","level":2,"score":0.0},{"id":"https://openalex.org/C46141821","wikidata":"https://www.wikidata.org/wiki/Q209402","display_name":"Nuclear magnetic resonance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2656045.2656062","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2656045.2656062","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on Embedded Software","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5299999713897705}],"awards":[{"id":"https://openalex.org/G5068706073","display_name":null,"funder_award_id":"856090","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W96001652","https://openalex.org/W201077799","https://openalex.org/W1535947298","https://openalex.org/W1877496576","https://openalex.org/W1964104501","https://openalex.org/W1972544179","https://openalex.org/W2005728319","https://openalex.org/W2005795572","https://openalex.org/W2020009542","https://openalex.org/W2059259057","https://openalex.org/W2100889285","https://openalex.org/W2102740706","https://openalex.org/W2122532513","https://openalex.org/W2123184511","https://openalex.org/W2129370612","https://openalex.org/W2130567108","https://openalex.org/W2147801215","https://openalex.org/W2155506281","https://openalex.org/W2162336600","https://openalex.org/W2166778115","https://openalex.org/W2167744164","https://openalex.org/W2172035080","https://openalex.org/W3137220996","https://openalex.org/W4248649658","https://openalex.org/W4250276807"],"related_works":["https://openalex.org/W2146279349","https://openalex.org/W3111646971","https://openalex.org/W2901225818","https://openalex.org/W2142904844","https://openalex.org/W2166766372","https://openalex.org/W3120011499","https://openalex.org/W2514903476","https://openalex.org/W2104654077","https://openalex.org/W2099479461","https://openalex.org/W2010090549"],"abstract_inverted_index":{"Software":[0],"instrumentation":[1,19,47,80,111,136],"has":[2,63,70],"been":[3,59],"a":[4,96,117,132,141],"convenient":[5],"and":[6,29,53,81,128,155],"portable":[7],"approach":[8],"for":[9],"dynamic":[10],"analysis,":[11],"debugging,":[12],"or":[13],"profiling":[14],"of":[15,25,34,103,116,124,148,159],"program":[16,27,76,118,126,153],"execution.":[17],"Unfortunately,":[18],"may":[20],"change":[21],"the":[22,43,71,75,83,101,122,146,151,157],"temporal":[23],"behavior":[24,73],"multi-threaded":[26],"execution":[28,69,77,84,104,114,127,154],"result":[30],"in":[31,131,150],"different":[32],"ordering":[33,106,147],"thread":[35],"operations,":[36],"which":[37],"is":[38,119,129,138],"called":[39],"probe":[40,160],"effect.":[41],"While":[42],"approaches":[44],"to":[45,49,54,99],"reduce":[46],"overhead,":[48],"enable":[50],"reproducible":[51],"execution,":[52],"enforce":[55],"deterministic":[56],"threading":[57],"have":[58],"studied,":[60],"no":[61],"research":[62],"yet":[64],"answered":[65],"if":[66,87],"an":[67],"instrumented":[68,125],"same":[72],"as":[74],"without":[78],"any":[79],"how":[82],"gets":[85],"changed":[86],"there":[88],"were":[89],"any.":[90],"In":[91],"this":[92],"paper,":[93],"we":[94,143],"propose":[95],"simulation-based":[97],"analysis":[98,134],"detect":[100],"changes":[102],"event":[105],"that":[107],"are":[108],"induced":[109],"by":[110],"operations.":[112],"The":[113],"model":[115],"constructed":[120],"from":[121,163],"trace":[123],"used":[130],"simulation":[133],"where":[135],"overhead":[137],"removed.":[139],"As":[140],"consequence,":[142],"can":[144],"infer":[145],"events":[149],"original":[152],"verify":[156],"existence":[158],"effect":[161],"resulted":[162],"instrumentation.":[164]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}