LCC 121 - Interview sur la recherche avec Pierre Sutra

Published: April 2, 2015, 3:45 p.m.

On est quasi tous \u201cop\xe9rationnels\u201d. On code une appli au quotidien press\xe9 par les d\xe9lais et le m\xe9tier. On fait tomber en marche et on passe \xe0 autre chose.

\n

Comment \xe7a se passe du c\xf4t\xe9 de la recherche ? Th\xe9ories fumantes sur tableau noir et en blouse blanche ? Plongeons dans le quotidien de Pierre, chercheur \xe0 l\u2019universit\xe9 de Neuch\xe2tel.

\n

Ouvrons un peu les ponts entre diff\xe9rentes communaut\xe9s.

\n

Enregistr\xe9 le 13 mars 2015

\n

T\xe9l\xe9chargement de l\u2019\xe9pisode LesCastCodeurs-Episode\u2013121.mp3

\nInterview\nTa vie, ton \u0153uvre\n

Pierre Sutra
Universit\xe9 de Paris 6
INRIA

\n

Champs de recherche:

\n
    \n
  • Syst\xe8mes r\xe9partis
  • \n
  • Coh\xe9rence des donn\xe9es
  • \n
  • Concurrence
  • \n
\n

Jim Gray et l\u2019invention des transactions
NoSQL is dead InfoQ
Linearisabilit\xe9

\n

Doug Terry

\n

Paxos
ZooKeeper
Leslie Lamport
Barbara Liskov
Tol\xe9rance aux fautes byzantines
RAFT

\n

Projet LEADS
Infinispan
Atomic Object Factory
State machine replication

\n\xcatre chercheur\n

La journ\xe9e classique
Le chercheur en universit\xe9 vs en industrie
Comit\xe9s de programme

\n

Pourquoi des papiers obscures et difficile \xe0 lire avec des \xe9quations LaTeX
IEEE
Soci\xe9t\xe9 savante
Conf\xe9rence FUN

\n

En blouse blanche? Devant un ordi? Tableau noir? Longues marches?

\n

Contribution de code

\nL\u2019\xe9tat de la recherche en France et en Europe\n

Financement (France, Europe)
CNRS
National Science Foundation
Bourses Marie Curie

\n

Organisation
MIT
Carnegie Mellon
HEC
Euro TM
Pascal Felber

\n

Qui choisi les th\xe8mes?
John Von Neumann
Plus faible d\xe9tecteur de d\xe9faillance
k-set agreement
Oracle machine - Turing

\nLa recherche et le business\n

Quelques papiers connus (Google, Amazon)
Comment un ing\xe9nieur peut suivre tout ce chaos ?
Donald Knuth
The Art of Computer Programming
Papier Dynamo
Conference SOSP
Th\xe9or\xe8me CAP Juge anti-terrorisme: Marc Tr\xe9vidic
Software transactional memory

\nNous contacter\n

Contactez-nous via twitter http://twitter.com/lescastcodeurs
sur le groupe Google http://groups.google.com/group/lescastcodeurs
ou sur le site web http://lescastcodeurs.com/
Flattr-ez nous (dons) sur http://lescastcodeurs.com/
En savoir plus sur le sponsoring? sponsors@lescastcodeurs.com