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-allpaths 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.

   address = {San~Diego, California, USA},
   author = {Reps, Thomas and Schwoon, Stefan and Jha, Somesh},
   booktitle = {{P}roceedings of the 10th {I}nternational {S}ymposium {S}tatic {A}nalysis ({SAS}'03)},
   editor = {Cousot, Radhia},
   month = jun,
   pages = {189-213},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},
   url = {},
   volume = {2694},
   year = {2003},

About LSV