Research
- Research Interests: Test case generation (CLP-based), Static
analysis of object-oriented programs, Partial evaluation, Symbolic Execution,
Constraint Logic Programming ...
- Member of the COSTA
and GPD research groups.
- PhD thesis: Transformation and Analysis of
Object-Oriented Bytecode supervised
by Elvira
Albert. Defended at the Complutense University of Madrid on
October 26th, 2009.
Publications
Scientific Activities
- Talks at international conferences and workshops:
PROLE'10
(Valencia, Spain - September 2010),
ICLP'10
(Edinburgh, Scotland - July 2010),
ISMM'10
(Toronto, Canada - June 2010),
PEPM'10
(Madrid - January 2010),
PROLE'09
(San Sebastián, Spain - September 2009),
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:
Bytecode'11,
PEPM'11,
WLPE'10,
PROLE'10,
SCAM'10,
PPPJ'10,
ICLP'10,
PPDP'10,
PROLE'09,
LOPSTR'08,
PROLE'08,
SAS'08,
PPDP'08,
ESOP'08,
SAC-SV'08.
Systems:
- COSTA. A COSt and
Termination Analyzer for Java Bytecode
- PET. A Partial
Evaluation based Test Case Generator for Java Bytecode
Research Links
Contact
- Address
-
Miguel Gómez-Zamalloa
Departamento de Sistemas
Informáticos y Programación, Office 220
Facultad de Informática, C/ Profesor
José García Santesmases, s/n
Complutense University of Madrid
E-28040 - Madrid (Spain)
- Phone/Fax
-
+34 91 3947646 / +34 91 3947529
- Email
-
mzamalloa (at) fdi.ucm.es
Miscellaneous
|
