Seminars at the Faculty of Informatics

The Faculty of Informatics is pleased to announce a seminar given by Dr. Yoann Padioleau
 
TITLE: Semantic filesystems, Semantic patches, Semantic comments
 
SPEAKER: Dr. Yoann Padioleau, post-doctoral researcher, University of Illinois at Urbana Champaign (UIUC)
 
DATE: Tuesday, March 31st, 2009
 
PLACE: USI Università della Svizzera italiana, room A12, 'Red building' (Via G. Buffi 13)
 
TIME: 09.30
 
ABSTRACT:
 
In this talk I will give an overview of my past research in which I have revisited the use and services of filesystems, patches, and source code comments, to provide a new generation of tools leveraging more the semantic of the objects (files, evolutions, comments) they manipulate. Semantic filesystems integrate in a filesystem services usually found only in databases, and introduce the concept of virtual directories and virtual files.
Semantic patches allow programmers to concisely and easily express recurrent program transformations to automate and document for instance the many evolutions in Linux device drivers. Semantic comments are source code annotations that can be leveraged by static analysis tools to find bugs.
 
BIO:
 
Yoann Padioleau is a PostDoc in the Computer Science department of the University of Illinois at Urbana Champaign (UIUC). His research interests include operating systems, static analysis, program transformation, and software evolution. His current research focuses include concurrency mechanisms in operating systems, annotation languages, and program comprehension. Yoann received his PhD in Computer Science from the University of Rennes in 2005.
 
HOST: Prof. Mehdi Jazayeri

URL 1: http://www.inf.unisi.ch