German Vidal

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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)
Fax: +34-96-387-7359
Email: gvidal (at) dsic (dot) upv (dot) es

Research interests

Programming languages and, in particular, multi-paradigm languages; declarative programming; functional, logic, and functional logic programming; semantics; narrowing strategies; laziness; compositionality; the language 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 2008, San Francisco, USA, January 7-8, 2008 (PC member)
VIII Jornadas sobre Programación y Lenguajes (PROLE'08), to be held in Gijón (Spain), October 7-10, 2008 (PC member)
Deadlines: April 2, 2008 (abstracts) / April 13, 2008 (papers)
15th International Static Analysis Symposium (SAS'08), to be held in Valencia (Spain), July 16-18, 2008 (PC co-chair, with María Alpuente)
16th International Workshop on Functional and (Contraint) Logic Programming (WFLP'07), Paris (France), June 25, 2007 (PC member)
VII Jornadas sobre Programación y Lenguajes (PROLE'07), as part of II Congreso Español de Informática (CEDI'07), Zaragoza (Spain), September 12-14, 2007 (PC member)
9th Symposium on Practical Applications of Declarative Languages (PADL'07), Nice (France), January 14-15, 2007 (PC member)
Past research activities...

Teaching (in spanish)

Current (and former) PhD students

Gustavo Arroyo. Improving Offline Narrowing-Driven Partial Evaluation (ongoing)
Diego Cheda. Slicing of Functional Programs (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) new

)

Mario & Ariadna Vidal's CV

click on the pictures
to see more photos...

MiST

ELP

GPLIS

DSIC

UPV

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