Amadeo Casas Cuadrado

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

Follow @amadeoc

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

January 2011 - Current	Samsung R&D Center, San Jose, CA, USA. Research on OS for many-core and distributed systems. I implemented distributed shared memory models with different levels of consistency, and I developed an easy-to-use task parallel language runtime for C/C++.
September 2008 - December 2010	Microsoft, Redmond, WA, USA. Design and development of core features in the area of serialization, configuration and service metadata in Windows Communication Foundation (WCF), shipped in .NET 4/4.5. I developed and tested simplified configuration techniques that reduced the burden of having to maintain large amounts of configuration files for WCF services in .NET 4. I drove the end-to-end adoption of the C# and Visual Basic asynchronous programming model in .NET 4.5, being WCF one of the first technologies in the .NET framework to support this model. I participated in tasks such as customer requirements gathering and analysis, resource planning, bug triage, Shiproom and Tactics representation, MSDN documentation and blogs, and customer servicing.
January 2004 - August 2008	University of New Mexico, Albuquerque, NM, USA. Research on automatic parallelization of logic programs. I designed and implemented new parallel annotation algorithms more performant than previous approaches, and I developed a flexible high-level runtime framework for the execution of non-deterministic parallel logic programs, that aimed at reducing the complexity of previous solutions, while maintaining a reasonable performance.
May 2002 - August 2003	Telefonica R&D, Valladolid, Spain. Development of applications and programming tools for Digital TV, with use of OpenTV and MHP APIs.

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.

Languages

Spanish (mother language).
English.

Publications

Articles in referred conferences:

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.
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.
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.
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.

University of New Mexico	CLIP Group	EECE Department

Amadeo Casas Cuadrado

Ph.D. in Engineering

University of New Mexico

CLIP Group

EECE Department