http://www.cse.ogi.edu/~benaissa
I am a post doctoral research associate at the Computer Science and Engineering Department of Oregon graduate Institute, working with the PacSoft group.
more details about my self see my résumé...
Here are some pointers about my work.
MetaML systemnew, I have been developing with Tim Sheard a meta-programming system. MetaML is an extension of Standard ML (without module system). It is aimed to support program generation and program transformation. It extends SML with easy to use constructs that allows building, combining, and executing SML code. In addition to SML core language, MetaML offers many others features such as (extensible records and variants, Higher-order datatypes, local polymorphism, monads,...) . Try it ! and send us feed back :-)
Selected publications, Currently, I have been working on meta-programming systems (semantics and implementations), modular monadic compilation and type-directed partial evaluation for JAVA programming language. I have also contributions in lambda-calculi of explicit substitution, rewriting, modeling functional programming implementations.
As a Teacher, last year I taught the compile course for master students at OGI. I had a research and teaching position in university Henri Poincare of Nancy.
For entertainment, I enjoy playing soccer, swimming and relaxing in a nice coffee place.