Amadeo Casas' Home Page

Resume available in PDF. Research statement available in PDF.

Research interests

Automatic Parallelization. Parallel and Concurrent Execution. Garbage Collection. Task Granularity Control. Declarative Languages, Theory and Implementation. Static Analysis. Abstract Interpretation.

Education

• January 2004 - September 2008	Ph.D. in Engineering. EECE Department, University of New Mexico, NM, USA.
  June 2006 - May 2008	MBA in Finance. Robert O. Anderson School of Management, University of New Mexico, NM, USA.
  January 2004 - December 2005	MS in Computer Engineering. EECE Department, University of New Mexico, NM, USA.
  September 1997 - July 2003	BS in Computer Science. CS Department, 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. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. The 24th International Conference on Logic Programming (ICLP'08). December 2008. 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). 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). 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). 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). 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). 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). October 2005. Slides.

Invited talks: M. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. López-García. Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP'07, POPL associated workshop). January 2007. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, A. Casas, P. López-García. Automatic Parallelization of Logic and Constraint Programs. Intel Workshop on Declarative Programming Languages for Multicore Programming (DPMC'06). January 2006.

Professional activities: Program committee member of Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'08, ICLP associated workshop). December 2008.

Other documents: A. Casas. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. Ph.D. Dissertation Thesis. September 2008. 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