YANNIS
Updated 336 days ago
Program generators, generics in PL, extensibility: MorphJ is a language for safe "morphing", i.e., creating classes by iterating over members of other classes. Recent work also includes a generalization of the concept of "variance" in generics/templates: a way to marry parametric and subtype polymorphism. In the 90s, I also worked (as an intern and a funded Ph.D. student) on the Intentional Programming (IP) project at Microsoft...
Static Program Analysis: we express a rich set of static analyses completely declaratively (in the Datalog language)...
"Statically Safe Program Generation with SafeGen" (SCP) shows a language that can certify a generator under all possible inputs to assert that it will only produce well-formed programs.