Selected publications by Stefan Schwoon

Abstract:
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.

@article{RSJM-scp05,
   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 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/rsjm-scp05.ps},
   volume = {58},
   year = {2005},
}

About LSV