Category: Talk

(Français) Les définitions inductives, les programmes récursives, les continuations, et l’évaluation partielle

Sorry, this entry is only available in French.

Tips and Tricks for Communication in Computer Science: Reviews, Papers and Talks

When: Friday, 21st June: 14h -> 15h Where: Salle Pleniere, Inria Building A Who: Olivier Danvy http://users-cs.au.dk/danvy/tips-and-tricks/ This lecture is mainly for PhD students who wants to think about their communication skills. Research results in computer science are peer-reviewed, read, and listened to. To communicate our results, we thus need to write them down, submit …

Continue reading

Suman Saha: Improving the Quality of Error-Handling Code

What: Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information Who: Suman Saha, PhD in the Inria REGAL group When: March 12th, 11am Where: Inria B31 http://pagesperso-systeme.lip6.fr/Suman.Saha Abstract Adequate error-handling code is essential to the reliability of any systems software. On an error, such code is responsible for releasing acquired resources to …

Continue reading

PRIME – Yet another middleware for pervasive computing

On Friday 1 March 2013, 11:00-11:45 INRIA Lille room B31 (new building), Mauro Caporuscio will give a talk on “PRIME – Yet another middleware for pervasive computing”   Abstract: Computing facilities are an essential part of the fabric of our society, and an ever-increasing number of computing devices is deployed within the environment in which …

Continue reading

Michele Lanza: Software Visualization

What: Software Visualization: Principles, Practice, Myths, Perils, Promises, Evaluation, and all the rest Who: Michele Lanza, Professor at the University of Lugano When: Friday 15th February, 11h Where: Inria B21 ABSTRACT The title says it all: In this talk I will introduce the principles that govern software visualization, and show through a series of examples …

Continue reading

Workshop Cloud SlapOS

What: Journée Cloud SlapOS Who: Christophe Cérin et Alain Takoudjou (Université de Paris 13, LIPN), Cédric de Saint Martin (Nexedi) When: 11 fevrier 2013, all day (9:00-17:00) Where: Inria Lille room B31 (new building) Program: Le matin (9:30 – 12:30) >>>>> 1- Grilles de PC : histoire et projets actuels qui visent à 1) offrir …

Continue reading

The Challenges of Cross-Language Interoperability

What: Talk on “The Challenges of Cross-Language Interoperability” Who: David Chisnall (a Research Associate in the University of Cambridge Computer Lab) When: Monday 4 February 2013, 14:00-15:30 Where: Inria Lille room B31 (new building) Abstract As software becomes more complex, it becomes increasingly clear that no single language is an ideal solution for all parts …

Continue reading

ArchLint: A Lightweight Approach for Architecture Conformance Based on a Combination of Static and Historical Source Code Analysis

On Friday 18 January 2013, 11:00-12:00 Inria Lille room B21 (new building), Cristiano Maffort (PhD student at Federal University of Minas Gerais, Belo Horizonte, Brazil) will give a talk on “ArchLint: A Lightweight Approach for Architecture Conformance Based on a Combination of Static and Historical Source Code Analysis” Abstract: Software architecture conformance is a key …

Continue reading

Few issues in the development of service oriented architectures

On Monday 28 January 2013, 11:00-11:45 INRIA Lille room B31 (new building), Franscesco Lelli (researcher at the European Research Institute in Service Science (ERISS) and adjunct professor at the University of Tilburg) will give a talk on “Few issues in the development of service oriented architectures”   Abstract: This talk presents an overview of a …

Continue reading

Understanding Code Changes With AST Differencing

On Wednesday 12 December 2012, 9:00-9:30 INRIA Lille room B31 (new building), Jean-Rémy Falleri (Associate Professor @ ENSEIRB-MATMECA) will give a talk on “Understanding Code Changes With AST Differencing”   Abstract: Finding the differences between two versions of a source code file is a very common operation in software development. It is used in various …

Continue reading