ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
John Boyland

Registered user since Thu 5 Jun 2014

Name: John Boyland

Bio: 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.

Country: United States

Affiliation: Univeristy of Wisconsin, Milwaukee

Personal website: http://www.cs.uwm.edu/faculty/boyland/

Contributions

FTfJP 2018Committee Member in Program Committee within the FTfJP-track
ECOOP and ISSTAMentor in Mentors within the Summer School-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile