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

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

February 2012 - Current	ElasticBox, Mountain View, CA, USA. ElasticBox is a cloud management solution that enables enterprises to deploy and manage applications in multiple clouds. ElasticBox provides developers and administrators with the appropriate tools to manage their cloud applications, enabling cloud portability scenarios, access management, and choice of frameworks and services, while minimizing cloud-related development bills. I designed and implemented the core functionality of the product, both frontend and backend, including build system and tools that increased the overall productivity of the team. I grew the engineering team from 1 to 6 top-notch engineers, coming from institutions such as Berkeley, Microsoft and Cisco, with PhDs and world-class research experience in some of them, and large startup experience in others. I led the engineering team by example to deliver the planned product releases on time, ensuring a high motivation, while also focusing on their professional growth. Also, I participated in business development tasks, such as defining the go-to market strategy and vision of the company (during AngelPad Spring 2012), and raising the first round of VC funding.
January 2011 - February 2012	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

Ph.D. in Engineering

University of New Mexico

CLIP Group

EECE Department