{"id":"https://openalex.org/W2049569824","doi":"https://doi.org/10.1145/1966445.1966464","title":"Striking a new balance between program instrumentation and debugging time","display_name":"Striking a new balance between program instrumentation and debugging time","publication_year":2011,"publication_date":"2011-04-10","ids":{"openalex":"https://openalex.org/W2049569824","doi":"https://doi.org/10.1145/1966445.1966464","mag":"2049569824"},"language":"en","primary_location":{"id":"doi:10.1145/1966445.1966464","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1966445.1966464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the sixth conference on Computer systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/160169","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081470806","display_name":"Olivier Crameri","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Olivier Crameri","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089615986","display_name":"Ricardo Bianchini","orcid":"https://orcid.org/0000-0001-5971-5084"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ricardo Bianchini","raw_affiliation_strings":["Rutgers University, Piscataway, NJ, USA","Rutgers University , Piscataway, NJ , USA ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rutgers University, Piscataway, NJ, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers University , Piscataway, NJ , USA ,","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007706911","display_name":"Willy Zwaenepoel","orcid":"https://orcid.org/0000-0002-4182-6920"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Willy Zwaenepoel","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.369,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.95129225,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"214"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"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/debugging","display_name":"Debugging","score":0.8361599445343018},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8090764284133911},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6571885347366333},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6340739130973816},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.6293715834617615},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5443103909492493},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4779469966888428},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.43133363127708435},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4136078357696533},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.33534255623817444},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3336039185523987},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32043910026550293},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2565748691558838},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16672521829605103}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8361599445343018},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8090764284133911},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6571885347366333},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6340739130973816},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.6293715834617615},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5443103909492493},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4779469966888428},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.43133363127708435},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4136078357696533},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.33534255623817444},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3336039185523987},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32043910026550293},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2565748691558838},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16672521829605103},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1966445.1966464","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1966445.1966464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the sixth conference on Computer systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.298.4267","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.4267","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rutgers.edu/~ricardob/papers/eurosys11.pdf","raw_type":"text"},{"id":"pmh:oai:infoscience.epfl.ch:160169","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/160169","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.epfl.ch:163245","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/163245","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:160169","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/160169","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W25249528","https://openalex.org/W1557422289","https://openalex.org/W1582749986","https://openalex.org/W1710734607","https://openalex.org/W1867761151","https://openalex.org/W2009489720","https://openalex.org/W2028573465","https://openalex.org/W2033472898","https://openalex.org/W2065948900","https://openalex.org/W2066660519","https://openalex.org/W2097576663","https://openalex.org/W2101512909","https://openalex.org/W2107089133","https://openalex.org/W2108863067","https://openalex.org/W2121766388","https://openalex.org/W2130473288","https://openalex.org/W2142892618","https://openalex.org/W2154698535","https://openalex.org/W2914209329","https://openalex.org/W4232884709","https://openalex.org/W4241972075","https://openalex.org/W6637688222","https://openalex.org/W6676011693"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2295023886","https://openalex.org/W4285586714","https://openalex.org/W2751940653","https://openalex.org/W1970932400","https://openalex.org/W2914996832","https://openalex.org/W1566618018","https://openalex.org/W2755634893","https://openalex.org/W4245197793","https://openalex.org/W1994915990"],"abstract_inverted_index":{"Although":[0],"they":[1],"are":[2],"helpful":[3],"in":[4,27,63,66,190],"many":[5],"cases,":[6],"state-of-the-art":[7],"bug":[8,40,79,178,192,201],"reporting":[9,41,193],"systems":[10],"may":[11],"impose":[12],"excessive":[13],"overhead":[14,134,172],"on":[15],"users,":[16],"leak":[17],"private":[18],"information,":[19],"or":[20],"provide":[21],"little":[22],"help":[23],"to":[24,39,48,53,68,74,92,120],"the":[25,29,50,70,82,88,94,104,112,124,130,143,154,164,171,177],"developer":[26],"locating":[28],"problem.":[30],"In":[31],"this":[32],"paper,":[33],"we":[34],"explore":[35],"a":[36,54,78,98],"new":[37],"approach":[38],"that":[42,72,102,116,153,157,183],"uses":[43,84],"partial":[44,89,107],"logging":[45,175],"of":[46,100,114,173],"branches":[47,71],"record":[49],"path":[51],"leading":[52],"bug.":[55,105],"We":[56,128,181],"use":[57],"static":[58,159],"and":[59,65,96,135,146,160,176,194],"dynamic":[60,161],"analysis":[61,162],"(both":[62],"isolation":[64],"tandem)":[67],"identify":[69],"need":[73,119],"be":[75,121],"logged.":[76],"When":[77],"is":[80],"encountered,":[81],"system":[83],"symbolic":[85,125,196],"execution":[86,126,197],"along":[87],"branch":[90,108,174],"trace":[91],"reproduce":[93],"problem":[95],"find":[97],"set":[99],"inputs":[101],"activate":[103],"The":[106],"log":[109],"drastically":[110],"reduces":[111],"number":[113],"paths":[115],"would":[117],"otherwise":[118],"explored":[122],"by":[123],"engine.":[127],"study":[129],"tradeoff":[131],"between":[132],"instrumentation":[133,155],"debugging":[136],"time":[137],"using":[138],"an":[139,187],"open-source":[140],"Web":[141],"server,":[142],"diff":[144],"utility,":[145],"four":[147],"coreutils":[148],"programs.":[149],"Our":[150],"results":[151],"show":[152],"method":[156],"combines":[158],"strikes":[163],"best":[165],"compromise,":[166],"as":[167],"it":[168],"limits":[169],"both":[170],"reproduction":[179],"time.":[180],"conclude":[182],"our":[184],"techniques":[185],"represent":[186],"important":[188],"step":[189],"improving":[191],"making":[195],"more":[198],"practical":[199],"for":[200],"reproduction.":[202]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":8}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}
