Amadeo Casas' Home Page

Resume available in PDF. Research statement available in PDF.

Research interests

Automatic Parallelization. Parallel and Concurrent Execution. Distributed Software. Task Granularity Control. Declarative Languages, Theory and Implementation. Higher-Order (Pattern) Unification. Static Analysis. Abstract Interpretation. Research Lab: CLIP Group, advisor Prof. Manuel V. Hermenegildo, co-advisor Prof. Manuel Carro.

Education

• January 2004 - ...	Ph.D. in EECE, University of New Mexico, NM, USA.
  June 2006 - ...	MBA in Anderson School of Management, University of New Mexico, NM, USA.
  January 2004 - December 2005	MS in EECE, University of New Mexico, NM, USA.
  September 1997 - July 2003	BS in CS, University of Valladolid, Spain.

• January 2004 - August 2008	UNIVERSITY OF NEW MEXICO, Albuquerque, NM, USA. Performing research in automatic parallelization of multiparadigm declarative languages.
  May 2002 - August 2003	TELEFONICA R+D, Valladolid, Spain. Developing Java and C applications, with intensive use of Digital TV programming tools.

Spanish (mother language). English.

Publications

Articles in Referred Conferences: A. Casas, M. Carro, M. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-parallelism. The 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), 17 pages, January 2008. Slides. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. The 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07), 15 pages, August 2007. Slides. A. Casas, D. Cabeza, M. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. 8th International Symposium on Functional and Logic Programming (FLOPS'06), 17 pages, April 2006. Slides.

Workshops: A. Casas, M. Carro, M. Hermenegildo. Towards High-Level Execution Primitives for And-parallelism: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07, ICLP associated workshop), 15 pages, September 2007. Slides. A. Casas, M. Carro, M. Hermenegildo. Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages. Parallel Symbolic Computation (PASCO'07), 2 pages, July 2007. Slides. A. Casas, D. Cabeza, M. Hermenegildo. Functional Notation and Lazy Evaluation in Ciao. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'05, ICLP associated workshop), 12 pages, October 2005. Slides.

Invited talks: M. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. Lopez-Garcia. Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints. DAMP'07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming. January 2007. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, A. Casas, P. Lopez-Garcia. Automatic Parallelization of Logic and Constraint Programs. DPMC, Intel Workshop on Declarative Programming Languages for Multicore Programming, January 2006.

Other documents: A. Casas. Automatic Unrestricted Independent And-parallelism in Multiparadigm Languages. EECE Ph.D. Dissertation Proposal, 112 pages, October 2007. Slides.

Other links of interest

Google's home page. ACM's home page. Real Valladolid's home page, one of the best soccer teams in the world! (in spanish).

University of New Mexico	CLIP Group	EECE Department