« Of Instagrammatology » commence par un voyage en Inde que j’ai effectué avec ma femme 2019 comme point de départ pour une méditation sur l’expérience du temps qui passe. Je raconte tentative finir lire A la recherche perdu Marcel Proust pendant le voyage, après avoir lu les deux premiers tiers il y a plus trente ans, alors j’étais au milieu vingtaine. Cela me permet également réfléchir aux ex...

Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions’ read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. Th...

Comparing proteins structures is important for protein classification and for understanding the protein functions. We have developed a method PROuST [3] for protein structure comparison. PROuST consists of two main components: the first generates hypotheses of similarity for a target protein using an index-based search, while the second verifies these hypotheses by performing pairwise alignment...

Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions’ read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. Th...

" Et pour que je ne me décourageasse pas, elle m'assura que du jour où je serais bien portant, le travail viendrait tout seul par surcroît. " M. PROUST

PROUST is a system which identifies the non-syntactic bugs in novices’ programs and provides novices with help as to the misconceptions under which they were laboring that caused the bugs. In this paper we will discuss the methods which PROUST uses to identify and diagnose non-syntactic bugs. Key in this enterprise is PROUST's ability to cope with the significant variability exhibited by novice...

This paper describes a major restructuring of PROuST, a method for protein structure comparison, for an efficient porting to the Grid. PROuST consists of different components: an index-based search that produces a list of proteins that are good candidates for similarity, and a dynamic programming algorithm that aligns the target protein with each candidate protein. Both components use the same ...