Delia Kesner visits Universidad de Buenos Aires from the 1st to the 11th of September 2018.
Raúl Fervari (Universidad Nacional de Córdoba & CONICET) visits Stéphane Demri at LSV, ENS Paris-Cachan from August 31 to September 12, 2018. From this visit, a joint publication entitled “On the complexity of modal separation logics” has been issued.
Robin Pelle, from LRI, Université Paris-Sud, has visited Beta Ziliani at FaMaF, Universidad Nacional de Córdoba, from August 15th to September 16th.
A new course for graduate and undergraduate level will take place at Computer Science Department, School of Exact and Natural Sciences, University of Buenos Aires:
Probabilistic Análisis of Algorithms
26 October to 23 November 2018
- Julien Clement (Laboratoire GREYC – Université de Caen)
- Loïck Lothe (Université de Caen)
- Eda Cesaratto (Universidad Nacional General Sarmiento)
On July 19, 2018 Elisa Orduna defends her “Tesis de Licenciatura en Ciencias de la Computación” (eq. Masters in the EU system) at the Computer Science Department, School of Exact and Natural Sciences, University of Buenos Aires
Title: Preservation of normality in transducers.
Directors: Verónica Becher (Argentina) and Olivier Carton (France).
Evaluation committee: Sergio Abriola and Santiago Figueira
Eda Cesarato will be visiting GREYC Lab (Université de Caen), and LABRI Lab (Univestié de Bordeaux) from June 7 to June 20, 2018, funded by ANR Dyna3S and GREYC Lab.
Logic and Foundations of Programming Languages Day
May 21, 2018
Departamento de Computación, FCEN, Universidad de Buenos Aires
Pabellón 1, Ciudad Universitaria, Buenos Aires
More info at http://infinis.org/?page_id=1033
From May 14 to 25, Benoît Valiron (LRI, Orsay), will be visiting the Instituto de Ciencias de la Computación (UBA-CONICET) to work with Alejandro Díaz-Caro.
Gervasio Perez obtained his PhD in Computer Science on April 18, 2018, at Universidad de Buenos Aires under the direction of Sergio Yovine (UBA/CONICET).
Title: Specification, design and implementation of a pattern-based concurrent programming environment
Abstract: Developing correct and efficient parallel software in a cost-effective way is challenging. There are a number of pitfalls that lead to incorrect behaviors and poor performance. Pattern-based software design could help achieving correctness and scalability. However, it has several drawbacks: (a) most patterns are not broadly supported by current parallel-programming models and languages; (b) most often than not getting the appropriate pattern right is difficult; and (c) most patterns do not compose easily, thus making it hard to deal with heterogeneous parallelism.
As an attempt to overcoming these issues, the contribution of this thesis is threefold. First, it proposes a parallel-programming pattern, called PCR , consisting of producers, consumers, and reducers which operate concurrently on data sets. To favor correctness, the semantics of PCRs is mathematically defined in terms of the formalism FXML . PCRs are shown to be composable and to seamlessly subsume other well-known parallel-programming patterns, thus providing a framework for heterogeneous designs. Second, it formally shows how the PCR pattern can be correctly implemented in terms of a more concrete parallel execution model. Third, it proposes a platform-agnostic C++ template library to express PCRs . It briefly presents a prototype compiler based on C++ template re-writing which automatically generates distributed implementations relying on the Intel Concurrent Collections C++ library. The programming and code-generation suite is illustrated through several case studies. Overall, the proposed framework provides means to enhance parallel software quality and productivity through an automated methodology based on high-level, platform-independent programming constructs, and a compiling infrastructure to generate portable, executable code.
Hernán Melgratti will be visiting IRIF from May 2 to June 4, 2018, funded by a Chaire Alicia Moreau.