contact information

Postal address Germán Vidal
DSIC, Universitat Politècnica de València
Camino de Vera, S/N
46020 Valencia, Spain
Visiting address DSIC building, Room 2D42 (2nd floor)
Universitat Politècnica de València
Phone: +34-96-387-7007 (Ext. 13587)
Email: gvidal@dsic.upv.es / gvidal@acm.org

research interests

  • Current R+D projects: CAVI-ROSE (Computer assisted validation by using sound and rigorous methods) and COST action IC1405 on reversible computation -extending horizons of computing.
  • programming languages

    • multi-paradigm languages; declarative programming; functional, logic, and functional logic programming; program semantics; narrowing strategies; laziness; compositionality; concurrency; Prolog, Haskell, Erlang, Curry; domain-specific (embedded) languages
  • program analysis and transformation

    • partial evaluation, fold/unfold; refactoring; specialization; profiling; cost analysis and estimation; termination analysis; debugging; tracing; slicing; symbolic execution, program inversion; automatic parallelization; test-case generation

editorial boards

program committees

PC chair

invited talks

steering committees

  • PPDP (Principles and Practice of Declarative Programming), since 2016
  • LOPSTR (Logic-based Program Synthesis and Transformation), since 2010
  • FLOPS (International Symposium on Functional and Logic Programming), since 2008
  • ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), 2005 - 2011

other activities

copyrights are held variously by the authors or publishers. In general, these papers are provided for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions. If you wish to cite any of the published work, please look up the formal publication, and use that version. The preprints in this area are as accurate as I can make them, but they are not authoritative copies of the published versions

2016

2015

2014

2013

  • Naoki Nishida and Germán Vidal. A Finite Representation of the Narrowing Space. 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013. PDF.
  • Naoki Nishida and Germán Vidal. Computing More Specific Versions of Conditional Rewriting Systems. Revised and selected papers from LOPSTR 2012. Springer, volume 7844, pp. 137-154, 2013. PDF preprint. Online version © Springer
  • Germán Vidal. Towards Erlang Verification by Term Rewriting. 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013. PDF. Check also the web interface of the erlang2trs tool.

2012

  • Matthias Blume and Germán Vidal (guest editors). Functional and Logic Programming. Theoretical Computer Science, vol. 435. Special issue on FLOPS 2010. Available online
  • Naoki Nishida and Germán Vidal. More Specific Term Rewriting Systems. Proc. of the 21st International Workshop on Functional and (Constraint) Logic Programming (WFLP 2012). PDF
  • Naoki Nishida and Germán Vidal. Computing More Specific Versions of Conditional Rewriting Systems. 22nd International Symposium on Logic-Based Program Synthesis and Transformation , LOPSTR 2012. PDF (check also the extended version with proofs).
  • Germán Vidal. Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation. 28th International Conference on Logic Programming, ICLP 2012. PDF (check also PPEval) LOPSTR 2011 
						cover
  • Germán Vidal. Closed symbolic execution for verifying program termination. 12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012. PDF (extended version including proofs; check also SETT)
  • Germán Vidal (editor). Logic-Based Program Synthesis and Transformation. Revised and selected papers from LOPSTR 2011. Springer, volume 7225, 2012. Online version © Springer

2011

  • Julia Lawall, Germán Puebla and Germán Vidal (guest editors). Partial Evaluation and Program Manipulation. Higher-Order and Symbolic Computation, vol. 24(1-2), June 2011. Special issue on PEPM 2009. Available online
  • Naoki Nishida and Germán Vidal. Program Inversion for Tail Recursive Functions. RTA 2011, LIPIcs proceedings, vol 10, 2011. PDF. Online paper
  • Germán Vidal (editor). Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), July 18-20, 2011, Odense, Denmark. PDF

2010

2009

  • José Iborra, Naoki Nishida and Germán Vidal. Goal-directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR 2009, Springer LNCS 6037, pp. 52-66, 2010. PDF. Online paper. Experimental evaluation © Springer
  • Germán Puebla, Germán Vidal. Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2009). Savannah, GA (USA), January 19-20, ACM Press, 2009. Online version © ACM Press
  • Michael Leuschel, Salvador Tamarit, and Germán Vidal. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. WFLP 2009, Springer LNCS 5979, 111-127, 2010. PDF © Springer
  • Germán Vidal. Towards Scalable Partial Evaluation of Declarative Programs (invited talk). LOPSTR 2009, Springer LNCS, 6037, pp. 1-4, 2010. PDF. Slides. Online paper © Springer

