ECOOP and ISSTA 2018 (series) / John Boyland
![John Boyland](https://conf.researchr.org/getProfileImage/johnboyland/571c8e99-b0b4-4f46-a06b-e99e758f430e/small.jpg?1711465323000)
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
ECOOP and ISSTA 2018-profile
View general profile
View general profile