German Vidal

Everything is vague to a degree you do not realize till you have tried to make it precise.
Bertrand Russell

Germán Vidal

Professor of Computer Science (Catedrático de Universidad)

Ph.D. in Computer Science (Doctor en Informática)

Member of the MiST / ELP / GPLIS research groups at DSIC, Technical University of Valencia

Contact

Postal address:
Germán Vidal
Edificio DSIC (1F) - Despacho 2D42
Universidad Politécnica de Valencia
Camino de Vera s/n
E-46022 Valencia, Spain

Visiting address:
Room 2D42 (2nd floor)
DSIC building, UPV
Phone: +34-96-387-7007 (Ext. 73587 / 113587)
Fax: +34-96-387-7359

Email:	gvidal	_at_	dsic.upv.es
or	gvidal	_at_	acm.org

Research interests

Programming languages and, in particular, multi-paradigm languages; declarative programming; functional, logic, and functional logic programming; semantics; narrowing strategies; laziness; compositionality; the programming languages Prolog, Haskell, and Curry; domain-specific (embedded) languages
Program analysis and transformation and, in particular, fold/unfold; refactoring; partial evaluation and specialization; profiling; cost analysis and estimation; termination analysis; debugging; tracing; slicing

Publications

Online papers sorted by year and by topic.
My list of publications in the DBLP Bibliography Server and some of my coauthors
My Erdös Number is 5 (according to the "Collaboration Distance" tool of MathSciNet).
The path found is Germán Vidal - Sergio Antoy - Massimo Ancona - Jitender S. Deogun - Dieter Kratsch - Paul Erdös.

Scientific activities (BTW, a great list of interesting conferences and workshops is maintained by Bernhard Gramlich )

ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), member of the steering committee
- Current edition: PEPM 2010, to be held in Madrid, Spain, Jan 18-19, 2010
  Deadline: October 6, 2009
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)
Deadlines: October 16, 2009 (abstracts) / October 23, 2009 (papers)
11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2009), Coimbra (Portugal), September 7-9, 2009 (PC member)
19th International Workshop 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 (Partial Evaluation and Semantics-Based Program Manipulation), member of the steering committee
- Current edition: 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...

Teaching (in spanish)

Current (and former) PhD students

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.

Research projects

Software available (TNT new

- improved web interface for proff (v1.2, Sep 2007) - try also PEPE new

) My brother's site, Salvador Vidal.

www.flickr.com

MiST

ELP

GPLIS

DSIC

UPV

Last update / gvidal (at) dsic (dot) upv (dot) es