I make the following information (mostly web pages) available.
- My homepage, which includes a short biography (and picture), research overview, and selected representative publications.
- A directory of pictures of me.
- My vita in PDF format.
- Faculty Cluster on Cyber Security and Privacy.
- My research page, with a detailed publication list, etc. Note that some publications are only available from one of the following:
- BibTeX entries for all my papers in one file.
- Students I have supervised, current students, and their research.
- Foundations of Component-Based Systems book, published by Cambridge University Press.
- The JML project (a behavioral interface specification language for Java).
- Pages relating to my research on Larch behavioral interface specification languages.
- More Modular Reasoning for Aspect-Oriented Programs.
- The MultiJava project (an extension to Java that supports modular open classes and multiple dispatch).
- Typedscm, a dialect of Scheme for use with EOPL (2e).
- A talk for ISU graduate students describing my research and what I expect for Master's and Ph.D. work.
- A talk given at the ECOOP 2006 doctoral symposium, "Lessons from my Career"
- Course information for courses I have taught and am teaching.
- Fabric painted T-Shirts I've made for various courses.
- The Teaching About Programming Languages Project.
- A talk about research and writing in Computer Science given to the graduate orientation seminar.
- Personal literature recommendations for graduate students (dated).
- Readings for self-study of various programming languages (dated).
- Bibliography files containing BibTeX citations.
- Favorite places and links of mine on the WWW.
- A directory of my emacs files.
My Windows PC configuration and initialization
You may need to change these file for your own configuration.
(such as mount points).
I make no guarantee or warranty for these files (caveat downloader).
- A directory of my Windows files for running Cygwin (bash, etc.) and GNU Emacs, including my: .bashrc (bash initialization, I don't use a .bash_profile file), .aliases-bash (bash aliases), and .emacs_bash (bash initialization for emacs subshells) and .Xdefaults files.
- My PC's Eclipse update site bookmarks.
- Files for emacs are found in my emacs files directory, except that on the PC I use a slightly different .emacs.el file and pc.local-customization.el as my local-customization.el file.
- My PC's bin directory containing shell scripts and executables.
- My PC's bat directory containing DOS batch files.
- Files for MiKTeX (LaTeX, etc.): the local customization file, dvips configuration file. and pdftex configuration file.
- Sources for my program emacs_std_outline used for lecture note formatting. You will also need the sources for c/print_errors.c and print_errors.h to compile these.
- A directory of my LaTeX macro files and bibtex databases.
- I used to use the Spambayes Bayesian email filter to filter out junk email.
- A Framemaker 5 for Windows customui.cfg file that makes Framemaker edit a bit more like emacs.
- My .plan file (which includes my schedule).
- A list of my professional activities and societies (PDF).
- My Erdös number is 4.
- My h-number is 51 (per my google scholar profile, as of September 2022).
- My academic genealogy.
- My Excel diet spreadsheet for counting calories. (This is good evidence that I'm nerdier than 90% of all people.)
- Read my anti-spam page before sending me any junk email.
- Some holiday song lyrics that I have composed, including the song AspectJ, You Are the One.
- Page 1 of the Truck Driver's Manual.
- My thoughts on religion.
University of Central Florida
College of Engineering and Computer Science
Dept. of Computer Science, 437D Harris Center (Building 116)
4000 Central Florida Blvd.,
Orlando, Florida 32816-2362 USA
Phone: +1-407-823-4758 / fax: +1-407-823-1488
Last update $Date: 2023/08/25 12:25:34 $