• Publications
  • Influence
Semantic file systems
Experimental results from a semantic file system implementation support the thesis that semantic file systems present a more effective storage abstraction than do traditional tree structured file systems for information sharing and command level programming.
Semantical interprocedural parallelization: an overview of the PIPS project
The main features of PIPS are presented, i.e., demand-driven architecture, automatic support for multiple implementation languages, structured control graph, predicates and regions for interprocedural analysis and global nested loop paralle~lzation, with an emphasis on its core data structures and transformation phases.
The Type and Effect Discipline
This work defines both a dynamic and a static semantics for an ML-like language and proves that they are consistently related, and presents a reconstruction algorithm that computes the principal type and the minimal observable effect of expressions.
Motivation-driven educational game design: applying best practices to music education
Insight is provided on how video games can be framed as expert tools that naturally reconcile learning and fun, a worthy goal since students are forced to where players volunteer, namely learning.
A pilot usability study of MINWii, a music therapy game for demented patients.
It is demonstrated that MINWii is indeed usable by AD patients despite their motor and cognitive impairments, and that it fosters positive interaction with the caregivers and elicits powerful reminiscence with even the most severely impaired patients.
The type and effect discipline
The type and effect discipline, a framework for reconstructing the principal type and the minimal effect of expressions in implicitly typed polymorphic functional languages that support imperative constructs, is introduced and outperforms other polymorphic type systems.
Polymorphic Type, Region and Effect Inference
A new static system which reconstructs the types, regions and effects of expressions in an implicitly typed functional language that supports imperative operations on reference values, and proves the correctness of the reconstruction algorithm with respect to the static semantics.
Reasoning about continuations with control effects
We present a new static analysis method for first-class continuations that uses an effect system to classify the control domain behavior of expressions in a typed polymorphic language. We introduce
Algebraic reconstruction of types and effects
This paper presents the rst algorithm for reconstructing the types and e ects of expressions in the presence of rst class procedures in a polymorphic typed language and proves that it is sound and complete, and discusses its practical import.