Postal address

Germán Vidal
DSIC, Universitat Politècnica de València
Camino de Vera, S/N
46020 Valencia, Spain

Visiting address

Room 2D42 (2nd floor)
DSIC, Universitat Politècnica de València
Phone: +34-96-387-7007 (Ext. 13587)
Email: gvidal@dsic.upv.es / gvidal@acm.org

Programming languages

• multi-paradigm languages; declarative programming; functional, logic, and functional logic programming; semantics; narrowing strategies; laziness; compositionality; Prolog, Haskell, 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

• Some of my papers.
• My list of publications in the DBLP Bibliography Server and some of my coauthors

• 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012), 18-20 September, 2012, to be held in Leuven, Belgium --co-located with PPDP 2012-- (PC member)
  Deadline: May 21, 2012 (abstract), May 25, 2012 (paper)
• 28th International Conference on Logic Programming (ICLP 2012), to be held in Budapest (Hungary), September 4-8, 2012 (PC member)
  Deadline: March 11, 2012 (abstract), March 18, 2012 (paper)
• 21st International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2011), 18-20 July, 2011, Odense, Denmark, co-located with PPDP 2011 (PC chair)
• 27th International Conference on Logic Programming (ICLP 2011), to be held in Lexington, Kentucky (USA), July 6-10, 2011 (PC member)
• 12th International Symposium on Trends in Functional Programming (TFP 2011), Madrid (Spain), 16-18 May, 2011 (PC member)
• ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), member of the steering committee, 2005 - 2011
• Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), to be held in Edinburgh, Scotland, U.K., July 15, 2010, a satellite event of ICLP 2010 (PC co-chair, with Neng-Fa Zhou)
• 10th International Symposium on Functional and Logic Programming (FLOPS 2010), to be held in Sendai, Japan, April 19-21, 2010 (PC co-chair, with Matthias Blume)
• 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2009), Coimbra (Portugal), September 7-9, 2009 (PC member)
• 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), Coimbra (Portugal), September 9-10, 2009 (invited speaker), slides
• Spanish Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2009), Sagunto, Valencia (Spain), 10-12 June, 2009 (OC member)
  
• 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009), Pasadena, California (USA), satellite event of ICLP 2009, July 14-17, 2009 (PC member)
• IX Jornadas sobre Programación y Lenguajes (PROLE'09), San Sebastián (Spain), September 9-11, 2009 (PC member)
• ACM SIGPLAN PEPM 2009, January 19-20, Savannah (Georgia, USA), 2009 (PC co-chair, with Germán Puebla)
• 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008), Udine (Italy), satellite event of ICLP 2008, December 9-13, 2008 (PC member)
• VIII Jornadas sobre Programación y Lenguajes (PROLE'08), Gijón (Spain), October 7-10, 2008 (PC member)
• 15th International Static Analysis Symposium (SAS'08), Valencia (Spain), July 16-18, 2008 (PC co-chair, with María Alpuente)
• Past research activities...

• Fundamentos lógicos de la ingeniería del software (Cód. 26031)
• Optimización automática de programas (Cód. 6064)
• Programación avanzada (Cód. 2604)
• Ingeniería de requerimientos
• Desarrollo web fácil con jQuery
• Programación AJAX con JavaScript, PHP, XML y JSON

• Gustavo Arroyo. Improving Offline Narrowing-Driven Partial Evaluation (ongoing)
• Salvador Tamarit. Ongoing
  
  
• Josep Silva. Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging. Universidad Politécnica de Valencia, 2007.
• J. Guadalupe Ramos. Una aproximación offline a la evaluación parcial dirigida por narrowing. Universidad Politécnica de Valencia, 2007.
• Elvira Albert. Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency. Universidad Politécnica de Valencia, 2001.
• Ginés Moreno. Reglas y Estrategias de Transformación para Programas Lógico-Funcionales. Universidad Politécnica de Valencia, 2000.

You can check the MiST research projects.

• CPD lite
• TNT
• improved web interface for proff (v1.2, Sep 2007)
• PEPE

You can also check some more prototypes in this page.

My brother's site, Salvador Vidal.