Thresher: Precise Refutations for Heap Reachability Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• June 16, 2013

has restriction

• closed

Date in CU Experts

• October 17, 2013 8:36 AM

Full Author List

• Blackshear S; Chang B-YE; Sridharan M

author count

• 3

citation count

• 30

published in

• ACM Sigplan Notices  Journal

presented at event

• 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0362-1340

Electronic International Standard Serial Number (EISSN)

• 1558-1160

Digital Object Identifier (DOI)

• https://doi.org/10.1145/2499370.2462186

Additional Document Info

start page

• 275

end page

• 286

volume

• 48

issue

• 6