---------------

[ME]

Amadeo Casas

Ph.D. in Engineering

Electrical & Computer Engineering Dept.,
University of New Mexico, Albuquerque, NM 87131, USA.

amacasas AT gmail (.) com
amadeo AT clip (.) dia (.) fi (.) upm (.) es
(+1) 505-615-3012


View Amadeo Casas' profile on LinkedIn

---------------



Resume

  • Resume available in PDF.


Research interests

  • Parallel and concurrent execution.
  • Operating systems.
  • Service-oriented application development.
  • Cloud computing.
  • Declarative languages, theory and implementation.


Professional experience



Education



Languages

  • Spanish (mother language).
  • English.


Publications


Articles in referred conferences:
  1. P. Chico de Guzman, A. Casas, M. Carro, M. Hermenegildo. A Segment-Swapping Approach for Executing Trapped Computations. The 14th International Symposium on Practical Aspects of Declarative Languages (PADL'12). January 2012. Slides.
  2. P. Chico de Guzman, A. Casas, M. Carro, M. Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism. The 27th International Conference on Logic Programming (ICLP'11). July 2011. Slides.
  3. 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. Slides.
  4. 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.
  5. 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.
  6. 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:
  1. 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.
  2. 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.
  3. 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:
  1. 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.
  2. 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:
  1. Program committee member of Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'08, ICLP associated workshop). December 2008.

Other documents:
  1. 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

[UNM] [CLIP] [EECE]

---------------

Valid HTML 4.01! Valid CSS!