Learn More
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in conjunction. To this end, we propose a method for static detection of deadlock in Java libraries. Our goal is to determine whether client code exists that may deadlock a library,(More)
Estimates suggest that one third of United States health care spending results from overuse or misuse of tests, procedures, and therapies. The American Board of Internal Medicine Foundation, in partnership with Consumer Reports, initiated the "Choosing Wisely" campaign to identify areas in patient care and resource use most open to improvement. Nine(More)
  • 1