Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
John Tang Boyland
[go: Go Back, main page]

John Tang Boyland
Associate 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 system to capture patterns of aliasing in object-oriented programs in order to avoid concurrency errors and abstraction leaks.
  2. research in the formal description of language semantics using attribute grammars, and how these description can be implemented in software tools.

Activities

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

I chaired the program committee for FTfJP07, and I have served as co-chair of LDTA 2006. and LDTA 2005. I have served on the program committees of ESOP 2009, IWACO 2008, FTfJP 2005, FTfJP 2004, FTfJP 2003, LDTA 2004, FOAL 2004, FOOL 10 and ECOOP 2002 and IWAOOS '99.

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.

Funding opportunity

I am offering a research assistantship starting Fall 2008 for a strong PhD student.

Classes

In Spring semester 2008, I am teaching two classes:

In previous years, I have taught:

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: March 13, 2008

boyland@cs.uwm.edu