Papers

  • Juan Rodriguez, Josep Silva, David Insa
    Enhancing Trace Debugging with Algorithmic and Omniscient Debugging.
    Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013).
    Available: PDF preprint
  • Juan Rodriguez, Josep Silva, David Insa
    Enhancing Declarative Debugging with Loop Expansion and Tree Compression.
    Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012).
    Available: PDF preprint
  • David Insa, Josep Silva
    An Optimal Strategy for Algorithmic Debugging
    26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
    Oread, Lawrence, Kansas, USA. 6th-12th November 2011.
    © ACM Press
    Available: PDF preprint
  • Diego Cheda, Josep Silva
    State of the Practice in Algorithmic Debugging
    17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2008).
    Electronic Notes in Theoretical Computer Science, 2009.
    © Elsevier
    Available: Abstract / PDF preprint / BibTeX entry
  • Josep Silva
    Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging
    AI Communications, Volume 21(1), pp. 91-92, 2008.
    © IOS Press
    Available: Abstract
  • Josep Silva
    A Comparative Study of Algorithmic Debugging Strategies
    Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2006). Springer LNCS 4407, pp. 60-76, 2007.
    © Springer-Verlag
    Available: Online paper / PDF preprint
  • Josep Silva
    Algorithmic Debugging Strategies
    International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006). pp. 134-140.
    Available: Online paper