Search Results

Documents authored by Singer, Jeremy

Towards Probabilistic Program Slicing

Authors: Jeremy Singer

Published in: Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006)

This paper outlines the concept of extit{probabilistic} program slicing. It walks through a simple example before describing some algorithmic concerns. Then three motivating applications are described. Finally it highlights existing work that may be built upon, and future work that needs immediate attention if this idea is to succeed.

Cite as

Jeremy Singer. Towards Probabilistic Program Slicing. In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

  author =	{Singer, Jeremy},
  title =	{{Towards Probabilistic Program Slicing}},
  booktitle =	{Beyond Program Slicing},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5451},
  editor =	{David W. Binkley and Mark Harman and Jens Krinke},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-4856},
  doi =		{10.4230/DagSemProc.05451.9},
  annote =	{Keywords: Probability, slicing, speculation}
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail