Todas las conferencias serán impartidas en castellano

 

Dr. David Padua

Affiliation: Computer Science Department, University of Illinois, USA

Title: De la Exploración Automática del Espacio de Algoritmos e Implementaciones

Abstract: Con el desarrollo de las jerarquías de memoria y la popularización de los multiprocesadores, las computadoras se han hecho cada vez más complejas y por lo tanto el desarrollo de programas rápidos y eficientes más difícil. Para nosotros, científicos de la computación, la solución natural a este problema es automatizar la optimización de programas. Las fases de optimización en los compiladores son el ejemplo más notorio de esta estrategia de automatización pero no la única ni la mejor solución en todos los casos. En los últimos diez años una metodología conocida como autotuningha surgido como una alternativa complementaria a la optimización por compiladores. Esta estrategia consiste en explorar automáticamente el espacio de algoritmos e implementaciones en búsqueda de la versión más rápida para cada máquina de interés. Como la búsqueda se puede hacer también en el espacio de algoritmos, esta estrategia tiene un campo más amplio que los compiladores que solamente operan en el espacio de implementaciones. Cuando la búsqueda se hace en forma empírica, en otras palabras, cuando la evaluación de cada versión se hace midiendo el tiempo de ejecución en una máquina real, la estrategia produce resultados precisos. Los compiladores usan casi siempre heurísticas y modelos aproximados cuya imprecisión puede producir programas más lentos que el original. Por otra parte autotuning presenta una serie de dificultades incluyendo la magnitud del espacio de posibilidades. Varios sistemas y estrategias de autotuning serán discutidos así como también posibles líneas de investigación.

Biography: David Padua es Donald Biggar Willett Professor of Computer Science en la Universidad de Illinois donde ha sido miembro del cuerpo docente desde 1985. Recibió el título de Licenciado en Computación de la Universidad Central de Venezuela en 1972 y el doctorado, también en Ciencias de la Computación, de la Universidad de Illinois en 1980. De 1981 a 1985 fue profesor asociado en la Universidad Simón Bolívar. Padua ha hecho investigación en lenguajes de programación, compiladores, y programación paralela y ha publicado 170 artículos en esas áreas. Ha supervisado 26 tesis doctorales y fue miembro del comité de programa de 70 conferencias en su área. Ha sido editor de varias revistas científicas incluyendo el International Journal of Parallel Programming (1993 al presente), Journal of Parallel and Distributed Computing (1993 al presente), Transactions on Programming Languages and Systems (2007-10), and IEEE Transactions on Parallel and Distributed Systems (1992-96). Padua es Fellow de la ACM y de la IEEE.

 

Dr. Esteban Clua

Affiliation: Universidade Federal Fluminense, Brazil

Title: Parallel Computing and Video-Games: Facts and Challenges

Abstract: High parallel computing are becoming a commodity and giant clusters can be easily built with a low cost budget. This enables lot’s of new trends to be included in video-games. This talk will present different researches and tendencies, such as Ray-tracing in video-games, artificial intelligence in GPUs and new interface paradigms, among others.

Biography: Esteban Walter Gonzalez Clua is graduated in Computer Science at Universidade de São Paulo and has master’s and PhD degree in Computer Science. Today Esteban is associated professor at the computer science of Universidade Federal Fluminense, in Rio de Janeiro, and director of UFF Medialab. Esteban is one of the founders of SBGames – Brazilian Symposium of Digital Entertainment and Video Games (the largest conference in the subject in South America), is director of Academia of IGDA Rio, president of the Brazilian Computing Society Game Committee and member of program committees of many conferences in Video Games, such as ACM Siggraph Sandbox, IEEE Gameon and SBC SBGames. In 2007 received the prize of the personality which most contributed for the growth of the video game industry in Brazil and in 2009 received the prize of Young Scientist of the State of Rio de Janeiro. Esteban is the coordinator of the first Latin America NVidia Center of Excellence.

 

Dr. Francisco Tirado

Affiliation: Facultad de Ciencias Físicas, Universidad Complutense, Spain

Title: Computers in the XXI Century: An Unpredictable Development

Abstract: Desde su aparición hace casi 50 años, los procesadores han doblado su velocidad cada 18 meses. Esto ha sido debido, por una parte, a los avances en la integración de circuitos que permiten duplicar el número de transistores cada 18 meses y una mayor velocidad del reloj y por otra, a mejoras de su arquitectura ( organización interna de los diferentes módulos operativos) orientadas a ejecutar un número cada vez mayor de instrucciones por ciclo. La dedicación de recursos para incrementar el rendimiento de un procesador ha llegado a un punto donde el retorno que se obtiene en rendimiento es pequeño. Sin embargo, la capacidad de disponer de más recursos en un chip se sigue incrementando en cada generación tecnológica. En cambio, factores como la potencia y disipación térmica son a dia de hoy un factor determinante en el diseño de los chips. En estas condiciones la relación rendimiento/consumo ha determinado que los fabricantes apuesten por la explotación en el chip de múltiples niveles de paralelismo. La conferencia tratara de revisar estos problemas y analizar las soluciones microarquitectonicas adoptadas motivando la introducción de los diseños multicore y multithreading actuales e introduciendo los aspectos arquitectónico y de programación de estas nuevas arquitecturas, así como los problemas que se atisban en el previsible final de la Ley de Moore.

Biography: Prof. Dr. Francisco Tirado se licencio en Ciencias Físicas en la UCM en 1973 y se doctoró en 1977 en la UCM. Ha sido profesor del Departamento de Arquitectura de Computadores y Automática desde 1978 primero como Profesor Adjunto de Automática y desde 1986 como Catedrático de Arquitectura y Tecnología de Computadores. Ha trabajado en diferentes áreas de investigación dentro de la arquitectura de sistemas, computación de altas prestaciones, computación en GRID, diseño automático de CI y arquitectura del procesador. Dentro de estos temas, impulso activamente, la creación del grupo de Arquitectura de Computadores, que ha dado lugar al actual Departamento de Arquitectura de Computadores y Automática. Dentro de él, ha impulsado la creación de un grupo de investigación (Artecs) que coordina en la actualidad, con más de 30 investigadores que tienen un reconocido prestigio en los campos de la Computación de Altas Prestaciones y la Síntesis de Sistemas Digitales. Hasta la actualidad es coautor de unas 290 publicaciones en revistas y conferencias internacionales.. Ha participado en la organización de más de 80 Congresos Internacionales de reconocido prestigio como General Chair, Program Chair, miembro del Comité de Programa, Chair de Sesión, Conferenciante Invitado y revisor de artículos. Ha impartido más 75 conferencias en congresos internacionales y universidades. Ha sido investigador responsable de más de 50 proyectos nacionales e internacionales financiados con fondos públicos ( CICYT, UE, CAM, MEC, Comité Conjunto USA-España) y de proyectos industriales.

 

Dr. Jorge Lobo

Affiliation: Jorge Lobo is an ICREA Research Professor at the Department of Information and Communication Technologies at Universitat Pompeu Fabra (UPF) and a Research Staff Member at IBM T. J. Watson Research Center, New York (currently on leave)

Title: A Declarative Approach to Distributed Computing

Abstract: Recent results in the area of distributed systems and networks have promoted the use of high-level declarative languages for the development of executable specifications of distributed systems (e.g. Web data management, routing protocols). Computations are data driven; computational nodes communicate with each other through the exchange of data to solve a distributed problem. Data is collected locally and shared with others as defined by the application. Changes in local data shared with other peer application nodes can trigger those peers to take appropriate action in response to these changes. These languages are extensions of Datalog (SQL + recursion) that include constructs to specify the physical distribution properties typical of networks, e.g., where tuples in distributed database tables are generated, stored or sent, as well as continuous queries over streams and table updates. Leveraging on this body of work, I will describe a project in which I am involved to develop a general framework for the specification of distributed solutions to computational tasks in terms of declarative programs that are not only executable but verifiable. The key insight is to exploit the similarities between the computational model of the Datalog approach to distributed computation and the theories of action description languages developed over many years in artificial intelligence to develop the framework. Programs can be analyzed with respect to a variety of properties and under different communication models. A few examples of how the framework has been used for analysis of routing protocols will be discussed.

Biography: Jorge Lobo is an ICREA Research Professor in the Department of Information and Communication Technologies at UPF since October 2012 – on leave from IBM T. J. Watson Research Center. Previous to IBM, he was principal architect at Teltier Technologies, a startup company in the wireless telecommunication area, and now part of Cisco Systems. Before Teltier, he was member of technical staff at Bell Labs and associate professor of computer science at the University of Illinois at Chicago. Jorge did pioneer work at Bell Labs in policy-based network management developing the policy language PDL that has been used for the management of the first generation of Lucent Technologies softswitchs. Jorge received a PhD in Computer Science from the University of Maryland at College Park, and a MSc and a BE from Simon Bolivar University in Venezuela. He is an ACM Distinguished Scientist.

 

Dr. Miguel Salichs

Affiliation: Systems Engineering and Automation Department, Universidad Carlos III, Madrid, España

