Registered user since Thu 5 Jun 2014
My interests include object-oriented programming languages, attribute grammars, pattern matching, analysis of programming languages, type systems for programming languages, extensible languages and programming environments. In particular, I am currently actively involved in two specific areas: Research in applying software-engineering techniques to proof mechanization systems. In particular I maintain SASyLF. I have a list of potential projects using SASyLF; research in system to capture patterns of aliasing in object-oriented programs in order to avoid concurrency errors and abstraction leaks.
|FOOL 2012|| Chair in Program Committee within the FOOL 2012-track|
Organizer in Organizers within the FOOL 2012-track
|Show activities from other conferences|
View general profile