Now showing items 25-27 of 27

    • 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 ...
    • Verifying Information Flow Control Over Unbounded Processes 

      Harris, William; Kidd, Nicholas; Chaki, Sagar; Jha, Somesh; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2009)
      Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that restricts interactions between system objects, such ...
    • Weighted Pushdown Systems and Their Applications to Interprocedural Dataflow Analysis 

      Reps, Thomas; Schwoon, Stefan; Jha, Somesh (University of Wisconsin-Madison Department of Computer Sciences, 2003)
      Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-all-paths value (for paths that meet a certain criterion). ...