2008

  • Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR 2008, Springer LNCS 5438, pp. 40-54, 2009. PDF © Springer SAS 2008
                                                cover
  • María Alpuente, Germán Vidal. Proceedings of the 15th International Symposium on Static Analysis (SAS 2008), Valencia (Spain), July 16-18, Springer LNCS, 2008. Online version © Springer
  • Michael Leuschel, Germán Vidal. Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008. Springer LNCS 5438, pp. 119-134, 2009. PDF. Slides © Springer
  • Michael Leuschel, Salvador Tamarit, and Germán Vidal. Improving Size-Change Analysis in Offline Partial Evaluation. WLPE 2008, pp. 44-51, 2008. PDF
  • Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal. Dynamic Slicing Techniques for Petri Nets. RP 2008. Electronic Notes in Theoretical Computer Science 223:153-165, 2008. PDF preprint. Online article © Elsevier
  • Claudio Ochoa, Josep Silva, and Germán Vidal. Dynamic Slicing of Lazy Functional Programs Based on Redex Trails. Higher-Order and Symbolic Computation (formerly Lisp and Symbolic Computation), 21(1-2): 147-192, 2008. Pre-press version. Online article © Springer
  • Germán Vidal. Termination of Narrowing in Left-Linear Constructor Systems. FLOPS 2008, PDF. Springer LNCS 4989, pp. 113-129, 2008. Online paper. Slides (extended and updated version) © Springer
  • Germán Vidal. Trace Analysis for Predicting the Effectiveness of Partial Evaluation (short paper). ICLP 2008, pp. 790-794, Springer LNCS 5366, 2008. See also the extended version. PDF. Online paper. Slides. Poster © Springer
  • Germán Vidal. Predicting the Speedup of Partial Evaluation. Technical report, DSIC, Universitat Politècnica de València, 2008. PDF

2007

  • Bernd Brassel, Sebastian Fischer, Michael Hanus, Frank Huch, Germán Vidal. Lazy Call-By-Value Evaluation. ICFP 2007, SIGPLAN Notices 42(9): 265-276, ACM Press, 2007. PDF © ACM Press
  • Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. Preserving Sharing in the Partial Evaluation of Lazy Functional Programs . LOPSTR 2007, Springer LNCS 4915, pp. 74-89, 2008. PDF preprint. Online paper © Springer
  • Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. Towards a Safe Partial Evaluation of Lazy Functional Logic Programs. WFLP 2007, 2007. PDF
  • J.Guadalupe Ramos, Josep Silva, and Germán Vidal. Ensuring the Quasi-Termination of Needed Narrowing Computations. Information Processing Letters 101(5): 220-226, 2007. PDF preprint © Elsevier
  • Josep Silva, Germán Vidal. Forward Slicing of Functional Logic Programs by Partial Evaluation. Theory and Practice of Logic Programming 7(1-2): 215-247, 2007. Online article (with proofs) © Cambridge University Press
  • Germán Vidal. Quasi-terminating Logic Programs for Ensuring the Termination of Partial Evaluation. PEPM 2007, ACM Press, pp. 51-60, 2007. PDF © ACM Press

2006

  • Jesús Almendros and Germán Vidal. Automatic Partial Inversion of Inductively Sequential Functions . IFL'06, Springer LNCS 4449, pp. 253-270, 2007. PDF. Online paper © Springer
  • Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal. Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs. LOPSTR 2006, Springer LNCS 4407, pp. 60-76, 2007. PDF. Online paper © Springer
  • Diego Cheda, Josep Silva, Germán Vidal. Static Slicing of Rewrite Systems. WFLP 2006, Electronic Notes in Theoretical Computer Science 177:123-136, 2007. PDF preprint. Online paper © Elsevier
  • Claudio Ochoa, Josep Silva, Germán Vidal. A Slicing Tool for Lazy Functional Logic Programs. JELIA'06, Springer LNCS 4160, pp. 498-560, 2006. PDF © Springer-Verlag

2005

  • Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation 40(1): 795-829, 2005. PDF preprint. Online article © Elsevier Science
  • María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of Functional Logic Programs Based on Needed Narrowing. Theory and Practice of Logic Programming 5(3):273-303, 2005. Online article (with proofs) © Cambridge University Press
  • Michael Leuschel, Germán Vidal. Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005, Springer LNCS 3444, pp. 61-76, 2005. PDF © Springer
  • Claudio Ochoa, Josep Silva, Germán Vidal. Lighweight Program Specialization via Dynamic Slicing. WCFLP 2005, pp. 1-7, ACM Press, 2005. PDF © ACM Press
  • J. Guadalupe Ramos, Josep Silva, Germán Vidal. Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. ICFP 2005, SIGPLAN Notices 40(9): 228-238, ACM Press, 2005. PDF preprint. Online version. © ACM Press
    Note: The proof of the main result of this paper can be found in a separate article
  • J. Guadalupe Ramos, Josep Silva, Germán Vidal. An Offline Partial Evaluator for Curry Programs. WCFLP 2005, pp. 49-53, ACM Press, 2005. PDF © ACM Press

