Now showing items 1-1 of 1

    • Validating Library Usage Interactively 

      Jha, Somesh; Lu, Shan; Jin, Guoliang; Harris, William R. (2013-01-28)
      Programmers who develop large, mature applications often want to optimize the performance of their program without changing the semantics of the program. They often do so by changing how their program invokes a library ...