Title: Robots y Emociones

Abstract: Las emociones tienen un papel clave en los animales más evolucionados. Son un elemento esencial, que influye en múltiples facetas de la actividad de un animal: la percepción, la toma de decisiones, la interacción con otros animales, etc. Muchos investigadores creen que los robots deberían estar también dotados de emociones, y que estas tendrían en los robots un rol parecido al que juegan en los animales. En esta charla se presenta un análisis sobre qué son las emociones, el fin que cumplirían en el caso particular de los robots, que habría que hacer para dotar de ellas a los robots y que posibles problemas plantearía el hacer máquinas con emociones.

Biography: Prof. Miguel Salichs is a full professor of the Systems Engineering and Automation Department at the Carlos III University of Madrid (UC3M). He received the Electrical Engineering and Ph.D. degrees from Polytechnic University of Madrid. His research interests include social robots, multimodal human-robot interaction, bio-inspired decision-making systems and cognitive architectures. He has been Vice-Chancellor of the UC3M, Head of the System Engineering and Automation Department of the UC3M, member of the Policy Committee of the International Federation of Automatic Control (IFAC), chairman of the Technical Committee on Intelligent Autonomous Vehicles of IFAC, the responsible of the Spanish National Research Program on Industrial Design and Production, President of the Spanish Society on Automation and Control (CEA) and the Spanish representative at the European Robotics Research Network (EURON). He is currently Chair of the Technical Secretariat of the Spanish Robotics Technology Platform (HispaRob). He is Associate Editor of the International Journal of Social Robotics.

 

Dr. Ernesto Expósito

Affiliation: INSA de Toulouse, France

Title: Autonomic Communication Services

Abstract: The accelerated development of Internet and the diversity of networked mobile devices (e.g. smartphones, PDAs, tablets, netbooks and laptops) have facilitated the development of a vast family of distributed multimedia applications (e.g. VoD, visio-conferencing, IPTV, VoIP, etc.). Requirements and preferences of these applications become very complex when compared to traditional downloading, web-browsing or emailing applications, for which a reliable and ordered transport service (such as the one offered by the traditional TCP protocol) operating over a wired Best-Effort network service is well suited. However, this new generation of distributed multimedia applications present more complex requirements of Quality of Service (QoS), mainly expressed in terms of time (e.g. end-to-end delay, multimedia synchronization, jitter), bandwidth (e.g. high and variable bandwidth) and reliability (e.g. tolerance for partial reliability and partial order) requirements. In the past years, several initiatives have been carried out to enhance the basic Best-Effort network service in order to provide new QoS-oriented service models (e.g. DiffServ, IntServ, etc). Moreover, new technologies providing high speed, wireless and mobile network services have deeply modified the QoS characterization of the network layer thus leading to a more complex service model in terms of bandwidth, losses, delay or jitter. This important evolution of application and network layers has deeply impacted the traditional transport layer. Indeed, traditional transport protocols (i.e. TCP and UDP) were well dimensioned to the original best-effort network model. However, specializations of transport mechanisms were required to cope with new network technologies (e.g. TCP extensions for satellite or WiFi networks). Likewise, new protocols such as DCCP, SCTP and MPTCP have been proposed to enhance traditional protocols in order to provide new specialized transport functions (e.g. more adapted network congestion avoidance strategies, multihoming support for mobility, or multipath support for devices integrating multiple network interfaces). This talk presents a novel approach in defining new protocols and in applying a specialized software engineering methodology to implement the corresponding services. This methodology based on semantic models and integrating service-oriented, component-based and autonomic computing frameworks is intended to design a next generation of communication services.

Biography: Ernesto Exposito is an Associate Professor at the INSA of Toulouse and he is researcher at the LAAS laboratory of the CNRS, France. In 2004, he worked as Researcher in the National ICT Australia Limited (NICTA) research center in Sydney, Australia. In 1994, he earned his engineer degree in computer science from the “Universidad Centro-occidental Lisandro Alvarado”(Venezuela). In 2003, he earned his PhD in “Informatique et Télécommunications” from the Institut National Polytechnique de Toulouse, France. In 2010, he earned his “Habilitation à diriger des recherches” from the Institut National Polytechnique de Toulouse. He has served as chairman and member for many Program Committees. He has participated in several european and french research projects and currently he is the coordinator at LAAS of the IMAGINE european project related to Dynamic Manufacturing Networks. His research interests include autonomic communication services aimed at satisfying the requirements of new generation distributed applications in heterogeneous networked environments. His research activities include designing, modeling and developing service-oriented, component-based and ontology-driven autonomic transport and middleware communication services.