Selected publications by Stefan Schwoon

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). This paper shows how weighted PDSs yield new algorithms for certain classes of interprocedural dataflow-analysis problems.

   author = {Reps, Thomas and Schwoon, Stefan and Jha, Somesh and Melski, David},
   DOI = {10.1016/j.scico.2005.02.009},
   journal = {Science of Computer Programming},
   month = oct,
   number = {1-2},
   pages = {206-263},
   publisher = {Elsevier Science Publishers},
   title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},
   url = {},
   volume = {58},
   year = {2005},

About LSV