{"id":"https://openalex.org/W2154263917","doi":null,"title":"LEARNING EFFECTIVE BDD VARIABLE ORDERS FOR BDD-BASED PROGRAM ANALYSIS","display_name":"LEARNING EFFECTIVE BDD VARIABLE ORDERS FOR BDD-BASED PROGRAM ANALYSIS","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2154263917","mag":"2154263917"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.71.2141","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.2141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.csail.mit.edu/mcarbin/papers/thesis.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":"https://openalex.org/A5091194125","display_name":"Michael Carbin","orcid":"https://orcid.org/0000-0002-6928-0456","observed_orcids":["https://orcid.org/0000-0002-6928-0456"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael Carbin","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6928-0456","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5091194125"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"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.45410001277923584,"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.45410001277923584,"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/T10142","display_name":"Formal Methods in Verification","score":0.44749999046325684,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.050599999725818634,"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/binary-decision-diagrams","display_name":"binary decision diagrams","score":0.9879999756813049},{"id":"https://openalex.org/keywords/variable-ordering","display_name":"variable ordering","score":0.7509999871253967},{"id":"https://openalex.org/keywords/context-sensitive-analysis","display_name":"context-sensitive analysis","score":0.9079999923706055},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.5529999732971191},{"id":"https://openalex.org/keywords/deductive-databases","display_name":"deductive databases","score":0.7239999771118164},{"id":"https://openalex.org/keywords/program-analysis-tools","display_name":"program analysis tools","score":0.5249999761581421}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8216743469238281},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7718793153762817},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.490073561668396},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.4840199649333954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4786747097969055},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.45027536153793335},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.446688711643219},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.435272216796875},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.43409299850463867},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42292308807373047},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3289385437965393},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.19697564840316772},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.71.2141","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.2141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.csail.mit.edu/mcarbin/papers/thesis.pdf","raw_type":"text"},{"id":"mag:2154263917","doi":null,"is_oa":false,"landing_page_url":"http://people.csail.mit.edu/mcarbin/papers/thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W19219339","https://openalex.org/W203696055","https://openalex.org/W1509515766","https://openalex.org/W1513874326","https://openalex.org/W1519196800","https://openalex.org/W1538957915","https://openalex.org/W1559444365","https://openalex.org/W1593345689","https://openalex.org/W1598033630","https://openalex.org/W1605688901","https://openalex.org/W1633338417","https://openalex.org/W1671718115","https://openalex.org/W1813581279","https://openalex.org/W1838794194","https://openalex.org/W1850527962","https://openalex.org/W1930624869","https://openalex.org/W1942925359","https://openalex.org/W1966280301","https://openalex.org/W1995945562","https://openalex.org/W2000672666","https://openalex.org/W2008009970","https://openalex.org/W2038198320","https://openalex.org/W2075309900","https://openalex.org/W2080021732","https://openalex.org/W2080267935","https://openalex.org/W2085989833","https://openalex.org/W2099564394","https://openalex.org/W2100994366","https://openalex.org/W2109150047","https://openalex.org/W2112076978","https://openalex.org/W2114297459","https://openalex.org/W2120203610","https://openalex.org/W2125403226","https://openalex.org/W2126209209","https://openalex.org/W2133662847","https://openalex.org/W2133824159","https://openalex.org/W2136503680","https://openalex.org/W2139709458","https://openalex.org/W2141472133","https://openalex.org/W2142707936","https://openalex.org/W2145311387","https://openalex.org/W2146530711","https://openalex.org/W2149706766","https://openalex.org/W2151023586","https://openalex.org/W2152761983","https://openalex.org/W2156729262","https://openalex.org/W2158047578","https://openalex.org/W2158600037","https://openalex.org/W2912934387","https://openalex.org/W3139831614","https://openalex.org/W4239569538","https://openalex.org/W4250447890"],"related_works":["https://openalex.org/W1671718115","https://openalex.org/W2083104467","https://openalex.org/W3194436104","https://openalex.org/W4254604099","https://openalex.org/W7095861292","https://openalex.org/W7098355301","https://openalex.org/W2183811590","https://openalex.org/W7098742918","https://openalex.org/W7099185743","https://openalex.org/W7095208622"],"abstract_inverted_index":{"ii":[0],"Software":[1],"reliability":[2,81],"and":[3,13,48,68,82],"security":[4],"are":[5,140],"in":[6,25,55,134],"jeopardy.":[7],"As":[8],"software":[9,59,98],"has":[10,22,120],"become":[11,17,72],"ubiquitous":[12],"its":[14,61],"capabilities":[15],"have":[16,39,44,70,77,90,101],"more":[18,73],"complex,":[19],"code":[20],"quality":[21],"been":[23],"sacrificed":[24],"the":[26,29,95,106],"race":[27],"for":[28],"next":[30],"\u201dkiller":[31],"app.":[32],"\u201d":[33],"In":[34],"response,":[35],"program":[36,87,109,127],"analysis":[37,88,110],"researchers":[38,89],"mounted":[40],"a":[41,146],"revolution;":[42],"they":[43,75],"developed":[45],"new":[46],"tools":[47,67],"methods,":[49],"underpinned":[50],"by":[51],"traditional":[52,147],"compilation":[53,153],"techniques,":[54],"order":[56],"to":[57,93,104,143],"save":[58],"from":[60,79],"downward":[62],"spiral.":[63],"However,":[64],"because":[65],"these":[66],"analyses":[69,130],"also":[71,155],"sophisticated,":[74],"too":[76],"suffered":[78],"scalability,":[80],"complexity":[83],"issues.":[84],"Just":[85],"as":[86,136],"set":[91,102],"out":[92,103],"solve":[94,105],"problems":[96,107],"of":[97,108],"developers,":[99],"we":[100],"researchers.":[111],"The":[112,149],"bddbddb":[113,135,150],"(Binary":[114],"Decision":[115],"Diagram-Based":[116],"Deductive":[117],"DataBase)":[118],"system":[119],"recently":[121],"made":[122],"possible":[123],"many":[124],"advanced,":[125],"context-sensitive":[126],"analyses.":[128],"Such":[129],"can":[131],"be":[132],"expressed":[133],"Datalog":[137],"queries,":[138],"which":[139],"quantifiably":[141],"easier":[142],"write":[144],"than":[145],"implementation.":[148],"system\u2019s":[151],"unique":[152],"mechanisms":[154],"yield":[156]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}