John Tang Boyland
Professor - Computer Science

Contact Information
Phone(414) 229-6986
FAX(414) 229-2769
Emailboyland@cs.uwm.edu
US Mail Address
DEPARTMENT OF EECS
P O BOX 784
UNIVERSITY OF WISCONSIN - MILWAUKEE
MILWAUKEE WI  53201
Personal Homepage

Research Interests

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:

  1. Research in applying software-negineering techniques to proof mechanization systems. In particular I maintain SASyLF. I have a list of potential projects using SASyLF.
  2. research in system to capture patterns of aliasing in object-oriented programs in order to avoid concurrency errors and abstraction leaks.

A copy of my CV is available.

Activities

I will be chairing the premier European PL conference this year. ECOOP 2015. It will be held in Prague, July 6-10.

I gave a summer school session at ECOOP. Slides (PDF) and handout (PDF -- formatted for A4) are available.

I have been collaborating with the Fluid project of William Scherlis. at CMU since 1998.

I am serving on / have served on the program committees of OOPSLA 2015, ECOOP 2015 (chair), ECOOP 2013, FOOL 2012 (chair), FTfJP 2012, ECOOP 2012, OOPSLA 2011 (ERC), FTfJP 2011, LDTA 2011, CATS 2011, SLE 2010, LDTA 2010, SLE 2009, OOPSLA 2009 ECOOP 2009, ESOP 2009, and many others earlier.

A listing of papers, articles and reports is available.

I have been using Twelf and have some experiences to report and library proofs to share.

I am a proponent of using AFS at UWM.

Classes

In Fall semester 2014, I am teaching two classes:

In previous semesters, I have taught:

If a student wishes to list me as a reference for employment, they need to sign an authorization form (latex source available too) giving me permission to disclose academic performance.


Biographical Sketch

John Boyland grew up in rural Northern California and received his Bachelor's degree in 1987 in Mathematics and Computer Science at the University of California, Davis. He continued his studies at the University of California, Berkeley under the direction of S. L. Graham. He received his Masters and Doctorate in 1989 and 1996, respectively. He then worked for two years as a post-doctoral fellow with William L. Scherlis at Carnegie Mellon University. He joined the UWM faculty in the Fall of 1998, and was promoted in August 2004.


Last modified: September 26, 2014

boyland@cs.uwm.edu