Constructing Reliable Software Prof. John Boyland
Computer Science department
University of Wisconsin-Milwaukee, USA Time: 14:00-15:30, July 7th, 2009 (Tuesday)
Location: Room 504, Building MengMinwei Abstract While production software continues to ship with serious errors, the software
construction community has gotten closer to the goal of reliable software---so
ftware that behaves as expected. I survey a number of different research dire
ctions tackling the problem of constructing reliable software, including progr
amming practice, testing and verification. Then I discuss some of the research
we are doing at UWM to ensure that software conforms to the architecture inte
nded by the designers. In particular we are working with a system of permissio
ns to control access to mutable state to ensure good modularity and proper syn
chronization of communicating threads. About Prof. John Boyland Prof. John Boyland grew up in rural Northern California and received his Bache
lor's degree in 1987 in Mathematics and Computer Science at the University of
California, Davis. He continued his studies at the University of California, B
erkeley under the direction of S. L. Graham. He received his Masters and Docto
rate in 1989 and 1996, respectively. He then worked for two years as a post-do
ctoral fellow with William L. Scherlis at Carnegie Mellon University. He joine
d the UWM faculty in the Fall of 1998, and was promoted in August 2004. Prof. John Boyland’s interests include object-oriented programming languages,
attribute grammars, pattern matching, analysis of programming languages, type
systems for programming languages, extensible languages and programming envir
onments. He chaired the program committee for FTfJP07, and he has served as co
-chair of LDTA 2006. and LDTA 2005. He is serving on / have served on the prog
ram committees of OOPSLA 2009, SLE 2009, FTfJP 2009 ECOOP 2009, ESOP 2009, IWA
CO 2008, FTfJP 2005, FTfJP 2004, FTfJP 2003, LDTA 2004, FOAL 2004, FOOL 10 and
ECOOP 2002 and IWAOOS '99.
|
