Miguel Gómez-Zamalloa

Teaching Assistant
Complutense University of Madrid
DSIC (Departamento de Sistemas Informáticos y Computación)
Phone: +34 91 394 7648
e-mail: mzamalloa (at) fdi.ucm.es
Member of CLIP and GPD research groups

Research

Research Interests: Program transformation, program analysis, decompilation of bytecode, partial evaluation, automated test data generation ...
Member of the CLIP group at the Technical University of Madrid (UPM) and the GPD group at the Complutense University of Madrid (UCM).
I am currently working on my Phd thesis under the supervision of Elvira Albert studying the decompilation of bytecode to Prolog by Partial Evaluation and its applications to bytecode analysis and verification.

Talks at international conferences and workshops: WLPE'08 (Udine, Italy - December 2008), PROLE'08 (Gijón, Spain - October 2008), LOPSTR'08 (Valencia, Spain - July 2008), EWSCS'08 (Palmse, Estonia - March 2008), ISMM'07 (Montreal, Canada - October 2007), LOPSTR'07 (Lyngby, Denmark - August 2007), Bytecode'07 (Braga, Portugal - March 2007), PADL'07 (Nice, France - January 2007).
Seminars and informal talks: University of Parma - March 2009, University of Bologna - March 2009, IMDEA-Software Theory-lunch (UPM) - November 2008, GPD group (UCM) - June 2008, University of Dusseldorf - May 2008, CLIP group (UPM) - June 2006 and January 2007.
Visit to the University of Bologna with Professor Davide Sangiorgi and to the University of Parma with Roberto Bagnara (March 2009).
Assistance to the 3rd Int. Compulog/ALP Summer School on LP and Computational Logic (link) (Las Cruces, New Mexico, EEUU - July 2008).
Research stay at the University of Dusseldorf in Germany with Professor Michael Leuschel (May 2008).
Assistance to the 13th Estonian Winter School in Computer Science (EWSCS'08) (Palmse, Estonia - March 2008).
Research stay at the Roskilde University in Denmark with Professor John Gallagher (May-June 2007).
Collaboration as a reviewer at: LOPSTR'08, PROLE'08, SAS'08, PPDP'08, ESOP'08, SAC-SV'08.

People I have collaborated with: Elvira Albert, Germán Puebla, John Gallagher, Samir Genaim and Laurent Hubert.
The COSTA System. A COSt and Termination Analyzer for Java Bytecode
The Ciao Prolog language.
The Java virtual machine specification.
Very useful LaTeX tutorial (for reference and beginners).

Address: Miguel Gómez-Zamalloa
Departamento de Sistemas Informáticos y Programación
Facultad de Informática, C/ Profesor José García Santesmases, s/n
Complutense University of Madrid
E-28040 - Madrid (Spain)
Phone/Fax: +34 91 3947648 / +34 91 3947529
Email: mzamalloa (at) fdi.ucm.es