2004

2003

  • Elvira Albert, Josep Silva, and Germán Vidal. Time Equations for Lazy Functional (Logic) Languages. AGP 2003, pp. 13-24, 2003. PDF
  • Elvira Albert, Michael Hanus, and Germán Vidal. A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs. Information Processing Letters 85(1):19-25, 2003. PDF preprint © Elsevier
  • María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal. Uniform Lazy Narrowing. Journal of Logic and Computation, 13(2): 287-312, 2003. PDF preprint © Oxford University Press
  • Germán Vidal (editor). Functional and (Constraint) Logic Programming. Selected papers from the 12th Int'l Workshop (WFLP 2003). Electronic Notes in Theoretical Computer Science, volume 86, issue 3, November 2003. Volume 86(3) of ENTCS
  • Germán Vidal (editor). 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2003). Technical Report DSIC II/14/03, Universidad Politécnica de Valencia, Spain, June 8, 2003. WFLP 2003 Proceedings

2002

  • Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, and Germán Vidal. Operational Semantics for Functional Logic Languages. Electronic Notes in Theoretical Computer Science (selected papers from WFLP'02), vol. 76, 2002. PDF © Elsevier
  • Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, and Germán Vidal. An Operational Semantics for Declarative Multi-Paradigm Languages. Electronic Notes in Theoretical Computer Science (selected papers from WRS'02), vol. 70(6), 2002. PDF © Elsevier
  • Elvira Albert, Michael Hanus, and Germán Vidal. A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002(1):1-34, March 2002 Online Article © EAPLS
  • Elvira Albert, Germán Vidal. The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1):3-26, 2002. PDF preprint
  • María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal. Lazy Narrowing and Needed Narrowing: A Comparison. WFLP'02. PS
  • Germán Vidal. Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation. LOPSTR'02, pp. 219-237, Springer LNCS 2664, 2003. PDF © Springer-Verlag
  • Germán Vidal. A Partial Evaluation Tool for Multi-Paradigm Declarative Programs. 2002 IEEE International Conference on Systems, Man and Cybernetics, pp. 194-199, IEEE Press, 2002. PDF © IEEE
  • Germán Vidal. Cost-Augmented Narrowing-Driven Specialization. PEPM'02, SIGPLAN NOTICES 37(3): 52-62, 2002. PDF © ACM Press

2001

2000

  • Elvira Albert, Sergio Antoy, Germán Vidal. Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR 2000. PS. Online paper © Springer-Verlag
  • Elvira Albert, Sergio Antoy, and Germán Vidal. A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP 2000, Benicassim (Spain), Ed. UPV (ref. 2000.2039), pp. 120-127, 2000
  • Elvira Albert, César Ferri, Frank Steiner, Germán Vidal. Improving Functional Logic Programs by Difference-Lists. ASIAN 2000. PS © Springer-Verlag
  • Elvira Albert, César Ferri, Frank Steiner, Germán Vidal. List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP 2000, Benicassim (Spain). Ed. UPV (ref. 2000.2039), pp. 184-194, 2000
  • Elvira Albert, Michael Hanus, Germán Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000, Reunion Island, France, 2000. PS © Springer-Verlag
  • Elvira Albert, Michael Hanus, and Germán Vidal. Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000, Benicassim (Spain). Ed. UPV (ref. 2000.2039), pp. 104-119, 2000
  • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000, Milovy, Czech Republic, 2000. PS © Springer-Verlag
  • María Alpuente, Moreno Falaschi, Ginés Moreno, and Germán Vidal. Using PE to Automate Program Composition. WFLP 2000, Benicassim (Spain). Ed. UPV (ref. 2000.2039), pp. 169-183, 2000

1999

  • Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal. A Partial Evaluation Framework for Curry Programs. LPAR'99, 1999. PS © Springer-Verlag
  • Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal. Partial Evaluation of Residuating Functional Logic Programs. WFLP'99, Grenoble (France), 1999
  • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. A Transformation System for Lazy Functional Logic Programs. FLOPS'99, 1999. PS. Online paper © Springer-Verlag
  • María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of Inductively Sequential Functional Logic Programs. ICFP'99. ACM Sigplan Notices 34(9):273-283, 1999. PS © ACM Press
  • María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of Functional Logic Programs Based on Needed Narrowing. WFLP'99, Grenoble (France), 1999

1998

1997

  • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Safe Folding/Unfolding with Conditional Narrowing. ALP'97, 1997. PDF preprint. Online paper © Springer-Verlag
  • María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Specialization of Lazy Functional Logic Programs. PEPM'97, ACM Sigplan Notices, volume 32(12):151-162, ACM Press, 1997. PDF
  • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE'97, Grado (Italy). G.R.U. Logic Programming, pp. 347-358, 1997.
  • Germán Vidal. Semantics-Based Analysis and Transformation of Functional Logic Programs (thesis abstract). Bulletin of the EATCS, number 61:253-254, Feb 1997

1996

  • María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Call-by-Name Specialization of Functional Logic Programs. MPLP'96, Bonn (Germany). T.U. Berlin, 1996. PDF
  • María Alpuente, Moreno Falaschi, Germán Vidal. A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theoretical Computer Science, volume 165(1):97-131, Sept 1996. PDF preprint
  • María Alpuente, Moreno Falaschi, Germán Vidal. Narrowing-driven Partial Evaluation of Functional Logic Programs. ESOP'96, Linköping (Sweden). Springer LNCS 1058, pp. 45-61, 1996. PDF Online paper © Springer-Verlag
  • Germán Vidal. Semantics-Based Analysis and Transformation of Functional Logic Programs. Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Sep 1996. In Spanish (published by Ed. UPV, ISBN 84-699-5066-5, 2001). PDF / PS

1995

  • María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Narrowing-driven Specialization of Functional Logic Programs. 4th Compulog Subgroup Meeting on Programming Languages, 1995. PDF
  • María Alpuente, Moreno Falaschi, Germán Vidal. Partial Evaluation of Functional Logic Programs. First International Workshop of the HCM Project CONSOLE, Venezia, Italy, 1995

1994

  • María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. A Compositional Semantics for Conditional Term Rewriting Systems. ICCL'94, Tolouse (France). IEEE Society Press, pp. 7-12, 1994. PDF © IEEE Computer Society Press
  • María Alpuente, Moreno Falaschi, María José Ramis and Germán Vidal. Unfolding of Equational Logic Programs. Third Compulog-Network Subgroup Meeting on Programming Languages, Madrid, Spain, 1994. PDF
  • María Alpuente, Moreno Falaschi, Germán Vidal. Compositional Analysis for Equational Horn Programs. ALP'94, Madrid (Spain). Springer LNCS 850, pp. 77-94, 1994. PDF. Online paper © Springer-Verlag

1993

  • María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP'93, Tallin (Estonia). Springer LNCS 714, pp. 391-409, 1993. PDF © Springer-Verlag
  • María Alpuente, Moreno Falaschi, Germán Vidal. Compositional Analysis for Equational Horn Programs. PRODE'93, Blanes (Spain). CSIC, pp. 155-172, 1993.
  • María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. Using Narrowing Approximations to Optimize Equational Logic Programs. GULP'93, Gizzeria Lido (Italy). G.R.U. Logic Programming, 1993. PDF
  • María Alpuente, Moreno Falaschi, Germán Vidal. Incremental Equational Constraint Analyses. ILPS'93, Vancouver (Canada). MIT Press, Cambridge, MA, 1993. Poster.PDF
  • Germán Vidal. Optimizations of Equational Logic Programs Using Abstract Narrowing. Technical Report DSIC - II/32/93, UPV. PDF

1992

  • María Alpuente, Javier Piris, María José Ramírez, Germán Vidal. Combination and Evaluation of Incremental Strategies in CLP(H/E). Technical Report DSIC - II/14/92, UPV. In Spanish

software tools available

  • contest, a tool for concolic testing in (pure) Prolog
  • tcgen, a tool for test case generation in Prolog based on the construction of finite (closed) SLD trees
  • erlang2trs, a tool for transforming Erlang programs into term rewrite systems so that existing techniques and tools for the verification of rewrite systems can be used
  • SETT, a symbolic execution-based termination tool for simple imperative programs
  • PPEval, a paralellizing lightweight partial evaluator that is able to extract parallelism from sequential logic programs
  • CPD lite, a lightweight approach to conjunctive partial evaluation of logic programs, combining online and offline styles
  • TNT, a termination prover for narrowing
  • improved web interface for proff (v1.2, Sep 2007), a Prolog offline partial evaluator
  • PEPE, a tool for predicting the effects of partial evaluation

You can also find some old prototypes in this page.

current PhD students

former PhD students

  • Salvador Tamarit. Analysis Techniques for Concurrent Programming Languages. Universitat Politècnica de València, 2013.
  • Gustavo Arroyo. Evaluación parcial dirigida por narrowing. Técnicas de optimización y aplicaciones. Universitat Politècnica de València, 2012.
  • Josep Silva. Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging. Universitat Politècnica de València, 2007.
  • J. Guadalupe Ramos. Una aproximación offline a la evaluación parcial dirigida por narrowing. Universitat Poliècnica de València, 2007.
  • Elvira Albert. Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency. Universitat Politècnica de València, 2001.
  • Ginés Moreno. Reglas y Estrategias de Transformación para Programas Lógico-Funcionales. Universitat Politècnica de València, 2000.